diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-11 05:43:34 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-11 05:43:34 +0000 |
| commit | ad391b961414c99124b93cb86695c04bd8d57937 (patch) | |
| tree | 446151aff1c09db21505a46da4107f9a5be588e0 /sci-mathematics/picosat/picosat-965.ebuild | |
| parent | 113cc6fe7a9adc2baf67f9ef7723db6ed2b24887 (diff) | |
gentoo auto-resync : 11:01:2023 - 05:43:34
Diffstat (limited to 'sci-mathematics/picosat/picosat-965.ebuild')
| -rw-r--r-- | sci-mathematics/picosat/picosat-965.ebuild | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/sci-mathematics/picosat/picosat-965.ebuild b/sci-mathematics/picosat/picosat-965.ebuild deleted file mode 100644 index 9803703a619b..000000000000 --- a/sci-mathematics/picosat/picosat-965.ebuild +++ /dev/null @@ -1,38 +0,0 @@ -# Copyright 1999-2022 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit toolchain-funcs - -DESCRIPTION="SAT solver with proof and core support" -HOMEPAGE="http://fmv.jku.at/picosat/" -SRC_URI="http://fmv.jku.at/${PN}/${P}.tar.gz" - -SLOT="0" -KEYWORDS="~amd64 ~x86" -LICENSE="MIT" - -PATCHES=( "${FILESDIR}"/${P}-makefile.in.patch ) - -src_configure() { - CC="$(tc-getCC)" sh ./configure.sh --shared --trace || die -} - -src_compile() { - emake AR="$(tc-getAR)" RANLIB="$(tc-getRANLIB)" \ - CFLAGS="${CFLAGS} ${LDFLAGS} -fPIC" -} - -src_install() { - exeinto /usr/bin - doexe picomus picomcs picosat picogcnf - - insinto /usr/share - newins VERSION picosat.version - - dolib.so libpicosat.so - doheader picosat.h - - dodoc NEWS README -} |