nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: coq: Build coqide 

* gnu/packages/ocaml.scm (coq): Build coqide.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
Julien Lepiller 2016-12-13 11:22:06 +01:00 committed by Ludovic Courtès
parent 8afd19585f
commit 4da696877c
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gnu/packages/ocaml.scm
View File

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