Strike one item off the todo list:
Index: pkgs/applications/science/logic/coq/default.nix
===================================================================
--- pkgs/applications/science/logic/coq/default.nix (revision 21811)
+++ pkgs/applications/science/logic/coq/default.nix (working copy)
@@ -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 @@
"\"-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 = ''
--
Russell O'Connor <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''
_______________________________________________
nix-dev mailing list
[email protected]
https://mail.cs.uu.nl/mailman/listinfo/nix-dev
