diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-03-27 22:40:05 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-03-27 22:40:05 +0100 |
| commit | 8c364c784966be1700ea39ae45028f3e9be9cae0 (patch) | |
| tree | c1971211069b79e3831b71accd52a67a9fdc77a3 /sci-mathematics/why3-for-spark | |
| parent | 6bd95d1f6320b8666a31ec949183aaa3088aa16f (diff) | |
gentoo resync : 27.03.2018
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 | 7 |
2 files changed, 3 insertions, 6 deletions
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest index 1d89a6dcfc17..d1fd3138ac77 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 BLAKE2B 616ed7cf1d5c8494a0b9f724ef1b011ad51e9f7edfb8bc88892902ad0cdc23793c8f8cd0e491757be08d90cb1159878d8bd3a34e1ebba62c927b9f676f58c241 SHA512 7ec992b1d0f0f285903b69876b853a8d368c73f4ed3dfccc25f5ae18e72e0c6f71ce9b81e18f2a685d19a7bfa8e69571cb71d4faa5ec67e0fbf2231202c2ea3d DIST why3-for-spark-gpl-2017-src.tar.gz 9248235 BLAKE2B d9eb7201dfd5962c88ac8995e3cd800bf318f575a5e6ff7d0219941c0f0c9052e6b2c95c7c16fcd81b90cac647d503041bf16560bd44b58e7e0ced1ef2314bd2 SHA512 8f444402f6c1744cd7c565117732935791b1ae7996a94314c40a66d125eae8a81f2257314246c94fd29d3cd16abcff6a50a152a1191a4aae39a2c8a8d7c3b9e1 -EBUILD why3-for-spark-2017.ebuild 1936 BLAKE2B 6240a4d731d81817b8ab6ed55ffdb2863a1996043ddf5400452c601244d9bc995283ef84a6364c73f2f97405ed87347a3e06107a2c482d31c8d48f77810fcd59 SHA512 b92abe2231e661b256d8b6607458d01ebac30236f723e472f88adcacee917feb8d56d129328ec0875fca52778dfaeaecab62d73443c8de37012b18aef5a38aed +EBUILD why3-for-spark-2017.ebuild 1797 BLAKE2B 8ca7d6ea2787bbe271924d1cecb1807da5c26f7e6342cac62c53d3c9f451c21eb892b8528900ea61fc54aa00bf5fa503dc4a77c7a13fcfceb342c6344d7d3bdc SHA512 b033c9f507637dfd10b759f9f7ffe89a1e7516d43fba2b1ad5e2cf4769d61fce9c6c61c6743ef54f5277994e9aec1656c981eac540b777d085232bcb79d2bd37 MISC metadata.xml 1363 BLAKE2B 820bfc974ca6984f78340f223f8f19d12f0313016118110a35cfe149129c2dc189d6f03f34bf3d30c9d3e5d9c9ab90bba33dca4320c034821a7a89f97b92a7f9 SHA512 ee8323cc37fdea800e355fc14ba67cac66c3ec3c41528d481a7e938b1d3e23859bdddfb06d3b6653725cdcfcc0d07e66ba1d3cc80b3637a781db7bab5f7dc677 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 1fa2034863d2..f79b8ccbe05c 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2018 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -16,6 +16,7 @@ LICENSE="GPL-3" SLOT="0" KEYWORDS="~amd64" IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt profiling zarith zip" +RESTRICT=strip DEPEND=">=dev-lang/ocaml-4.02.3[ocamlopt?] dev-ml/menhir @@ -65,10 +66,6 @@ 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 } |