summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2017-11-04 21:46:39 +0100
committerTupone Alfredo <tupone@gentoo.org>2017-11-04 21:46:39 +0100
commit8762ce2768ade2f75a3f87f4591bd30a3be88f21 (patch)
treee1320d4b90a526e2d2e9740ce173c0baca4875b1 /sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
parentmail-filter/spamassassin: stable 3.4.1-r19 for sparc, bug #636544 (thanks to ... (diff)
downloadgentoo-8762ce2768ade2f75a3f87f4591bd30a3be88f21.tar.gz
gentoo-8762ce2768ade2f75a3f87f4591bd30a3be88f21.tar.bz2
gentoo-8762ce2768ade2f75a3f87f4591bd30a3be88f21.zip
sci-mathematics/why3-for-spark: Add ocamlopt use flag
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild')
-rw-r--r--sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild12
1 files changed, 10 insertions, 2 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
index ca75d4898e4..63af700cd3e 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
@@ -15,9 +15,9 @@ SRC_URI="http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed055
LICENSE="GPL-3"
SLOT="0"
KEYWORDS="~amd64"
-IUSE="coq doc emacs gtk html hypothesis-selection profiling zarith zip"
+IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt profiling zarith zip"
-DEPEND=">=dev-lang/ocaml-4.02.3
+DEPEND=">=dev-lang/ocaml-4.02.3[ocamlopt?]
dev-ml/menhir
coq? ( sci-mathematics/coq )
doc? ( dev-tex/rubber )
@@ -55,6 +55,7 @@ src_configure() {
$(use_enable gtk ide) \
$(use_enable html html-doc) \
$(use_enable hypothesis-selection) \
+ $(use_enable ocamlopt native-code) \
$(use_enable profiling) \
$(use_enable zarith) \
$(use_enable zip)
@@ -62,6 +63,13 @@ src_configure() {
src_compile() {
default
+ if use ocamlopt; then
+ emake byte
+ else
+ # If using bytecode we dont want to strip the binary as it would remove
+ # the bytecode and only leave ocamlrun...
+ export STRIP_MASK="*/bin/*"
+ fi
use doc && emake doc
}