diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2017-11-10 00:43:02 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2017-11-10 00:43:02 +0000 |
commit | a5332b59346f7cbf0fdbd148b54aa8a84aaf8190 (patch) | |
tree | e6d8d3589fcd01fbc3f1286185639163daa81424 /sci-mathematics/why3-for-spark | |
parent | fceeaf01a28ee71065cf3798b70b77d3bc4ef199 (diff) |
gentoo resync : 10.11.2017
Diffstat (limited to 'sci-mathematics/why3-for-spark')
-rw-r--r-- | sci-mathematics/why3-for-spark/Manifest | 2 | ||||
-rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild | 15 |
2 files changed, 13 insertions, 4 deletions
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest index 75815e00d3f5..3bc4c233aa76 100644 --- a/sci-mathematics/why3-for-spark/Manifest +++ b/sci-mathematics/why3-for-spark/Manifest @@ -1,4 +1,4 @@ AUX why3-for-spark-2017-gentoo.patch 1300 SHA256 d96d6043d0c4e103ea7a35bf98daa40ef05417e94833fe6d07524a27d7af66ee SHA512 7ec992b1d0f0f285903b69876b853a8d368c73f4ed3dfccc25f5ae18e72e0c6f71ce9b81e18f2a685d19a7bfa8e69571cb71d4faa5ec67e0fbf2231202c2ea3d WHIRLPOOL 87256925a66ce0f4829fca043657c4804f0293493770904c2492174107a764a0a06ff73b87e2ded72334222cc9def467e50e45e59eea43cd9b7f2539b956dbdc DIST why3-for-spark-gpl-2017-src.tar.gz 9248235 SHA256 7e7aee3912421847c416bc1f066ac342e811601c29d7b69e98e789a59a724d8e SHA512 8f444402f6c1744cd7c565117732935791b1ae7996a94314c40a66d125eae8a81f2257314246c94fd29d3cd16abcff6a50a152a1191a4aae39a2c8a8d7c3b9e1 WHIRLPOOL 256648567b3a220f762c7e30d0f90265fd10af21b66c3607b9072e81444b0a33dc971126232e11f3edc64eac2598fbd3ad428d063f2c9db8d247be2abe5be904 -EBUILD why3-for-spark-2017.ebuild 1641 SHA256 47738b095e90645f913d9d55dac2272791ce3bc2a3e0cce327db90ccac71b367 SHA512 0c5940ecbb09fc3ea379ead9eec3bd6ae9ef080323dde2367c0094315425671d38c8b5bb876e7821aa35f6bc2d66535515255083a881f4c17ea020ab773f1c04 WHIRLPOOL 57e332eb27aab292001082a5fad688f7a83b2d37d5b27c1dfa4b433badd1e09dc8f17dd7cd5261fb5c826578aa3dca02587a95afa8bc2063b00e8e67e7715f83 +EBUILD why3-for-spark-2017.ebuild 1936 SHA256 d2314f24b38e9b3677ef7d6298ebf76ec93e3bd97fb3cefa7d3e5916b6112556 SHA512 b92abe2231e661b256d8b6607458d01ebac30236f723e472f88adcacee917feb8d56d129328ec0875fca52778dfaeaecab62d73443c8de37012b18aef5a38aed WHIRLPOOL affa6f454df4764fe880b9186084fb81f6509a3712503ffd68aaec1164b129c63bab7c82998be8ad43146b3d771a7771bd2cdc3ec94b5d9ec27fa3308cbca652 MISC metadata.xml 1363 SHA256 013b66bd8ddb397a162291f83ed6744ea78521b89ed4014f67ad7f794aa2a3d5 SHA512 ee8323cc37fdea800e355fc14ba67cac66c3ec3c41528d481a7e938b1d3e23859bdddfb06d3b6653725cdcfcc0d07e66ba1d3cc80b3637a781db7bab5f7dc677 WHIRLPOOL f0804ec3311720be99db48f0839ee7269a4aba8ea6c07ea8abb69591c281fca7719b565694f47c43797debcafe65d19005674a1e53e13a8c9701257f50333bf8 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 3fd441065140..1fa2034863d2 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 ) @@ -26,7 +26,7 @@ DEPEND=">=dev-lang/ocaml-4.02.3 html? ( dev-tex/hevea ) hypothesis-selection? ( dev-ml/ocamlgraph ) zarith? ( dev-ml/zarith ) - zip? ( dev-ml/camlzip )" + zip? ( >=dev-ml/camlzip-1.07 )" RDEPEND="${DEPEND}" S="${WORKDIR}"/${MYP} @@ -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,11 +63,19 @@ 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 } src_install() { default + emake DESTDIR="${D}" install-lib emake DESTDIR="${D}" install_spark2014_dev docompress -x /usr/share/doc/${PF}/examples dodoc -r examples |