[Nix-dev] patch for coq

[roconnor at theorem.ca]

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.''