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 | |
parent | 48ece6662cbd443015f5a57ae6d8cbdbd69ef37c (diff) |
gentoo resync : 03.11.2019
Diffstat (limited to 'sci-mathematics/psmt2-frontend')
-rw-r--r-- | sci-mathematics/psmt2-frontend/Manifest | 2 | ||||
-rw-r--r-- | sci-mathematics/psmt2-frontend/psmt2-frontend-0.2.ebuild | 11 |
2 files changed, 11 insertions, 2 deletions
diff --git a/sci-mathematics/psmt2-frontend/Manifest b/sci-mathematics/psmt2-frontend/Manifest index 0c4582c4a099..4f9b695f4f27 100644 --- a/sci-mathematics/psmt2-frontend/Manifest +++ b/sci-mathematics/psmt2-frontend/Manifest @@ -1,4 +1,4 @@ AUX psmt2-frontend-0.2-gentoo.patch 607 BLAKE2B 4d3a967d9c694e74b1e33426d73f41e97be37510241291339e4d7c4e677ef247cc9dd28728df4fcdb6a0819aa8d1ccb6233d65cb206cbf78dcf9004af7744a7b SHA512 6ec9c1c89ceb023b57820f083722b4c4a693a27c38fcc63a9bf6403853c716a398f055a8db579e683a03f2ca8ccfcd9235796ce1f44867d47805279f6a0a8700 DIST psmt2-frontend-0.2.tar.gz 26976 BLAKE2B 2b45ceb8d824f5b11455ad0026064b6329b6c6e6173c091b36dc42e8c1dd36924d12d9296db3dcfe748a84fdc37a1a530f3ef485bec904c19a0e6aa8034149f9 SHA512 c29802f4265a1cbdb05ee9154ce2c156136af258bc7283dd0fb1d1b2ce162b671553cab96484036d898e3ff7c26ab133f5c2e1ca88e9e48660b2faa139fd1f41 -EBUILD psmt2-frontend-0.2.ebuild 583 BLAKE2B 2fe5e7f7340ed763b2ef98042ac9b7365fb951bb031abe8758f4134a36469473b1d179650f21e79cf6c87f1d263f992cf188f278f605fcd04eac3d6daab12944 SHA512 38ab7dc0d8b7ce581363617f5a9eee3ba9b8f2e1d103909a17359bb194ba87882e222969b70df92ee85fe4b5ebd2266c1c33ef9be2866b9fa4eddf0961002dfd +EBUILD psmt2-frontend-0.2.ebuild 716 BLAKE2B 3d44765040405bf5beb779dd7f1fb388c0dfaba41aa14d84a144482f7acd5c354e87845b24fed33e145981850124a1ec73e4914ec091ce9eb93b0f56631cb3fa SHA512 678f6e15cff8e3d1cec09affed6e70e6ad596f9936fdf8f87ac69c08eacda841a0e64b92a6bd3420683fc5a661969569b139ff0a996cec65f90680ba88b586a9 MISC metadata.xml 413 BLAKE2B 0f866e4371235aae4d041e7bd1ad4011e680ab501c764559d9d52fae48a2ace5825230a0b2fa8c411e9ae0d55d474fe63250de1bb9983acf328d6a4c2412802c SHA512 1a6fa4ac4c2615a491861c78d8fa5680c4de8fef1caa034601a8ffd75e0c714109d45af96c16348dc27bb3848863c18a28720a2e960219237eea4d3154cb17f3 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 +} |