From f02a71103a7edb19d950622ff1970d9e878141e5 Mon Sep 17 00:00:00 2001
From: Russell O'Connor <roconnor@theorem.ca>
Date: Mon, 28 May 2012 19:45:14 +0000
Subject: add support to make building coqide optional.

svn path=/nixpkgs/trunk/; revision=34262
---
 pkgs/applications/science/logic/ssreflect/default.nix | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'pkgs/applications/science/logic')

diff --git a/pkgs/applications/science/logic/ssreflect/default.nix b/pkgs/applications/science/logic/ssreflect/default.nix
index c554b5dcea1c..75a806cd945c 100644
--- 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 = {
-- 
cgit 1.4.1