pkgs/applications/science/logic/coq: install coqide libraries

Patch courtesy of Russell O'Connor.

svn path=/nixpkgs/trunk/; revision=21838
This commit is contained in:
Peter Simons 2010-05-18 13:40:19 +00:00
parent 5f36663ecc
commit 1295493b18

View file

@ -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 = ''