diff options
| author |   Jakov Smolic <jakov.smolic@sartura.hr> | 2021-01-20 11:15:32 +0100 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2021-01-20 11:15:32 +0100 |
| commit | 60920d2bc1ae9b64adf314054b4b463e97ae72df (patch) | |
| tree | 9b6cd4c921f21523e6c86c08178d21bdb16790b8 /sci-mathematics/cvc4 | |
| parent | sci-mathematics/alt-ergo: Remove old (diff) | |
| download | gentoo-60920d2bc1ae9b64adf314054b4b463e97ae72df.tar.gz gentoo-60920d2bc1ae9b64adf314054b4b463e97ae72df.tar.bz2 gentoo-60920d2bc1ae9b64adf314054b4b463e97ae72df.zip | |
sci-mathematics/cvc4: Remove old
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr>
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'sci-mathematics/cvc4')
| -rw-r--r-- | sci-mathematics/cvc4/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.6.ebuild | 24 |
2 files changed, 0 insertions, 25 deletions
diff --git a/sci-mathematics/cvc4/Manifest b/sci-mathematics/cvc4/Manifest index daaafcc4d443..bf26cdb9e5e1 100644 --- a/sci-mathematics/cvc4/Manifest +++ b/sci-mathematics/cvc4/Manifest @@ -1,2 +1 @@ -DIST cvc4-1.6.tar.gz 7815893 BLAKE2B 626e0dd49f911384e64d7e8ecf635aa12dad32830b2032bdcb96afd1a17c3566f56df51f75e9193cf365b562855733d0ea4ff3311ac99fc86e928a956298d2ad SHA512 0887b3f74a4b9e51e634591c7cf39d730110ca5d930149bab4816a49e383eeea8ccadf8474d22f5529cc03ddd045acacf8a2b92434b882adf352f4de4075fcd4 DIST cvc4-1.7.tar.gz 6969953 BLAKE2B 3a64db14a734e0314fb7d7b8dbed79e067c9bbf1723343dac1e9c47b3f09811b1a32ff0116412667bd0afefda2489c6c1679bf109710402a67bee0d91b62dd94 SHA512 b91dfac7ddf979a3474f562eb98f2d6f17a53efa38c1be5502429309a0c059e1f2b0d85ee95e5aee17d35f34c825f01f879ec4aaf26025b1fcac835c33a867c6 diff --git a/sci-mathematics/cvc4/cvc4-1.6.ebuild b/sci-mathematics/cvc4/cvc4-1.6.ebuild deleted file mode 100644 index d77a2ea6aaa1..000000000000 --- a/sci-mathematics/cvc4/cvc4-1.6.ebuild +++ /dev/null @@ -1,24 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=6 - -DESCRIPTION="automatic theorem prover for satisfiability modulo theories (SMT) problems" -HOMEPAGE="http://cvc4.cs.stanford.edu/web/" -SRC_URI="http://cvc4.cs.stanford.edu/downloads/builds/src/${P}.tar.gz" - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="+cln" - -RDEPEND="dev-libs/antlr-c - dev-libs/boost - cln? ( sci-libs/cln ) - !cln? ( dev-libs/gmp:= )" -DEPEND="${RDEPEND}" - -src_configure() { - econf --enable-gpl \ - $(use_with cln) -} |