From 4df3bf9762850b34cd1ead5c80374d1a0fc3362e Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 12 Jul 2021 08:41:54 +0100 Subject: gentoo resync : 12.07.2021 --- sci-mathematics/Manifest.gz | Bin 13656 -> 13666 bytes sci-mathematics/cgal/Manifest | 2 +- sci-mathematics/cgal/cgal-5.2.2-r1.ebuild | 77 ++++++++++++++++++++++++ sci-mathematics/cgal/cgal-5.2.2.ebuild | 77 ------------------------ sci-mathematics/z3/Manifest | 2 + sci-mathematics/z3/z3-4.8.11b.ebuild | 96 ++++++++++++++++++++++++++++++ 6 files changed, 176 insertions(+), 78 deletions(-) create mode 100644 sci-mathematics/cgal/cgal-5.2.2-r1.ebuild delete mode 100644 sci-mathematics/cgal/cgal-5.2.2.ebuild create mode 100644 sci-mathematics/z3/z3-4.8.11b.ebuild (limited to 'sci-mathematics') diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz index 36c0936fe5e5..5b39bcc12246 100644 Binary files a/sci-mathematics/Manifest.gz and b/sci-mathematics/Manifest.gz differ diff --git a/sci-mathematics/cgal/Manifest b/sci-mathematics/cgal/Manifest index c2eb2b564e65..da4b18990460 100644 --- a/sci-mathematics/cgal/Manifest +++ b/sci-mathematics/cgal/Manifest @@ -10,5 +10,5 @@ DIST CGAL-5.2.tar.xz 23250240 BLAKE2B eb80a81dd01b2b2e30fe72f45cceee0861b36f47e3 EBUILD cgal-5.1-r2.ebuild 1676 BLAKE2B 0cf776ec3975dd081ea09e200ec920aee26a1735229ef80406a136a933fde69508e4d17a58b151cbe3dd9e0953aa70bdf7055b72d58d35d1f80db9ab39665d1f SHA512 8b024e072f13de1399341cef016babbde013a1c3a39b127347957759369cace58feda41e5bea3e09c74feac7280d8a802c4036556189f688aab3e76f532a68e3 EBUILD cgal-5.2-r2.ebuild 1674 BLAKE2B 48c4bce712df40a9d9f5a105c84724233c6e001b5a5017d37c129576a2c800c46f7ad08303e102916cda08c6906f301dac09db8613655a2924836b475de286ac SHA512 475a747f8a3a6cd040b902df9e2eac6b357c75b528857ed56808a3af00fc623d2f91295cc2aef99cd41d35da59a7fcba03195593d09291b6dd4ab67006427cd9 EBUILD cgal-5.2.1-r2.ebuild 1701 BLAKE2B c3fe6d68ec09db9c182dda3851cb429d47eb085ff313b589d5db74e074df6b43b1497b71d00c4ba2f06f53f0933a346879760259d56102d5b79f73bb04c94ce5 SHA512 baaf085725a7a26e4e0b87f557b758ef8c977462cab0b6cad32d9784f5e6dc6b33b8681a4d74c14d2278d2b39b016211aee92a21113136c5906b3e5fec2dbd4d -EBUILD cgal-5.2.2.ebuild 1693 BLAKE2B c3fdca30950e485325ca9914e680737da5fdf3556e8ecd1577383babdb67cd23874ea819f00ce1f625da6dc4c5fed044273b797c22ba36834085dea42f4b88e8 SHA512 eaa67f420d8f969ac721346746c03f4d8e4eccb60a91f9ae8308d4985b4a3c0980dcf7912a85874167d882e337380133d2d008d889c378915d616797f89b7c51 +EBUILD cgal-5.2.2-r1.ebuild 1696 BLAKE2B bc92a6f33cb9fdfa12adadf9205ef6861a3ad9bbd71e5e1b392aefe10a93c8857320df5e31d756eb99aeb8996d4769f16fda1bd29dc53df665cf6837fa5fded1 SHA512 d1023cc35bdff8ad375de67d844de5052c23ab581089ee1929b1483ab237b7d58d59717a6c2cc84cdf2f3ab0e5c0d5052af21462c749abaab7d115f077374c6c MISC metadata.xml 1634 BLAKE2B ba2ff5f0d8de8d6fcca925721de3cbb23e639318b3275af4615ac0804283c8026a4cf38b65e045b84caef6c72578f3f54ce61446b01e25a24b1e22b3cdfae043 SHA512 9ecc7ef06fcd39125e6a516f7e663637a2d86f35102b82b4699830bc3c3743e7839fce56b433b3eb505491f487473da2dfa08452c231780087e6a84805d833e1 diff --git a/sci-mathematics/cgal/cgal-5.2.2-r1.ebuild b/sci-mathematics/cgal/cgal-5.2.2-r1.ebuild new file mode 100644 index 000000000000..599cffa47c6b --- /dev/null +++ b/sci-mathematics/cgal/cgal-5.2.2-r1.ebuild @@ -0,0 +1,77 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit cmake + +MY_P=CGAL-${PV} +DESCRIPTION="C++ library for geometric algorithms and data structures" +HOMEPAGE="https://www.cgal.org/" +SRC_URI=" + https://github.com/CGAL/cgal/releases/download/v${PV}/${MY_P}.tar.xz + doc? ( https://github.com/CGAL/cgal/releases/download/v${PV}/${MY_P}-doc_html.tar.xz )" +S="${WORKDIR}/${MY_P}" + +LICENSE="LGPL-3 GPL-3 Boost-1.0" +SLOT="0/14" +KEYWORDS="~amd64 ~arm64 ~x86 ~amd64-linux ~x86-linux" +IUSE="doc examples +gmp mpfi ntl qt5 shared" + +RDEPEND=" + dev-cpp/eigen + dev-libs/boost:=[threads(+)] + dev-libs/mpfr:= + sys-libs/zlib + x11-libs/libX11:= + virtual/glu:= + virtual/opengl:= + gmp? ( dev-libs/gmp:=[cxx] ) + mpfi? ( sci-libs/mpfi ) + ntl? ( dev-libs/ntl ) + qt5? ( + dev-qt/qtcore:5 + dev-qt/qtgui:5 + dev-qt/qtopengl:5 + dev-qt/qtsvg:5 + dev-qt/qtwidgets:5 + ) +" +DEPEND="${RDEPEND}" +BDEPEND=" + app-arch/xz-utils + virtual/pkgconfig +" + +PATCHES=( "${FILESDIR}"/${PN}-4.11.1-fix-buildsystem.patch ) + +src_prepare() { + cmake_src_prepare + # modules provided by dev-cpp/eigen + rm cmake/modules/FindEigen3.cmake || die +} + +src_configure() { + local mycmakeargs=( + -DCGAL_INSTALL_LIB_DIR="$(get_libdir)" + -DCGAL_INSTALL_CMAKE_DIR="$(get_libdir)/cmake/CGAL" + -DCGAL_HEADER_ONLY=$(usex shared OFF ON) + -DWITH_LEDA=OFF + -DWITH_Eigen3=ON + -DWITH_ZLIB=ON + -DWITH_GMP=$(usex gmp) + -DWITH_GMPXX=$(usex gmp) + -DWITH_MPFI=$(usex mpfi) + -DWITH_NTL=$(usex ntl) + -DWITH_CGAL_Qt5=$(usex qt5) + ) + cmake_src_configure +} + +src_install() { + use doc && local HTML_DOCS=( "${WORKDIR}"/doc_html/. ) + cmake_src_install + if use examples; then + dodoc -r examples demo + fi +} diff --git a/sci-mathematics/cgal/cgal-5.2.2.ebuild b/sci-mathematics/cgal/cgal-5.2.2.ebuild deleted file mode 100644 index 10c47f98259c..000000000000 --- a/sci-mathematics/cgal/cgal-5.2.2.ebuild +++ /dev/null @@ -1,77 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit cmake - -MY_P=CGAL-${PV} -DESCRIPTION="C++ library for geometric algorithms and data structures" -HOMEPAGE="https://www.cgal.org/" -SRC_URI=" - https://github.com/CGAL/cgal/releases/download/v${PV}/${MY_P}.tar.xz - doc? ( https://github.com/CGAL/cgal/releases/download/v${PV}/${MY_P}-doc_html.tar.xz )" -S="${WORKDIR}/${MY_P}" - -LICENSE="LGPL-3 GPL-3 Boost-1.0" -SLOT="0/14" -KEYWORDS="~amd64 ~arm64 ~x86 ~amd64-linux ~x86-linux" -IUSE="doc examples +gmp mpfi ntl qt5 shared" - -RDEPEND=" - dev-cpp/eigen - dev-libs/boost:=[threads] - dev-libs/mpfr:= - sys-libs/zlib - x11-libs/libX11:= - virtual/glu:= - virtual/opengl:= - gmp? ( dev-libs/gmp:=[cxx] ) - mpfi? ( sci-libs/mpfi ) - ntl? ( dev-libs/ntl ) - qt5? ( - dev-qt/qtcore:5 - dev-qt/qtgui:5 - dev-qt/qtopengl:5 - dev-qt/qtsvg:5 - dev-qt/qtwidgets:5 - ) -" -DEPEND="${RDEPEND}" -BDEPEND=" - app-arch/xz-utils - virtual/pkgconfig -" - -PATCHES=( "${FILESDIR}"/${PN}-4.11.1-fix-buildsystem.patch ) - -src_prepare() { - cmake_src_prepare - # modules provided by dev-cpp/eigen - rm cmake/modules/FindEigen3.cmake || die -} - -src_configure() { - local mycmakeargs=( - -DCGAL_INSTALL_LIB_DIR="$(get_libdir)" - -DCGAL_INSTALL_CMAKE_DIR="$(get_libdir)/cmake/CGAL" - -DCGAL_HEADER_ONLY=$(usex shared OFF ON) - -DWITH_LEDA=OFF - -DWITH_Eigen3=ON - -DWITH_ZLIB=ON - -DWITH_GMP=$(usex gmp) - -DWITH_GMPXX=$(usex gmp) - -DWITH_MPFI=$(usex mpfi) - -DWITH_NTL=$(usex ntl) - -DWITH_CGAL_Qt5=$(usex qt5) - ) - cmake_src_configure -} - -src_install() { - use doc && local HTML_DOCS=( "${WORKDIR}"/doc_html/. ) - cmake_src_install - if use examples; then - dodoc -r examples demo - fi -} diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index 080df16d0c7f..d0c233f2064e 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -1,5 +1,7 @@ DIST z3-4.8.10.tar.gz 4731869 BLAKE2B 92487f71a0c8d961949dc23032d8fa3ff157fe7acc29b41d0d79326f8b59c60e19f43527cccf4e51872c0f0664598f9063876b04cc581f918aa48c37a13c4f3f SHA512 d2741d7ad3e1d5ee3fec92095b061a96a700c3327b2eb2090d4162bdcaeaebca8c072ef79c5daac1f6de3456165c2cc38e13f1045bc707779d1027b943837c5b DIST z3-4.8.11.tar.gz 4799940 BLAKE2B 5478f9f45f2dc8ea5d2b781e79d886e77eed5ae034498b434dae349aa76f05836d8fd3134a08b381830b57acb3896ac51337d5bbe480dcce4770f2cd4fbee841 SHA512 ceab703d0413d0135e0f4e6c3ba2bb58d6a4823385edb0bf7ecc96949a3073b687d415a2674c86c9f876adb52823f98f9fbbc107d799ed756dc16292f9864894 +DIST z3-4.8.11b.tar.gz 4801435 BLAKE2B 903a04246fe4dedc96fda653fa9e3a57a80b951d20b992306bd07bc778cf0a94cf36fe4ed3f178bb26196a1ca294834c784a117fe906d52b82f874a43869d110 SHA512 dfcfc85209dd00aa5f07de0a7e7186a33442b72b94b05c01f53350b9281551be2a2c21ad5e7814bc2c52a3329be8df578e6be8c387cbfdc3a9d3bef0611d6613 EBUILD z3-4.8.10-r1.ebuild 2428 BLAKE2B dbcf484ac1b804abc88bc0dc7405e2c161f1d80259d972d2327c7f837bec3bee355efaa0d689fe5f490d09c0a509a2ee4be7fb38588518ca3f5db92997449e31 SHA512 3a48335f2cbb5d94a24c80793c4651f244c71645a869ee494ec83600aaaa3824a8198d71a32fe3c14c8f2df80c5b76ac321f41f6e04b5c4aab05851db65bf37c EBUILD z3-4.8.11-r1.ebuild 2433 BLAKE2B 6289708b8c64f3aa62e98f659cc79bad7d9d189267e670d2543c45dc8b2fc60ee31b1a9950059f7a75ed2a470cf13d5a9dc5956259614985365de2aa6fd4418e SHA512 37db72f50f850d89bc9b540140d94d26a18358fda78afdd4cb95ba47b9ba3591c2afb50679acd722b776e8a9ff681688ab73899317d63d71c47687a8b8dd4d0e +EBUILD z3-4.8.11b.ebuild 2434 BLAKE2B b2e68066debfd8269a84a38f38b62bcb27dac57a2c208f4025ffc06d423cbd78cb123dbf714a0042563d82c01e4374fd46a3989d9e756ba1f3731769a5304c6c SHA512 75d5212ecb38f38da01d765d0ff3c806cf25b04cd8d1d5d9bbcdf6c141f2069e7e9b5dc18a9fc6f5637ef297a7ad219d9e1bb7588a1d64af614630342fbbe168 MISC metadata.xml 616 BLAKE2B c35cac6f5810148c69a612d6b04ed4cacdbf066e61951ea1433336f14b2b058c4dd50530b547021007489122f5e94407b30641dc9ccf3b59a345e7a09e5fdd28 SHA512 eaf72a29601e96d5312120a1fc01a0b3dd2b7d8dbee70f6052e8ff7a7e07ae8b768d1417b7f4b523e755e5569092f2685bba77beaf3d7c455ccbd057cc9b670a diff --git a/sci-mathematics/z3/z3-4.8.11b.ebuild b/sci-mathematics/z3/z3-4.8.11b.ebuild new file mode 100644 index 000000000000..985b483904f9 --- /dev/null +++ b/sci-mathematics/z3/z3-4.8.11b.ebuild @@ -0,0 +1,96 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +CMAKE_ECLASS=cmake +PYTHON_COMPAT=( python3_{8..10} ) + +inherit cmake-multilib python-single-r1 toolchain-funcs + +DESCRIPTION="An efficient theorem prover" +HOMEPAGE="https://github.com/Z3Prover/z3/" +SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz" +S=${WORKDIR}/z3-${P} + +SLOT="0/4.8" +LICENSE="MIT" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="doc examples gmp isabelle java python" +REQUIRED_USE="${PYTHON_REQUIRED_USE}" + +RDEPEND="${PYTHON_DEPS} + gmp? ( dev-libs/gmp:0=[cxx(+),${MULTILIB_USEDEP}] )" +DEPEND="${RDEPEND} + java? ( >=virtual/jdk-1.8 )" +BDEPEND=" + doc? ( app-doc/doxygen )" + +CMAKE_BUILD_TYPE=RelWithDebInfo + +multilib_src_configure() { + local mycmakeargs=( + -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${P}" + -DZ3_USE_LIB_GMP=$(usex gmp) + -DZ3_ENABLE_EXAMPLE_TARGETS=OFF + -DZ3_BUILD_DOCUMENTATION=$(multilib_native_usex doc) + -DZ3_BUILD_PYTHON_BINDINGS=$(multilib_native_usex python) + -DZ3_BUILD_JAVA_BINDINGS=$(multilib_native_usex java) + -DZ3_INCLUDE_GIT_DESCRIBE=OFF + -DZ3_INCLUDE_GIT_HASH=OFF + ) + + cmake_src_configure +} + +multilib_src_test() { + cmake_build test-z3 + set -- "${BUILD_DIR}"/test-z3 /a + echo "${@}" >&2 + "${@}" || die +} + +multilib_src_install_all() { + dodoc README.md RELEASE_NOTES + use examples && dodoc -r examples + use python && python_optimize + + if use isabelle; then + insinto /usr/share/Isabelle/contrib/${P}/etc + newins - settings <<-EOF + Z3_COMPONENT="\$COMPONENT" + Z3_HOME="${EPREFIX}/usr/bin" + Z3_SOLVER="${EPREFIX}/usr/bin/z3" + Z3_REMOTE_SOLVER="z3" + Z3_VERSION="${PV}" + Z3_INSTALLED="yes" + Z3_NON_COMMERCIAL="yes" + EOF + fi +} + +pkg_postinst() { + if use isabelle; then + if [[ -f ${ROOT}/etc/isabelle/components ]]; then + sed -e "/contrib\/${PN}-[0-9.]*/d" \ + -i "${ROOT}/etc/isabelle/components" || die + cat <<-EOF >> "${ROOT}/etc/isabelle/components" || die + contrib/${P} + EOF + fi + fi +} + +pkg_postrm() { + if use isabelle; then + if [[ ! ${REPLACING_VERSIONS} ]]; then + if [[ -f "${ROOT}/etc/isabelle/components" ]]; then + # Note: this sed should only match the version of this ebuild + # Which is what we want as we do not want to remove the line + # of a new Isabelle component being installed during an upgrade. + sed -e "/contrib\/${P}/d" \ + -i "${ROOT}/etc/isabelle/components" || die + fi + fi + fi +} -- cgit v1.2.3