summaryrefslogtreecommitdiff
path: root/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2019-11-03 16:06:58 +0000
committerV3n3RiX <venerix@redcorelinux.org>2019-11-03 16:06:58 +0000
commitbd4aeefe33e63f613512604e47bfca7b2187697d (patch)
treeadb35b5a9a00ee7ea591ab0c987f70167c23b597 /sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
parent48ece6662cbd443015f5a57ae6d8cbdbd69ef37c (diff)
gentoo resync : 03.11.2019
Diffstat (limited to 'sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild')
-rw-r--r--sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild11
1 files changed, 10 insertions, 1 deletions
diff --git a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
index 4e0ada140fe7..5f6f9e6f4f39 100644
--- a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
+++ b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild
@@ -10,7 +10,7 @@ SRC_URI="https://github.com/OCamlPro-Coquera/${PN}/archive/${PV}.tar.gz -> ${P}.
LICENSE="Apache-2.0"
SLOT="0"
-KEYWORDS="~amd64 ~x86"
+KEYWORDS="amd64 ~x86"
IUSE=""
DEPEND=">=dev-ml/menhir-20181006"
@@ -21,5 +21,14 @@ 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
+}