Proofgeneral does not build with the newest texinfo; attached patch fixes
build by using older texinfo.
>From 10afa1b2e50344296fee4903bb7b854c0b0f53fc Mon Sep 17 00:00:00 2001
From: Karn Kallio <[email protected]>
Date: Mon, 3 Feb 2014 09:58:48 -0430
Subject: [PATCH] proofgeneral: fix build with earlier version of texinfo.
---
pkgs/top-level/all-packages.nix | 1 +
1 file changed, 1 insertion(+)
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index a204e0b..4d1a6da 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -7738,6 +7738,7 @@ let
prologMode = callPackage ../applications/editors/emacs-modes/prolog { };
proofgeneral = callPackage ../applications/editors/emacs-modes/proofgeneral {
+ texinfo = texinfo4 ;
texLive = pkgs.texLiveAggregationFun {
paths = [ pkgs.texLive pkgs.texLiveCMSuper ];
};
--
1.8.5.2
_______________________________________________
nix-dev mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-dev
