Revert accidentaly patch of ssreflect.

svn path=/nixpkgs/trunk/; revision=34264
2012-05-28 20:57:54 +00:00 · 2012-05-28 20:57:54 +00:00 · dace27b4c4
commit dace27b4c4
parent 417a07a0e9
1 changed files with 6 additions and 6 deletions
--- a/pkgs/applications/science/logic/ssreflect/default.nix
+++ b/pkgs/applications/science/logic/ssreflect/default.nix
@ -33,12 +33,12 @@ stdenv.mkDerivation {
    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 = {