gnu: lablgtk: Build cmxa libraries.

* gnu/packages/ocaml.scm (lablgtk)[arguments]: Add the make target "opt" to also build *.cmxa files.
2016-02-11 18:52:15 +01:00 · 2016-02-11 18:52:15 +01:00 · 8c1088bb0f
commit 8c1088bb0f
parent 6372e336a2
1 changed files with 2 additions and 0 deletions
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@ -477,6 +477,8 @@ provers.")
    (arguments
     `(#:tests? #f ; no check target

+       ;; opt: also install cmxa files
+       #:make-flags (list "all" "opt")
       ;; Occasionally we would get "Error: Unbound module GtkThread" when
       ;; compiling 'gtkThInit.ml', with 'make -j'.  So build sequentially.
       #:parallel-build? #f