[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
03/03: gnu: coq: Build coqide
From: |
Ludovic Courtès |
Subject: |
03/03: gnu: coq: Build coqide |
Date: |
Wed, 21 Dec 2016 16:54:22 +0000 (UTC) |
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