diff options
Diffstat (limited to 'sci-mathematics/cadical/cadical-1.8.0.ebuild')
-rw-r--r-- | sci-mathematics/cadical/cadical-1.8.0.ebuild | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/sci-mathematics/cadical/cadical-1.8.0.ebuild b/sci-mathematics/cadical/cadical-1.8.0.ebuild new file mode 100644 index 000000000000..a71f7eebe39d --- /dev/null +++ b/sci-mathematics/cadical/cadical-1.8.0.ebuild @@ -0,0 +1,39 @@ +# Copyright 1999-2023 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}-configure.patch + "${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() { + exeinto /usr/bin + doexe build/{cadical,mobical} + + dolib.a build/libcadical.a + doheader src/cadical.hpp + doheader src/ccadical.h + + einstalldocs +} |