diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2011-01-02 17:25:18 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2011-01-02 17:25:18 +0000 |
commit | e55aa5285635b6a4381d2a14af7b4ac43ee4045c (patch) | |
tree | a9c118be7f9cc2c7b873a7c6a86c0530f027ac73 | |
parent | d2b277fbd5cafdcd55c83fbe6a784bce1117227f (diff) | |
download | nixlib-e55aa5285635b6a4381d2a14af7b4ac43ee4045c.tar nixlib-e55aa5285635b6a4381d2a14af7b4ac43ee4045c.tar.gz nixlib-e55aa5285635b6a4381d2a14af7b4ac43ee4045c.tar.bz2 nixlib-e55aa5285635b6a4381d2a14af7b4ac43ee4045c.tar.lz nixlib-e55aa5285635b6a4381d2a14af7b4ac43ee4045c.tar.xz nixlib-e55aa5285635b6a4381d2a14af7b4ac43ee4045c.tar.zst nixlib-e55aa5285635b6a4381d2a14af7b4ac43ee4045c.zip |
Fix lablgtk reference
svn path=/nixpkgs/trunk/; revision=25341
-rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index a804d9f84e6a..ed2abdd8341a 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -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 ) ''; |