diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2019-08-02 19:14:55 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2019-08-02 19:14:55 +0100 |
| commit | b24bd25253fe093f722ab576d29fdc41d04cb1ee (patch) | |
| tree | 0fcf2afd9f852c4d4c291cf8afaa2c244d598105 /sci-mathematics/cvc4 | |
| parent | 121ed4eec41fbf03e1998d09eede1bf449da63b9 (diff) | |
gentoo resync : 02.08.2019
Diffstat (limited to 'sci-mathematics/cvc4')
| -rw-r--r-- | sci-mathematics/cvc4/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.7.ebuild | 8 | ||||
| -rw-r--r-- | sci-mathematics/cvc4/metadata.xml | 3 |
3 files changed, 12 insertions, 3 deletions
diff --git a/sci-mathematics/cvc4/Manifest b/sci-mathematics/cvc4/Manifest index 5a86e7bb1ddf..94152a39ed34 100644 --- a/sci-mathematics/cvc4/Manifest +++ b/sci-mathematics/cvc4/Manifest @@ -2,5 +2,5 @@ AUX cvc4-1.7-gentoo.patch 1665 BLAKE2B db98e67fb3b152e0c78019b21b32c99d06377f1b1 DIST cvc4-1.6.tar.gz 7815893 BLAKE2B 626e0dd49f911384e64d7e8ecf635aa12dad32830b2032bdcb96afd1a17c3566f56df51f75e9193cf365b562855733d0ea4ff3311ac99fc86e928a956298d2ad SHA512 0887b3f74a4b9e51e634591c7cf39d730110ca5d930149bab4816a49e383eeea8ccadf8474d22f5529cc03ddd045acacf8a2b92434b882adf352f4de4075fcd4 DIST cvc4-1.7.tar.gz 6969953 BLAKE2B 3a64db14a734e0314fb7d7b8dbed79e067c9bbf1723343dac1e9c47b3f09811b1a32ff0116412667bd0afefda2489c6c1679bf109710402a67bee0d91b62dd94 SHA512 b91dfac7ddf979a3474f562eb98f2d6f17a53efa38c1be5502429309a0c059e1f2b0d85ee95e5aee17d35f34c825f01f879ec4aaf26025b1fcac835c33a867c6 EBUILD cvc4-1.6.ebuild 556 BLAKE2B 2943590af801614ea64b26ff72ee9d445c544dacc62b93428c60e8e80a8fea9884f646d3d3680c89d246c34f42215998aadbc39618ee5334d5ee3503e179543b SHA512 bd9ed1c3e2c635ba47667d77fb0929a2681ec6bc09570e74b0e093b76208746e804b7dd04852bb00c44d3b69f31385346ab838ef8e058d701eaf2dd5aabe4d17 -EBUILD cvc4-1.7.ebuild 1072 BLAKE2B f310aefde818c98368dc49cd6ab03c86d64984b3048ef508f2da8b13457e5574eecd32aa595b3cded6918702878afca2baadf30240f141385e4fbc88d4292cb3 SHA512 b731c2b4895167ab9f02ba3120294f964825361fabed861b8692006b317c376eeaca55e21b7ba45404d861f0f33146df685687f9be37e2aa28750ee564b9060e -MISC metadata.xml 635 BLAKE2B 96c8a55b5e69e6f52bb5b66ac46361b07bee92c72216d73837a4644ea139b3fc9375f8e8ca68db04975675d6520d7275c02c0cfd27957c77b3506e90b332cc8d SHA512 166da2a33b4d8d33ee237d6175973e382399e1864317fd585395f1f3c78b1487ef4e95c866bfc8e9928fc10f648c45b6f95d0803b608cd8a8b9040c1054f2538 +EBUILD cvc4-1.7.ebuild 1344 BLAKE2B b1c187f77296c5bba332a4795b990fb3df340a10c9acc9de6397e64b883b48e56ba3d0b42fef398cdfa8151799eeb2a59fae644466a2a605de6183cf84844c85 SHA512 34b1d046465f6cac1e8e098c743f79042fff0ad0eb051b68da0a0f6ca78bb27cf6ddbfe6ce8b1ba94eb779fc3faf69a7c79a42f3ddff34167ef7b28acd096fb1 +MISC metadata.xml 801 BLAKE2B a8dffba2bb9a740412d4193911d1ab118336993d12d6d7e42c758af438d297baf6798e2ce9c6aa9be4282678e366087d54b8d3f8c46b43be6d73bcf421ee318a SHA512 d90e35c93e5defc5599f5e9d9b88a757a4a845574684270f1aab0cb8194c50b31fa3135ea221f63d0d71f867619c039f32cfb46b63fa370289e8eb5205d3b25d diff --git a/sci-mathematics/cvc4/cvc4-1.7.ebuild b/sci-mathematics/cvc4/cvc4-1.7.ebuild index 0b192f127391..09aab161f76d 100644 --- a/sci-mathematics/cvc4/cvc4-1.7.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.7.ebuild @@ -12,11 +12,12 @@ SRC_URI="https://github.com/CVC4/CVC4/archive/${PV}.tar.gz -> ${P}.tar.gz" LICENSE="GPL-2" SLOT="0" KEYWORDS="~amd64 ~x86" -IUSE="+cln" +IUSE="+cln proofs readline replay +statistics" RDEPEND="dev-libs/antlr-c dev-java/antlr:3 dev-libs/boost + readline? ( sys-libs/readline:0= ) cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= )" DEPEND="${RDEPEND}" @@ -30,7 +31,12 @@ src_configure() { local mycmakeargs=( -DANTLR_BINARY=/usr/bin/antlr3 -DENABLE_GPL=ON + -DENABLE_OPTIMIZED=ON -DUSE_CLN="$(usex cln ON OFF)" + -DUSE_READLINE="$(usex readline ON OFF)" + -DENABLE_STATISTICS="$(usex statistics ON OFF)" + -DENABLE_PROOFS="$(usex proofs ON OFF)" + -DENABLE_REPLAY="$(usex replay ON OFF)" ) cmake-utils_src_configure } diff --git a/sci-mathematics/cvc4/metadata.xml b/sci-mathematics/cvc4/metadata.xml index d1a299673f89..8ab072c90512 100644 --- a/sci-mathematics/cvc4/metadata.xml +++ b/sci-mathematics/cvc4/metadata.xml @@ -7,6 +7,9 @@ </maintainer> <use> <flag name="cln">Use sci-libs/cln</flag> + <flag name="statistics">Include statistics</flag> + <flag name="replay">Turn on the replay feature</flag> + <flag name="proofs">Support for proof generation</flag> </use> <longdescription lang="en"> CVC4 is an efficient open-source automatic theorem prover for |