diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
commit | 3517852e3b8a68d1e997770fc0650c5053bafc6c (patch) | |
tree | 44068672445b1418489aed82de58df3c470289e7 /sci-mathematics/cadical/cadical-1.5.2-r1.ebuild | |
parent | 0f15659d48c193027158492acb726297501202c5 (diff) |
gentoo resync : 04.01.2022
Diffstat (limited to 'sci-mathematics/cadical/cadical-1.5.2-r1.ebuild')
-rw-r--r-- | sci-mathematics/cadical/cadical-1.5.2-r1.ebuild | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild b/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild new file mode 100644 index 000000000000..c773ea12d5f2 --- /dev/null +++ b/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild @@ -0,0 +1,32 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit toolchain-funcs + +DESCRIPTION="Simplified Satisfiability Solver" +HOMEPAGE="http://fmv.jku.at/cadical/" +SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz -> ${P}.tar.gz" +S="${WORKDIR}/${PN}-rel-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" + +PATCHES=( "${FILESDIR}"/${PN}-makefile.in-ar.patch ) + +DOCS=( BUILD.md CONTRIBUTING NEWS.md README.md VERSION ) + +src_configure() { + tc-export AR + CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die +} + +src_install() { + dobin build/{cadical,mobical} + dolib.a build/libcadical.a + doheader src/cadical.hpp + + einstalldocs +} |