diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-03-04 23:43:21 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-03-04 23:43:21 +0000 |
commit | a45eaba8b74340f1b166bb2ba96d61d41fc11fad (patch) | |
tree | a8e2641871efc53332f6cdbe36e9ede8d2770050 /sci-mathematics/cadical/cadical-1.9.5.ebuild | |
parent | d0fafa709f2b77dc0e70c99118520000965e4b5a (diff) |
gentoo auto-resync : 04:03:2024 - 23:43:21
Diffstat (limited to 'sci-mathematics/cadical/cadical-1.9.5.ebuild')
-rw-r--r-- | sci-mathematics/cadical/cadical-1.9.5.ebuild | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/sci-mathematics/cadical/cadical-1.9.5.ebuild b/sci-mathematics/cadical/cadical-1.9.5.ebuild new file mode 100644 index 000000000000..4c087365b45b --- /dev/null +++ b/sci-mathematics/cadical/cadical-1.9.5.ebuild @@ -0,0 +1,47 @@ +# Copyright 1999-2024 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/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/arminbiere/${PN}.git" +else + SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz + -> ${P}.tar.gz" + S="${WORKDIR}/${PN}-rel-${PV}" + + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="MIT" +SLOT="0/${PV}" + +PATCHES=( + "${FILESDIR}/${PN}-configure.patch" + "${FILESDIR}/${PN}-makefile.in-ar.patch" +) + +DOCS=( CONTRIBUTING.md NEWS.md README.md ) + +src_configure() { + tc-export AR + CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die +} + +src_install() { + exeinto /usr/bin + doexe build/{cadical,mobical} + + dolib.a build/libcadical.a + doheader src/cadical.hpp + doheader src/ccadical.h + + einstalldocs +} |