aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorJan Nieuwenhuizen <janneke@gnu.org>2016-02-11 18:52:15 +0100
committerAndreas Enge <andreas@enge.fr>2016-02-13 09:23:20 +0100
commit8c1088bb0fa443b3951d17f6bcabaafdf3cfdd9e (patch)
treefaf8670d1f932db6c31b898a6d0fd1446bb37cad /gnu/packages
parent6372e336a20e86ac48cf3600db85629eb4ce38b0 (diff)
downloadpatches-8c1088bb0fa443b3951d17f6bcabaafdf3cfdd9e.tar
patches-8c1088bb0fa443b3951d17f6bcabaafdf3cfdd9e.tar.gz
gnu: lablgtk: Build cmxa libraries.
* gnu/packages/ocaml.scm (lablgtk)[arguments]: Add the make target "opt" to also build *.cmxa files.
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/ocaml.scm2
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 2f23bad2ce..4b5ac617d5 100644
--- 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