diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-10-11 02:18:41 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-10-11 02:19:38 +0200 |
| commit | 4bef4aa48264ad7e44bb9df5302dfe898d5e35c7 (patch) | |
| tree | 51f62f23ecd36c67360b5f7037df9af8e577fac2 /sci-mathematics/kissat/kissat-3.0.0.ebuild | |
| parent | sci-mathematics/kissat: bump to 3.1.1 (diff) | |
| download | gentoo-4bef4aa48264ad7e44bb9df5302dfe898d5e35c7.tar.gz gentoo-4bef4aa48264ad7e44bb9df5302dfe898d5e35c7.tar.bz2 gentoo-4bef4aa48264ad7e44bb9df5302dfe898d5e35c7.zip | |
sci-mathematics/kissat: drop old 3.0.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/kissat/kissat-3.0.0.ebuild')
| -rw-r--r-- | sci-mathematics/kissat/kissat-3.0.0.ebuild | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/sci-mathematics/kissat/kissat-3.0.0.ebuild b/sci-mathematics/kissat/kissat-3.0.0.ebuild deleted file mode 100644 index 4c1fed10488f..000000000000 --- a/sci-mathematics/kissat/kissat-3.0.0.ebuild +++ /dev/null @@ -1,39 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit toolchain-funcs - -DESCRIPTION="Keep-it-simple and clean bare metal SAT solver written in C" -HOMEPAGE="http://fmv.jku.at/kissat/ - https://github.com/arminbiere/kissat/" -SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/${PN}-rel-${PV} - -LICENSE="MIT" -SLOT="0" -KEYWORDS="~amd64 ~x86" - -RDEPEND="!>=x11-terms/kitty-0.27" - -src_configure() { - local myopts=( - CC="$(tc-getCC) ${CFLAGS} ${LDFLAGS}" - --kitten - --statistics - ) - sh ./configure "${myopts[@]}" || die -} - -src_compile() { - emake AR="$(tc-getAR)" -} - -src_install() { - dolib.a build/libkissat.a - exeinto /usr/bin/ - doexe build/{kissat,kitten} - dodoc CONTRIBUTING NEWS.md README.md -} |