Author: roconnor
Date: Mon May 28 20:57:54 2012
New Revision: 34264
URL: https://nixos.org/websvn/nix/?rev=34264&sc=1
Log:
Revert accidentaly patch of ssreflect.
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 20:53:17 2012 (r34263)
+++ nixpkgs/trunk/pkgs/applications/science/logic/ssreflect/default.nix Mon May
28 20:57:54 2012 (r34264)
@@ -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
