diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2021-12-28 18:13:58 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2021-12-28 18:44:59 +0100 |
| commit | 130afa266034cea03e902458a9dd42deaf0e23a6 (patch) | |
| tree | 7031d1e4c677a9735fe2d6819100ce3c17a88f92 /sci-mathematics/cadical/cadical-1.5.2-r1.ebuild | |
| parent | x11-terms/guake: add 3.8.1 (diff) | |
| download | gentoo-130afa266034cea03e902458a9dd42deaf0e23a6.tar.gz gentoo-130afa266034cea03e902458a9dd42deaf0e23a6.tar.bz2 gentoo-130afa266034cea03e902458a9dd42deaf0e23a6.zip | |
sci-mathematics/cadical: patch direct call to ar
Closes: https://bugs.gentoo.org/830175
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
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 +} |