Diff cryptominisat-5.11.12 with a cryptominisat-5.11.14
| /usr/portage/sci-mathematics/cryptominisat/cryptominisat-5.11.14.ebuild 2023-10-09 14:52:35.108368492 +0300 | ||
|---|---|---|
| 8 | 8 |
DESCRIPTION="Advanced SAT solver with C++ and command-line interfaces" |
| 9 | 9 |
HOMEPAGE="https://github.com/msoos/cryptominisat/" |
| 10 | 10 | |
| 11 |
if [[ ${PV} == *9999* ]] ; then
|
|
| 11 |
if [[ "${PV}" == *9999* ]] ; then
|
|
| 12 | 12 |
inherit git-r3 |
| 13 | ||
| 13 | 14 |
EGIT_REPO_URI="https://github.com/msoos/${PN}.git"
|
| 14 | 15 |
else |
| 15 | 16 |
SRC_URI="https://github.com/msoos/${PN}/archive/${PV}.tar.gz
|
| 16 | 17 |
-> ${P}.tar.gz"
|
| 18 | ||
| 17 | 19 |
KEYWORDS="~amd64 ~x86" |
| 18 | 20 |
fi |
| 19 | 21 | |