03/03: gnu: coq: Build coqide

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit 4da696877cc01077a3a159a7ef4c71ab214458e5
Author: Julien Lepiller <address@hidden>
Date:   Tue Dec 13 11:22:06 2016 +0100

    gnu: coq: Build coqide
    
    * gnu/packages/ocaml.scm (coq): Build coqide.
    
    Signed-off-by: Ludovic Courtès <address@hidden>
---
 gnu/packages/ocaml.scm |    5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 555e3fd..c5784db 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -341,9 +341,11 @@ written in Objective Caml.")
     (build-system gnu-build-system)
     (native-inputs
      `(("texlive" ,texlive)
+       ("findlib" ,ocaml-findlib)
        ("hevea" ,hevea)))
     (inputs
      `(("ocaml" ,ocaml)
+       ("lablgtk" ,lablgtk)
        ("camlp5" ,camlp5)))
     (arguments
      `(#:phases
@@ -356,7 +358,8 @@ written in Objective Caml.")
                (zero? (system* "./configure"
                                "-prefix" out
                                "-mandir" mandir
-                               "-browser" browser)))))
+                               "-browser" browser
+                               "-coqide" "opt")))))
          (replace 'build
            (lambda _
              (zero? (system* "make" "-j" (number->string