diff options
Diffstat (limited to 'sci-mathematics/z3/z3-4.8.11b.ebuild')
| -rw-r--r-- | sci-mathematics/z3/z3-4.8.11b.ebuild | 9 |
1 files changed, 8 insertions, 1 deletions
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 } |