>From c37d32ea82757389c29db1a276cac1225e639020 Mon Sep 17 00:00:00 2001 From: Julien Lepiller
Date: Mon, 12 Dec 2016 22:21:42 +0100 Subject: [PATCH 4/8] gnu: coq: Build coqide * gnu/packages/ocaml.scm (coq): Build coqide. --- gnu/packages/ocaml.scm | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 786dc3497..8ad053184 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -344,19 +344,24 @@ written in Objective Caml.") ("hevea" ,hevea))) (inputs `(("ocaml" ,ocaml) + ("lablgtk" ,lablgtk) ("camlp5" ,camlp5))) (arguments `(#:phases (modify-phases %standard-phases (replace 'configure - (lambda* (#:key outputs #:allow-other-keys) + (lambda* (#:key outputs inputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) (mandir (string-append out "/share/man")) + (lablgtkdir (assoc-ref inputs "lablgtk")) (browser "icecat -remote \"OpenURL(%s,new-tab)\"")) (zero? (system* "./configure" "-prefix" out "-mandir" mandir - "-browser" browser))))) + "-browser" browser + "-lablgtkdir" (string-append lablgtkdir + "/lib/ocaml/site-lib/lablgtk2/") + "-coqide" "opt"))))) (replace 'build (lambda _ (zero? (system* "make" "-j" (number->string -- 2.11.0