diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index 19827022072..acf88848f05 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -1,6 +1,5 @@ # TODO: # - coqide compilation should be optional or (better) separate; -# - coqide libraries are not installed; {stdenv, fetchurl, ocaml, camlp5, lablgtk, ncurses}: @@ -52,6 +51,10 @@ stdenv.mkDerivation { "\"-I\"; \"${lablgtk}/lib/ocaml/lablgtk2\"; \"-I\"; \"${lablgtk}/lib/ocaml/stublibs\"" ''; + postInstall = '' + cp ide/*.cmi ide/ide.*a $out/lib/coq/ide/ + ''; + meta = { description = "Coq proof assistant"; longDescription = ''