From 1295493b1807a3804c8418f58241b6cc23767156 Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Tue, 18 May 2010 13:40:19 +0000
Subject: [PATCH] pkgs/applications/science/logic/coq: install coqide libraries

Patch courtesy of Russell O'Connor.

svn path=/nixpkgs/trunk/; revision=21838
---
 pkgs/applications/science/logic/coq/default.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix
index 19827022072d..acf88848f059 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 = ''