Author: roconnor
Date: Mon May 28 19:45:14 2012
New Revision: 34262
URL: https://nixos.org/websvn/nix/?rev=34262&sc=1
Log:
add support to make building coqide optional.
Modified:
nixpkgs/trunk/pkgs/applications/science/logic/ssreflect/default.nix
Modified: nixpkgs/trunk/pkgs/applications/science/logic/ssreflect/default.nix
==============================================================================
--- nixpkgs/trunk/pkgs/applications/science/logic/ssreflect/default.nix Mon May
28 19:41:26 2012 (r34261)
+++ nixpkgs/trunk/pkgs/applications/science/logic/ssreflect/default.nix Mon May
28 19:45:14 2012 (r34262)
@@ -33,12 +33,12 @@
COQLIB=$out/lib/coq make -f Makefile.coq install -e
mkdir -p $out/bin
cp bin/* $out/bin
- for i in $out/bin/*; do
- wrapProgram "$i" \
- --add-flags "-R" \
- --add-flags "$out/lib/coq/user-contrib/Ssreflect" \
- --add-flags "Ssreflect"
- done
+# for i in $out/bin/*; do
+# wrapProgram "$i" \
+# --add-flags "-R" \
+# --add-flags "$out/lib/coq/user-contrib/Ssreflect" \
+# --add-flags "Ssreflect"
+# done
'';
meta = {
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
