diff options
Diffstat (limited to 'sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild')
-rw-r--r-- | sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild deleted file mode 100644 index 09760d868d06..000000000000 --- a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild +++ /dev/null @@ -1,43 +0,0 @@ -# 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 - ) -} |