diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-06-13 10:39:22 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-06-13 10:39:22 +0100 |
| commit | 9452a6e87b6c2c70513bc47a2470bf9f1168920e (patch) | |
| tree | 8ac67e26b45f34d71c5aab3621813b100a0d5f00 /sci-mathematics/z3 | |
| parent | f516638b7fe9592837389826a6152a7e1b251c54 (diff) | |
gentoo resync : 13.06.2020
Diffstat (limited to 'sci-mathematics/z3')
| -rw-r--r-- | sci-mathematics/z3/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/z3/z3-4.8.8.ebuild | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index 9e05c62bbb36..59bd1400797b 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -1,5 +1,5 @@ DIST z3-4.8.6.tar.gz 4328752 BLAKE2B 4932670f3c1ab9bdba18a6ad80f4fd8812eb70d71705ebdf1f93c3b052ffb632dc10e4f7f4043f098af214288d6d4a4a26ef7f8cc0d1183c9f27b14ef1787c46 SHA512 d338413274a3d11a9e9287202989df9da4c31e095c14428a418d4019e9f86c0e2b681c519d2d0bcbb4cd99a722a2539006f5c86ade568b1ee208545b142369f1 DIST z3-4.8.8.tar.gz 4520119 BLAKE2B 8d3d9fac61ac7d5a9d8c44323db9f67a7b24ee510b12e67867b249062cbcfe9a3bd0fa3b24c03c9eccd2aaf90451083ff5e9a9253a87c3e8e943fc5cf08a1893 SHA512 a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f EBUILD z3-4.8.6.ebuild 2335 BLAKE2B e980e31d4d6ab4443b7b385c66aa1a71ab062d4783e1947d1a2d9688986729a19769813e22cb7395d9a8a1a45e1fb898da1a8e6c923c8486aa8dccd601f9874b SHA512 214122932dcbb1cef0e3d3617e37e3057936b28afc7d70fff2fe08bfcaad963516d48f20fe65efaf80729f5ab070b562aa574c163f908c82b620846e5cda7982 -EBUILD z3-4.8.8.ebuild 2415 BLAKE2B fa4d5fe952685eb5d8d2aa1f679b008e6887c0eaa25ec7101635db290b33ae5c5936216b5cd1ba11cf49006ac1de242a566e7b47923e608dbace24c6c5b85d08 SHA512 b4e757bfdf1a252f0b33f28fb1dd470025966dd16cf77e5925d0e52a30011672475097789d46557fcddce00cf5d308c9f417f6da858c2a66965933547c2d4d75 +EBUILD z3-4.8.8.ebuild 2419 BLAKE2B 9ce7a230328d75a750d8dd035388cacf7805ed2acdb827ee7d23337872b31fb281d2e8b46a3670028eb88872ecdb2a6b7ceced85b57d5df88ab9cb9469504571 SHA512 17f721bcf8019eb6d2be6d0a4003187a76c6490f550fed9d488dda8d1cb372ff3b4192fd5906de45713ec3b60be8b7387d960818b386d5827977cf9db81c0213 MISC metadata.xml 732 BLAKE2B dec39a80325f9dba9e79d65f448d828c3ee19327a1a12505e487a39fd58fb49f47446e439d713a9fa2603bc971f22f4eb8c1a12e93e18281aeba5e183642add8 SHA512 7d081840634a8dc578acc60c4b85ef1a35f025c2ac251d2f7633a807af7395061ef4fb96716e96a96a876ae318b52333dfc0200fa1e72e35889433676a56e58b diff --git a/sci-mathematics/z3/z3-4.8.8.ebuild b/sci-mathematics/z3/z3-4.8.8.ebuild index 949c33e2e2b1..c6b4ae89c61e 100644 --- a/sci-mathematics/z3/z3-4.8.8.ebuild +++ b/sci-mathematics/z3/z3-4.8.8.ebuild @@ -3,6 +3,7 @@ EAPI=7 +CMAKE_ECLASS=cmake PYTHON_COMPAT=( python3_{6,7,8} ) inherit cmake-multilib python-single-r1 toolchain-funcs @@ -39,11 +40,11 @@ multilib_src_configure() { -DZ3_INCLUDE_GIT_HASH=OFF ) - cmake-utils_src_configure + cmake_src_configure } multilib_src_test() { - cmake-utils_src_make test-z3 + cmake_build test-z3 set -- "${BUILD_DIR}"/test-z3 /a echo "${@}" >&2 "${@}" || die |