diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-11-03 16:06:58 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-11-03 16:06:58 +0000 |
commit | bd4aeefe33e63f613512604e47bfca7b2187697d (patch) | |
tree | adb35b5a9a00ee7ea591ab0c987f70167c23b597 /sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild | |
parent | 48ece6662cbd443015f5a57ae6d8cbdbd69ef37c (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.ebuild | 11 |
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 +} |