Author: maggesi
Date: Mon Jan 3 13:49:15 2011
New Revision: 25360
URL: https://svn.nixos.org/websvn/nix/?rev=25360&sc=1
Log:
* Coq: fix compilation of coqide (path to lablgkt)
Modified:
nixpkgs/trunk/pkgs/applications/science/logic/coq/default.nix
Modified: nixpkgs/trunk/pkgs/applications/science/logic/coq/default.nix
==============================================================================
--- nixpkgs/trunk/pkgs/applications/science/logic/coq/default.nix Mon Jan
3 11:34:08 2011 (r25359)
+++ nixpkgs/trunk/pkgs/applications/science/logic/coq/default.nix Mon Jan
3 13:49:15 2011 (r25360)
@@ -38,7 +38,7 @@
substituteInPlace tools/beautify-archive --replace "/bin/rm" "$RM"
substituteInPlace scripts/coqmktop.ml --replace \
"\"-I\"; \"+lablgtk2\"" \
- "\"-I\"; \"${lablgtk}/lib/ocaml/lablgtk2\"; \"-I\";
\"${lablgtk}/lib/ocaml/stublibs\""
+ "\"-I\"; \"$(echo "${lablgtk}"/lib/ocaml/*/site-lib/lablgtk2)\"; \"-I\";
\"$(echo "${lablgtk}"/lib/ocaml/*/site-lib/stublibs)\""
'';
postInstall = ''
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
