From 436e1d72a79c6b0cd106be1ee717fe7bae6f72f0 Mon Sep 17 00:00:00 2001 From: Marco Maggesi Date: Mon, 3 Jan 2011 13:49:15 +0000 Subject: [PATCH] * Coq: fix compilation of coqide (path to lablgkt) svn path=/nixpkgs/trunk/; revision=25360 --- pkgs/applications/science/logic/coq/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 = ''