Author: raskin
Date: Sun Jan 2 17:25:18 2011
New Revision: 25341
URL: https://svn.nixos.org/websvn/nix/?rev=25341&sc=1
Log:
Fix lablgtk reference
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 Sun Jan
2 17:13:34 2011 (r25340)
+++ nixpkgs/trunk/pkgs/applications/science/logic/coq/default.nix Sun Jan
2 17:25:18 2011 (r25341)
@@ -23,7 +23,7 @@
configureFlagsArray=(
-camldir ${ocaml}/bin
-camlp5dir $(ocamlfind query camlp5)
- -lablgtkdir ${lablgtk}/lib/ocaml/lablgtk2 -opt -coqide opt
+ -lablgtkdir ${lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -opt -coqide opt
)
'';
_______________________________________________
nix-commits mailing list
[email protected]
http://mail.cs.uu.nl/mailman/listinfo/nix-commits
