Diff cadical-1.5.2-r1 with a cadical-1.5.3-r1
| /usr/portage/sci-mathematics/cadical/cadical-1.5.3-r1.ebuild 2023-10-09 14:52:35.104368492 +0300 | ||
|---|---|---|
| 1 |
# Copyright 1999-2021 Gentoo Authors |
|
| 1 |
# Copyright 1999-2023 Gentoo Authors |
|
| 2 | 2 |
# Distributed under the terms of the GNU General Public License v2 |
| 3 | 3 | |
| 4 | 4 |
EAPI=8 |
| ... | ... | |
| 7 | 7 | |
| 8 | 8 |
DESCRIPTION="Simplified Satisfiability Solver" |
| 9 | 9 |
HOMEPAGE="http://fmv.jku.at/cadical/" |
| 10 |
SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz -> ${P}.tar.gz"
|
|
| 11 |
S="${WORKDIR}/${PN}-rel-${PV}"
|
|
| 10 |
SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz
|
|
| 11 |
-> ${P}.tar.gz"
|
|
| 12 |
S="${WORKDIR}"/${PN}-rel-${PV}
|
|
| 12 | 13 | |
| 13 | 14 |
LICENSE="MIT" |
| 14 | 15 |
SLOT="0/${PV}"
|
| 15 | 16 |
KEYWORDS="~amd64 ~x86" |
| 16 | 17 | |
| 17 |
PATCHES=( "${FILESDIR}"/${PN}-makefile.in-ar.patch )
|
|
| 18 |
PATCHES=( |
|
| 19 |
"${FILESDIR}"/${PN}-configure.patch
|
|
| 20 |
"${FILESDIR}"/${PN}-makefile.in-ar.patch
|
|
| 21 |
) |
|
| 18 | 22 | |
| 19 | 23 |
DOCS=( BUILD.md CONTRIBUTING NEWS.md README.md VERSION ) |
| 20 | 24 | |
| ... | ... | |
| 24 | 28 |
} |
| 25 | 29 | |
| 26 | 30 |
src_install() {
|
| 27 |
dobin build/{cadical,mobical}
|
|
| 31 |
exeinto /usr/bin |
|
| 32 |
doexe build/{cadical,mobical}
|
|
| 28 | 33 |
dolib.a build/libcadical.a |
| 29 | 34 |
doheader src/cadical.hpp |
| 30 | ||
| 35 |
doheader src/ccadical.h |
|
| 31 | 36 |
einstalldocs |
| 32 | 37 |
} |