Diff psmt2-frontend-0.2 with a psmt2-frontend-0.4.0
| /usr/portage/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild 2023-10-09 14:52:35.120368492 +0300 | ||
|---|---|---|
| 1 |
# Copyright 2019-2020 Gentoo Authors |
|
| 1 |
# Copyright 2019-2022 Gentoo Authors |
|
| 2 | 2 |
# Distributed under the terms of the GNU General Public License v2 |
| 3 | 3 | |
| 4 |
EAPI=7 |
|
| 5 |
inherit findlib autotools |
|
| 4 |
EAPI=8 |
|
| 5 | ||
| 6 |
inherit dune |
|
| 6 | 7 | |
| 7 | 8 |
DESCRIPTION="Library to parse and type-check an extension of the SMT-LIB 2 standard" |
| 8 | 9 |
HOMEPAGE="https://github.com/OCamlPro-Coquera/psmt2-frontend" |
| 9 | 10 |
SRC_URI="https://github.com/OCamlPro-Coquera/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
|
| 10 | 11 | |
| 11 | 12 |
LICENSE="Apache-2.0" |
| 12 |
SLOT="0" |
|
| 13 |
SLOT="0/${PV}"
|
|
| 13 | 14 |
KEYWORDS="amd64 ~x86" |
| 14 |
IUSE="" |
|
| 15 | ||
| 16 |
DEPEND=">=dev-ml/menhir-20181006" |
|
| 17 |
RDEPEND="${DEPEND}"
|
|
| 18 |
BDEPEND="" |
|
| 19 | ||
| 20 |
PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
|
|
| 21 | ||
| 22 |
src_prepare() {
|
|
| 23 |
default |
|
| 24 |
mv configure.{in,ac}
|
|
| 25 |
sed -i \ |
|
| 26 |
-e "s:configure.in:configure.ac:g" \ |
|
| 27 |
Makefile.in || die |
|
| 28 |
eautoreconf |
|
| 29 |
} |
|
| 30 | ||
| 31 |
src_compile() {
|
|
| 32 |
emake depend |
|
| 33 |
default |
|
| 34 |
} |
|
| 15 |
IUSE="+ocamlopt test" |
|
| 16 |
RESTRICT="!test? ( test )" |
|
| 35 | 17 | |
| 36 |
src_install() {
|
|
| 37 |
default |
|
| 38 |
QA_FLAGS_IGNORED=( |
|
| 39 |
/usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.o |
|
| 40 |
/usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.cmxs |
|
| 41 |
/usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.a |
|
| 42 |
) |
|
| 43 |
} |
|
| 18 |
RDEPEND=">=dev-ml/menhir-20181006:=" |
|
| 19 |
DEPEND="${RDEPEND}"
|
|
| 20 |
BDEPEND="test? ( |
|
| 21 |
dev-ml/ppx_expect |
|
| 22 |
dev-ml/ppx_inline_test |
|
| 23 |
)" |
|