Сравнение psmt2-frontend-0.2 с 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
)"
Спасибо!