diff options
author | V3n3RiX <venerix@koprulu.sector> | 2021-10-20 10:22:14 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2021-10-20 10:22:14 +0100 |
commit | 46eedbedafdb0040c37884982d4c775ce277fb7b (patch) | |
tree | db33a91259730be84999e13a8d8168c799f50ac0 /sci-mathematics/z3 | |
parent | e23a08d0c97a0cc415aaa165da840b056f93c997 (diff) |
gentoo resync : 20.10.2021
Diffstat (limited to 'sci-mathematics/z3')
-rw-r--r-- | sci-mathematics/z3/Manifest | 2 | ||||
-rw-r--r-- | sci-mathematics/z3/z3-4.8.11b.ebuild | 9 |
2 files changed, 9 insertions, 2 deletions
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index de8c4942f1aa..bd5a04b1bcea 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -1,3 +1,3 @@ DIST z3-4.8.11b.tar.gz 4801435 BLAKE2B 903a04246fe4dedc96fda653fa9e3a57a80b951d20b992306bd07bc778cf0a94cf36fe4ed3f178bb26196a1ca294834c784a117fe906d52b82f874a43869d110 SHA512 dfcfc85209dd00aa5f07de0a7e7186a33442b72b94b05c01f53350b9281551be2a2c21ad5e7814bc2c52a3329be8df578e6be8c387cbfdc3a9d3bef0611d6613 -EBUILD z3-4.8.11b.ebuild 2429 BLAKE2B 68983cb9280cf7f92358c76088b5bb8986fdb1e18bc8168353588aa3dce5ae730f85ac5a5edd74d5bf08e3f71fdc53a56a40b606cf0cbc9279f4590cdb810c34 SHA512 ac16f7be8563ab8d98be87f8aa9788e4674742f79475a03d1083b8a538d96d68ba018c441c6a07b694177bdab8de7627632387998688f2a5230a27f49d76b350 +EBUILD z3-4.8.11b.ebuild 2610 BLAKE2B 62e0920d9e4ba69c65fff37bdc74c70f7177853f3b8ff61b2f4a50dd09d72d0f42ffcf71da152e2c5b80d1ff4e26b96d683f10a439c8a8270cc8f6dc50fb3faf SHA512 457a93cfee6bb224e5d1987a7ecaeba18f3f478ac26a222ed4c93e249225c46834d07800e9049931833e01d8ce1e5fadca09ab24df261fbc4b1165e1290845f9 MISC metadata.xml 617 BLAKE2B f940ac3d7c159dadf4398164b749eaded84c12af5553a154d97fd9bfb939c72e3122e08e11c1c9764514f59a87695534daff6628bd15be4de834c7cfdb65d7f9 SHA512 758df481a60606de12c5a450162ee89fd2f68f842675b3bf280f024fcd61232228476ac889e60c09e42ebae01ad855b32ad77793ba7fa5714861ccc5ca52bfc7 diff --git a/sci-mathematics/z3/z3-4.8.11b.ebuild b/sci-mathematics/z3/z3-4.8.11b.ebuild index d4386c546aac..aec3b57fd997 100644 --- a/sci-mathematics/z3/z3-4.8.11b.ebuild +++ b/sci-mathematics/z3/z3-4.8.11b.ebuild @@ -6,7 +6,7 @@ EAPI=7 CMAKE_ECLASS=cmake PYTHON_COMPAT=( python3_{8..10} ) -inherit cmake-multilib python-single-r1 toolchain-funcs +inherit cmake-multilib java-pkg-opt-2 python-single-r1 toolchain-funcs DESCRIPTION="An efficient theorem prover" HOMEPAGE="https://github.com/Z3Prover/z3/" @@ -28,6 +28,11 @@ BDEPEND=" CMAKE_BUILD_TYPE=RelWithDebInfo +src_prepare() { + cmake_src_prepare + java-pkg-opt-2_src_prepare +} + multilib_src_configure() { local mycmakeargs=( -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${P}" @@ -40,6 +45,8 @@ multilib_src_configure() { -DZ3_INCLUDE_GIT_HASH=OFF ) + multilib_is_native_abi && use java && mycmakeargs+=( -DJAVA_HOME="$(java-config -g JAVA_HOME )" ) + cmake_src_configure } |