public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add support to make building coqide optional.

Browse Source 
svn path=/nixpkgs/trunk/; revision=34262
This commit is contained in:
Russell O'Connor 2012-05-28 19:45:14 +00:00
parent 390907e0a2
commit f02a71103a
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/applications/science/logic/ssreflect/default.nix
View File

@ -33,12 +33,12 @@ stdenv.mkDerivation {
COQLIB=$out/lib/coq make -f Makefile.coq install -e COQLIB=$out/lib/coq make -f Makefile.coq install -e
mkdir -p $out/bin mkdir -p $out/bin
cp bin/* $out/bin cp bin/* $out/bin
for i in $out/bin/*; do # for i in $out/bin/*; do
wrapProgram "$i" \ # wrapProgram "$i" \
--add-flags "-R" \ # --add-flags "-R" \
--add-flags "$out/lib/coq/user-contrib/Ssreflect" \ # --add-flags "$out/lib/coq/user-contrib/Ssreflect" \
--add-flags "Ssreflect" # --add-flags "Ssreflect"
done # done
''; '';
meta = { meta = {