diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2011-01-03 13:49:15 +0000 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2011-01-03 13:49:15 +0000 |
| commit | 436e1d72a79c6b0cd106be1ee717fe7bae6f72f0 (patch) | |
| tree | 38dff0d09285b38a59ea2e531f7aa07723146d38 /pkgs | |
| parent | 5b6f88d1a9bba6d1d63c100c5db1f69ab2fc529a (diff) | |
| download | nixpkgs-436e1d72a79c6b0cd106be1ee717fe7bae6f72f0.tar nixpkgs-436e1d72a79c6b0cd106be1ee717fe7bae6f72f0.tar.gz nixpkgs-436e1d72a79c6b0cd106be1ee717fe7bae6f72f0.tar.bz2 nixpkgs-436e1d72a79c6b0cd106be1ee717fe7bae6f72f0.tar.lz nixpkgs-436e1d72a79c6b0cd106be1ee717fe7bae6f72f0.tar.xz nixpkgs-436e1d72a79c6b0cd106be1ee717fe7bae6f72f0.tar.zst nixpkgs-436e1d72a79c6b0cd106be1ee717fe7bae6f72f0.zip | |
* Coq: fix compilation of coqide (path to lablgkt)
svn path=/nixpkgs/trunk/; revision=25360
Diffstat (limited to 'pkgs')
| -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 ed2abdd8341..8556e975de3 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -38,7 +38,7 @@ stdenv.mkDerivation { substituteInPlace tools/beautify-archive --replace "/bin/rm" "$RM" substituteInPlace scripts/coqmktop.ml --replace \ "\"-I\"; \"+lablgtk2\"" \ - "\"-I\"; \"${lablgtk}/lib/ocaml/lablgtk2\"; \"-I\"; \"${lablgtk}/lib/ocaml/stublibs\"" + "\"-I\"; \"$(echo "${lablgtk}"/lib/ocaml/*/site-lib/lablgtk2)\"; \"-I\"; \"$(echo "${lablgtk}"/lib/ocaml/*/site-lib/stublibs)\"" ''; postInstall = '' |