philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity

Fix lablgtk reference

Browse source 
svn path=/nixpkgs/trunk/; revision=25341
This commit is contained in:
Michael Raskin 2011-01-02 17:25:18 +00:00
parent d2b277fbd5
commit e55aa52856
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/applications/science/logic/coq/default.nix
View file

@ -23,7 +23,7 @@ stdenv.mkDerivation {
configureFlagsArray=(
-camldir ${ocaml}/bin
-camlp5dir $(ocamlfind query camlp5)
-lablgtkdir ${lablgtk}/lib/ocaml/lablgtk2 -opt -coqide opt
-lablgtkdir ${lablgtk}/lib/ocaml/*/site-lib/lablgtk2 -opt -coqide opt
)
'';