diff options
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 +} |