You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
44 lines
949 B
44 lines
949 B
# Copyright 2019-2020 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=7
|
|
inherit findlib autotools
|
|
|
|
DESCRIPTION="Library to parse and type-check an extension of the SMT-LIB 2 standard"
|
|
HOMEPAGE="https://github.com/OCamlPro-Coquera/psmt2-frontend"
|
|
SRC_URI="https://github.com/OCamlPro-Coquera/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
|
|
|
|
LICENSE="Apache-2.0"
|
|
SLOT="0"
|
|
KEYWORDS="amd64 ~x86"
|
|
IUSE=""
|
|
|
|
DEPEND=">=dev-ml/menhir-20181006"
|
|
RDEPEND="${DEPEND}"
|
|
BDEPEND=""
|
|
|
|
PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
|
|
|
|
src_prepare() {
|
|
default
|
|
mv configure.{in,ac}
|
|
sed -i \
|
|
-e "s:configure.in:configure.ac:g" \
|
|
Makefile.in || die
|
|
eautoreconf
|
|
}
|
|
|
|
src_compile() {
|
|
emake depend
|
|
default
|
|
}
|
|
|
|
src_install() {
|
|
default
|
|
QA_FLAGS_IGNORED=(
|
|
/usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.o
|
|
/usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.cmxs
|
|
/usr/$(get_libdir)/ocaml/psmt2-frontend/psmt2Frontend.a
|
|
)
|
|
}
|