sci-mathematics/psmt2-frontend: add psmt2-frontend

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.66, Repoman-2.3.11

diff --git a/sci-mathematics/psmt2-frontend/Manifest b/sci-mathematics/psmt2-frontend/Manifest
new file mode 100644 (file)
index 0000000..c13d855
--- /dev/null
+++ b/sci-mathematics/psmt2-frontend/Manifest
@@ -0,0 +1 @@
+DIST psmt2-frontend-0.2.tar.gz 26976 BLAKE2B 2b45ceb8d824f5b11455ad0026064b6329b6c6e6173c091b36dc42e8c1dd36924d12d9296db3dcfe748a84fdc37a1a530f3ef485bec904c19a0e6aa8034149f9 SHA512 c29802f4265a1cbdb05ee9154ce2c156136af258bc7283dd0fb1d1b2ce162b671553cab96484036d898e3ff7c26ab133f5c2e1ca88e9e48660b2faa139fd1f41

diff --git a/sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch b/sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch
new file mode 100644 (file)
index 0000000..74fbed0
--- /dev/null
+++ b/sci-mathematics/psmt2-frontend/files/psmt2-frontend-0.2-gentoo.patch
@@ -0,0 +1,22 @@
+--- a/Makefile.in      2019-07-20 19:20:06.818740706 +0200
++++ b/Makefile.in      2019-07-20 19:21:33.437581073 +0200
+@@ -18,7 +18,7 @@
+ libdir=@libdir@
+ # exec_prefix=@exec_prefix@
+ # BINDIR=$(DESTDIR)@bindir@
+-LIBDIR=$(prefix)$(libdir)
++LIBDIR=$(libdir)
+ # DATADIR=$(DESTDIR)@datadir@/psmt2-frontend
+ 
+ # where to install the man page
+@@ -119,8 +119,8 @@
+ ##############
+ 
+ install: all META
+-      mkdir -p $(DESTDIR)$(LIBDIR)
+-      OCAMLFIND_DESTDIR=$(DESTDIR)$(LIBDIR) \
++      mkdir -p $(DESTDIR)$(OCAMLLIB)
++      OCAMLFIND_DESTDIR=$(DESTDIR)$(OCAMLLIB) \
+         ocamlfind install psmt2-frontend src/$(LIBNAME).* src/*.mli META
+ 
+ 

diff --git a/sci-mathematics/psmt2-frontend/metadata.xml b/sci-mathematics/psmt2-frontend/metadata.xml
new file mode 100644 (file)
index 0000000..53441a5
--- /dev/null
+++ b/sci-mathematics/psmt2-frontend/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+       <maintainer type="person">
+               <email>tupone@gentoo.org</email>
+               <name>Tupone Alfredo</name>
+       </maintainer>
+       <longdescription lang="en">
+                       A library to parse and type-check a conservative extension of the
+                       SMT-LIB 2 standard with prenex polymorphism.
+       </longdescription>
+</pkgmetadata>

diff --git a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
new file mode 100644 (file)
index 0000000..4e0ada1
--- /dev/null
+++ b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
@@ -0,0 +1,25 @@
+# Copyright 2019 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
+       eautoreconf
+}