From 9a754065ce56ab139449903367df82ccc14a7725 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Thu, 9 Mar 2023 00:01:06 +0000 Subject: gentoo auto-resync : 09:03:2023 - 00:01:06 --- sci-mathematics/Manifest.gz | Bin 18360 -> 18358 bytes sci-mathematics/cadabra/Manifest | 4 +- sci-mathematics/cadabra/cadabra-2.4.2.1-r1.ebuild | 104 ++++++++++++++++++++++ sci-mathematics/cadabra/cadabra-2.4.2.1.ebuild | 104 ---------------------- sci-mathematics/cadabra/cadabra-2.4.2.2-r1.ebuild | 104 ++++++++++++++++++++++ sci-mathematics/cadabra/cadabra-2.4.2.2.ebuild | 104 ---------------------- sci-mathematics/cubicle/Manifest | 2 +- sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild | 71 --------------- sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild | 71 +++++++++++++++ 9 files changed, 282 insertions(+), 282 deletions(-) create mode 100644 sci-mathematics/cadabra/cadabra-2.4.2.1-r1.ebuild delete mode 100644 sci-mathematics/cadabra/cadabra-2.4.2.1.ebuild create mode 100644 sci-mathematics/cadabra/cadabra-2.4.2.2-r1.ebuild delete mode 100644 sci-mathematics/cadabra/cadabra-2.4.2.2.ebuild delete mode 100644 sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild create mode 100644 sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild (limited to 'sci-mathematics') diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz index b11e129bbccb..bf5cc9f9f1a9 100644 Binary files a/sci-mathematics/Manifest.gz and b/sci-mathematics/Manifest.gz differ diff --git a/sci-mathematics/cadabra/Manifest b/sci-mathematics/cadabra/Manifest index 76951db4ea53..bb163aa67baa 100644 --- a/sci-mathematics/cadabra/Manifest +++ b/sci-mathematics/cadabra/Manifest @@ -2,7 +2,7 @@ AUX cadabra2-CMake.patch 3184 BLAKE2B afa702834d5eb82a8056307b419fc20bbc2d45b047 DIST cadabra-2.4.2.1.tar.gz 25154623 BLAKE2B 99c24728c80c5909df338b9214774123c2aac63e475138b5059c0c7824685827765d7906c17200ab3bad63e08b3637c7eb67b2f25bb3477eab4ca02fcbedbb56 SHA512 9dd280dfaca3cf1def268bca7884b0d00287bba5bfb7b80e8bdf4759f91c83117d146af2a24e05d2a8bdc8a5be412529a805713861a56a7186c35fe07ff8d0db DIST cadabra-2.4.2.2.tar.gz 25156757 BLAKE2B 05d4e490d1fa740b3dd505b72d5f4f298e62e234859e81b5bdf865e895ab820b3cd5d6db3ecda1cac0426b031cc5c87428d464bdb66b24cb9b945ababc860a90 SHA512 c5c55abad090d72f981341d94d3e299583f446a4bff1df994a60c740cede9e543b5cdee146dae2a846deec4adf446172e62b0f12deab8c89e7a085ffa7006acf DIST cadabra-2.4.3.2.tar.gz 25157173 BLAKE2B 895b91a01f5dedc87294903959ee3aca0234016fce0094f4288c07e2d265f90f834670b9c50dcfa059e46564c773f73f049cf65db74f49932e442d15d68ecd88 SHA512 21c76804442397fa3d5fa407fc74395fc800d01c2a5d84270e9cf3abd875c8ff96e2ba8f8349037797ff4ef3d2b9033c2a1a6af45bb75c3a201acdd7357adb6f -EBUILD cadabra-2.4.2.1.ebuild 2366 BLAKE2B 05d162fcc8f08085183d37779a34b7c584a5379371a516eb360806ba503f92435469ea1b404d7d67d1b191e41ac2aabe56bc4720a2f382774c33bc4a1972f7bc SHA512 900b29e7f7a105fd54980c1f628802797cd12fe016b5eab097ebe2d27deaa18c112306622c749ce5da46a283a6c5cbe126ba0fd1cb92b9a885f52a786f3c68d9 -EBUILD cadabra-2.4.2.2.ebuild 2366 BLAKE2B 05d162fcc8f08085183d37779a34b7c584a5379371a516eb360806ba503f92435469ea1b404d7d67d1b191e41ac2aabe56bc4720a2f382774c33bc4a1972f7bc SHA512 900b29e7f7a105fd54980c1f628802797cd12fe016b5eab097ebe2d27deaa18c112306622c749ce5da46a283a6c5cbe126ba0fd1cb92b9a885f52a786f3c68d9 +EBUILD cadabra-2.4.2.1-r1.ebuild 2366 BLAKE2B bb04d2b44dfa890cb72b67988aececd2317433c3b2f88e7e2a15078a647b097804076b48bdc5a6386ced66c4a875e9ab9c5d0a19d01f4655a5bc91ea4ceeff78 SHA512 a81b0bb03307ce1ef3b03772e183cd60a858e2aa04de7ad281d4fadddb7452b69dd5f2d248b2b5cd0a6e6cf67456e3eaa8c1a2bb54c6096200c5d19d104d67b1 +EBUILD cadabra-2.4.2.2-r1.ebuild 2366 BLAKE2B bb04d2b44dfa890cb72b67988aececd2317433c3b2f88e7e2a15078a647b097804076b48bdc5a6386ced66c4a875e9ab9c5d0a19d01f4655a5bc91ea4ceeff78 SHA512 a81b0bb03307ce1ef3b03772e183cd60a858e2aa04de7ad281d4fadddb7452b69dd5f2d248b2b5cd0a6e6cf67456e3eaa8c1a2bb54c6096200c5d19d104d67b1 EBUILD cadabra-2.4.3.2.ebuild 2365 BLAKE2B 2074e07f0b3f7b4d9186f843a10abfd647f36855bab1d3831a3f079912db36363cc4cb3ce8553fb63d9b2e5538d3274216843c93de2e9d90e1a609d49b415e7f SHA512 0b27c49db0d95481f091833886ddf7ffb876f29f4065a9a821fd1207b1c612d80de92ebd929ffd71385409099a6c3d1d9369fb457e6a51e4ca3b34a6d9cdb4ec MISC metadata.xml 1342 BLAKE2B 2f34aae73fc01d4b8fd4326505b7b0785663c62593641d1d0a01f64adc12cbc8676271612ce91258927ac22957a8d5aba53dd2627130582c744bc32c28e0e207 SHA512 41dffbcfae16f8f0702df5a1837b225100761d48817a2d70fa03aca6246b9d3184d60989cf265282286b02a77a126ac82695c2d74c6de91da45e8f64fcb91811 diff --git a/sci-mathematics/cadabra/cadabra-2.4.2.1-r1.ebuild b/sci-mathematics/cadabra/cadabra-2.4.2.1-r1.ebuild new file mode 100644 index 000000000000..729dbdb870fa --- /dev/null +++ b/sci-mathematics/cadabra/cadabra-2.4.2.1-r1.ebuild @@ -0,0 +1,104 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +MAJOR=$(ver_cut 1) +CADABRA=${PN}${MAJOR} + +PYTHON_COMPAT=( python3_{9..11} ) + +inherit xdg-utils python-single-r1 cmake + +DESCRIPTION="Field-theory motivated approach to computer algebra" +HOMEPAGE="https://cadabra.science/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + EGIT_REPO_URI="https://github.com/kpeeters/${CADABRA}.git" +else + SRC_URI="https://github.com/kpeeters/${CADABRA}/archive/${PV}.tar.gz + -> ${P}.tar.gz" + S="${WORKDIR}"/${CADABRA}-${PV} + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="GPL-3" +SLOT="0/${MAJOR}" +IUSE="gtk +jupyter test" +REQUIRED_USE="${PYTHON_REQUIRED_USE}" +RESTRICT="!test? ( test )" + +RDEPEND=" + ${PYTHON_DEPS} + app-text/dvipng + dev-cpp/glibmm:2 + dev-db/sqlite:3= + dev-libs/boost:= + dev-libs/gmp:=[cxx] + dev-libs/jsoncpp:= + dev-libs/libsigc++:2 + dev-texlive/texlive-basic + $(python_gen_cond_dep ' + dev-python/gmpy:2[${PYTHON_USEDEP}] + dev-python/matplotlib[${PYTHON_USEDEP}] + dev-python/sympy[${PYTHON_USEDEP}] + jupyter? ( dev-python/jupyter[${PYTHON_USEDEP}] ) + ') + gtk? ( dev-cpp/gtkmm:3.0 ) +" +DEPEND="${RDEPEND}" +BDEPEND="$(python_gen_cond_dep 'dev-python/pybind11[${PYTHON_USEDEP}]')" + +PATCHES=( "${FILESDIR}"/${CADABRA}-CMake.patch ) + +DOCS=( CODE_OF_CONDUCT.md CONTRIBUTING.md JUPYTER.rst README.rst ) + +# Because we do not want to pull in "_XDG_DEPEND" dependencies with USE="-gtk" +xdg_update() { + if use gtk ; then + xdg_icon_cache_update + xdg_desktop_database_update + xdg_mimeinfo_database_update + fi +} + +src_prepare() { + # Clean postinst script which calls libtool and icon-cache update + echo '#!/bin/sh' > "${S}"/config/postinst.in || die + + # Fix "PYTHON_EXECUTABLE" in Jupyter kernel + sed -i "s|@PYTHON_EXECUTABLE@|${EPYTHON}|" \ + "${S}"/jupyterkernel/kernelspec/kernel.json.in || die + + cmake_src_prepare +} + +src_configure() { + local mycmakeargs=( + -DENABLE_SYSTEM_JSONCPP=ON + -DPACKAGING_MODE=ON + -DUSE_PYTHON_3=ON + -DBUILD_AS_CPP_LIBRARY=OFF + -DENABLE_JUPYTER=OFF # special Xeus Jupyter kernel (uses xtl) + -DENABLE_MATHEMATICA=OFF + -DINSTALL_TARGETS_ONLY=OFF + -DBUILD_TESTS=$(usex test) + -DENABLE_FRONTEND=$(usex gtk) + -DENABLE_PY_JUPYTER=$(usex jupyter) + ) + cmake_src_configure +} + +src_install() { + cmake_src_install + python_optimize +} + +pkg_postinst() { + xdg_update +} + +pkg_postrm() { + xdg_update +} diff --git a/sci-mathematics/cadabra/cadabra-2.4.2.1.ebuild b/sci-mathematics/cadabra/cadabra-2.4.2.1.ebuild deleted file mode 100644 index 85095564544c..000000000000 --- a/sci-mathematics/cadabra/cadabra-2.4.2.1.ebuild +++ /dev/null @@ -1,104 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -MAJOR=$(ver_cut 1) -CADABRA=${PN}${MAJOR} - -PYTHON_COMPAT=( python3_{9..10} ) - -inherit xdg-utils python-single-r1 cmake - -DESCRIPTION="Field-theory motivated approach to computer algebra" -HOMEPAGE="https://cadabra.science/" - -if [[ "${PV}" == *9999* ]] ; then - inherit git-r3 - EGIT_REPO_URI="https://github.com/kpeeters/${CADABRA}.git" -else - SRC_URI="https://github.com/kpeeters/${CADABRA}/archive/${PV}.tar.gz - -> ${P}.tar.gz" - S="${WORKDIR}"/${CADABRA}-${PV} - KEYWORDS="~amd64 ~x86" -fi - -LICENSE="GPL-3" -SLOT="0/${MAJOR}" -IUSE="gtk +jupyter test" -REQUIRED_USE="${PYTHON_REQUIRED_USE}" -RESTRICT="!test? ( test )" - -RDEPEND=" - ${PYTHON_DEPS} - app-text/dvipng - dev-cpp/glibmm:2 - dev-db/sqlite:3= - dev-libs/boost:= - dev-libs/gmp:=[cxx] - dev-libs/jsoncpp:= - dev-libs/libsigc++:2 - dev-texlive/texlive-basic - $(python_gen_cond_dep ' - dev-python/gmpy:2[${PYTHON_USEDEP}] - dev-python/matplotlib[${PYTHON_USEDEP}] - dev-python/sympy[${PYTHON_USEDEP}] - jupyter? ( dev-python/jupyter[${PYTHON_USEDEP}] ) - ') - gtk? ( dev-cpp/gtkmm:3.0 ) -" -DEPEND="${RDEPEND}" -BDEPEND="$(python_gen_cond_dep 'dev-python/pybind11[${PYTHON_USEDEP}]')" - -PATCHES=( "${FILESDIR}"/${CADABRA}-CMake.patch ) - -DOCS=( CODE_OF_CONDUCT.md CONTRIBUTING.md JUPYTER.rst README.rst ) - -# Because we do not want to pull in "_XDG_DEPEND" dependencies with USE="-gtk" -xdg_update() { - if use gtk ; then - xdg_icon_cache_update - xdg_desktop_database_update - xdg_mimeinfo_database_update - fi -} - -src_prepare() { - # Clean postinst script which calls libtool and icon-cache update - echo '#!/bin/sh' > "${S}"/config/postinst.in || die - - # Fix "PYTHON_EXECUTABLE" in Jupyter kernel - sed -i "s|@PYTHON_EXECUTABLE@|${EPYTHON}|" \ - "${S}"/jupyterkernel/kernelspec/kernel.json.in || die - - cmake_src_prepare -} - -src_configure() { - local mycmakeargs=( - -DENABLE_SYSTEM_JSONCPP=ON - -DPACKAGING_MODE=ON - -DUSE_PYTHON_3=ON - -DBUILD_AS_CPP_LIBRARY=OFF - -DENABLE_JUPYTER=OFF # special Xeus Jupyter kernel (uses xtl) - -DENABLE_MATHEMATICA=OFF - -DINSTALL_TARGETS_ONLY=OFF - -DBUILD_TESTS=$(usex test) - -DENABLE_FRONTEND=$(usex gtk) - -DENABLE_PY_JUPYTER=$(usex jupyter) - ) - cmake_src_configure -} - -src_install() { - cmake_src_install - python_optimize -} - -pkg_postinst() { - xdg_update -} - -pkg_postrm() { - xdg_update -} diff --git a/sci-mathematics/cadabra/cadabra-2.4.2.2-r1.ebuild b/sci-mathematics/cadabra/cadabra-2.4.2.2-r1.ebuild new file mode 100644 index 000000000000..729dbdb870fa --- /dev/null +++ b/sci-mathematics/cadabra/cadabra-2.4.2.2-r1.ebuild @@ -0,0 +1,104 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +MAJOR=$(ver_cut 1) +CADABRA=${PN}${MAJOR} + +PYTHON_COMPAT=( python3_{9..11} ) + +inherit xdg-utils python-single-r1 cmake + +DESCRIPTION="Field-theory motivated approach to computer algebra" +HOMEPAGE="https://cadabra.science/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + EGIT_REPO_URI="https://github.com/kpeeters/${CADABRA}.git" +else + SRC_URI="https://github.com/kpeeters/${CADABRA}/archive/${PV}.tar.gz + -> ${P}.tar.gz" + S="${WORKDIR}"/${CADABRA}-${PV} + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="GPL-3" +SLOT="0/${MAJOR}" +IUSE="gtk +jupyter test" +REQUIRED_USE="${PYTHON_REQUIRED_USE}" +RESTRICT="!test? ( test )" + +RDEPEND=" + ${PYTHON_DEPS} + app-text/dvipng + dev-cpp/glibmm:2 + dev-db/sqlite:3= + dev-libs/boost:= + dev-libs/gmp:=[cxx] + dev-libs/jsoncpp:= + dev-libs/libsigc++:2 + dev-texlive/texlive-basic + $(python_gen_cond_dep ' + dev-python/gmpy:2[${PYTHON_USEDEP}] + dev-python/matplotlib[${PYTHON_USEDEP}] + dev-python/sympy[${PYTHON_USEDEP}] + jupyter? ( dev-python/jupyter[${PYTHON_USEDEP}] ) + ') + gtk? ( dev-cpp/gtkmm:3.0 ) +" +DEPEND="${RDEPEND}" +BDEPEND="$(python_gen_cond_dep 'dev-python/pybind11[${PYTHON_USEDEP}]')" + +PATCHES=( "${FILESDIR}"/${CADABRA}-CMake.patch ) + +DOCS=( CODE_OF_CONDUCT.md CONTRIBUTING.md JUPYTER.rst README.rst ) + +# Because we do not want to pull in "_XDG_DEPEND" dependencies with USE="-gtk" +xdg_update() { + if use gtk ; then + xdg_icon_cache_update + xdg_desktop_database_update + xdg_mimeinfo_database_update + fi +} + +src_prepare() { + # Clean postinst script which calls libtool and icon-cache update + echo '#!/bin/sh' > "${S}"/config/postinst.in || die + + # Fix "PYTHON_EXECUTABLE" in Jupyter kernel + sed -i "s|@PYTHON_EXECUTABLE@|${EPYTHON}|" \ + "${S}"/jupyterkernel/kernelspec/kernel.json.in || die + + cmake_src_prepare +} + +src_configure() { + local mycmakeargs=( + -DENABLE_SYSTEM_JSONCPP=ON + -DPACKAGING_MODE=ON + -DUSE_PYTHON_3=ON + -DBUILD_AS_CPP_LIBRARY=OFF + -DENABLE_JUPYTER=OFF # special Xeus Jupyter kernel (uses xtl) + -DENABLE_MATHEMATICA=OFF + -DINSTALL_TARGETS_ONLY=OFF + -DBUILD_TESTS=$(usex test) + -DENABLE_FRONTEND=$(usex gtk) + -DENABLE_PY_JUPYTER=$(usex jupyter) + ) + cmake_src_configure +} + +src_install() { + cmake_src_install + python_optimize +} + +pkg_postinst() { + xdg_update +} + +pkg_postrm() { + xdg_update +} diff --git a/sci-mathematics/cadabra/cadabra-2.4.2.2.ebuild b/sci-mathematics/cadabra/cadabra-2.4.2.2.ebuild deleted file mode 100644 index 85095564544c..000000000000 --- a/sci-mathematics/cadabra/cadabra-2.4.2.2.ebuild +++ /dev/null @@ -1,104 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -MAJOR=$(ver_cut 1) -CADABRA=${PN}${MAJOR} - -PYTHON_COMPAT=( python3_{9..10} ) - -inherit xdg-utils python-single-r1 cmake - -DESCRIPTION="Field-theory motivated approach to computer algebra" -HOMEPAGE="https://cadabra.science/" - -if [[ "${PV}" == *9999* ]] ; then - inherit git-r3 - EGIT_REPO_URI="https://github.com/kpeeters/${CADABRA}.git" -else - SRC_URI="https://github.com/kpeeters/${CADABRA}/archive/${PV}.tar.gz - -> ${P}.tar.gz" - S="${WORKDIR}"/${CADABRA}-${PV} - KEYWORDS="~amd64 ~x86" -fi - -LICENSE="GPL-3" -SLOT="0/${MAJOR}" -IUSE="gtk +jupyter test" -REQUIRED_USE="${PYTHON_REQUIRED_USE}" -RESTRICT="!test? ( test )" - -RDEPEND=" - ${PYTHON_DEPS} - app-text/dvipng - dev-cpp/glibmm:2 - dev-db/sqlite:3= - dev-libs/boost:= - dev-libs/gmp:=[cxx] - dev-libs/jsoncpp:= - dev-libs/libsigc++:2 - dev-texlive/texlive-basic - $(python_gen_cond_dep ' - dev-python/gmpy:2[${PYTHON_USEDEP}] - dev-python/matplotlib[${PYTHON_USEDEP}] - dev-python/sympy[${PYTHON_USEDEP}] - jupyter? ( dev-python/jupyter[${PYTHON_USEDEP}] ) - ') - gtk? ( dev-cpp/gtkmm:3.0 ) -" -DEPEND="${RDEPEND}" -BDEPEND="$(python_gen_cond_dep 'dev-python/pybind11[${PYTHON_USEDEP}]')" - -PATCHES=( "${FILESDIR}"/${CADABRA}-CMake.patch ) - -DOCS=( CODE_OF_CONDUCT.md CONTRIBUTING.md JUPYTER.rst README.rst ) - -# Because we do not want to pull in "_XDG_DEPEND" dependencies with USE="-gtk" -xdg_update() { - if use gtk ; then - xdg_icon_cache_update - xdg_desktop_database_update - xdg_mimeinfo_database_update - fi -} - -src_prepare() { - # Clean postinst script which calls libtool and icon-cache update - echo '#!/bin/sh' > "${S}"/config/postinst.in || die - - # Fix "PYTHON_EXECUTABLE" in Jupyter kernel - sed -i "s|@PYTHON_EXECUTABLE@|${EPYTHON}|" \ - "${S}"/jupyterkernel/kernelspec/kernel.json.in || die - - cmake_src_prepare -} - -src_configure() { - local mycmakeargs=( - -DENABLE_SYSTEM_JSONCPP=ON - -DPACKAGING_MODE=ON - -DUSE_PYTHON_3=ON - -DBUILD_AS_CPP_LIBRARY=OFF - -DENABLE_JUPYTER=OFF # special Xeus Jupyter kernel (uses xtl) - -DENABLE_MATHEMATICA=OFF - -DINSTALL_TARGETS_ONLY=OFF - -DBUILD_TESTS=$(usex test) - -DENABLE_FRONTEND=$(usex gtk) - -DENABLE_PY_JUPYTER=$(usex jupyter) - ) - cmake_src_configure -} - -src_install() { - cmake_src_install - python_optimize -} - -pkg_postinst() { - xdg_update -} - -pkg_postrm() { - xdg_update -} diff --git a/sci-mathematics/cubicle/Manifest b/sci-mathematics/cubicle/Manifest index aa9a2c6b901b..33678f503d2e 100644 --- a/sci-mathematics/cubicle/Manifest +++ b/sci-mathematics/cubicle/Manifest @@ -1,4 +1,4 @@ AUX 50cubicle-gentoo.el 185 BLAKE2B 76ef002c52bd0d6ef8ce5474e5cf9032cffe861d273a88176c3a8eae17f6176896bc1a4cb099d1f793b63f1ad3e0b7fb6d4b066317f160a0a4fd586e0a61ec64 SHA512 c9a93fec3f1f12cbe326940a79dfe950b56c82e7bdd24a6bf5923d1c4fe6245b8fec4c399f3e60c16cc4757f290f9cbeab606a20b5844f4228a4f29b0ed669f4 DIST cubicle-1.2.0.tar.gz 866004 BLAKE2B 4fd944acb394165396344b7a9d4b29ffcb7b61571e1ac9cb90aacf1a5ddb0521d399f301a51af6b37461e5a47244fb095ad69ab0041440c240257522ba4de4a7 SHA512 e2815b4b7b4feda30df91eabebae741d14a2c822f5efea972676bc7a941454ea368e9dc003f754c2edb1c6b1db5a5c86a354b3612c2d47a9095f8fc348dfb692 -EBUILD cubicle-1.2.0-r1.ebuild 1332 BLAKE2B 7dbbb9ed042dd4ecabb00ee3ccc050e39174b01e7131f90b6bbd5dde249299071e30eee3f2cfd5576f8504b7a3f27ab1430428935b4012e0da69c8cbc67409b7 SHA512 a9018679ffa0b2481fd3629518317e8ceab2494d66d1688e1a95ff41b73964a62f17b4d2c6e2ad17e130c09e93b84bb1d23f360e5eebdb8f6f87f154a4069f9d +EBUILD cubicle-1.2.0-r2.ebuild 1322 BLAKE2B 7136d0adc33943f7ea5f5f5579988fe853b6060e2f495352aabc589ee51a01ed64cb7b7b70ebb153361462b5d98928e068967e83e2b3844f10e853d0dabe407c SHA512 a4947250719ef0e0428b4862ca2b47b8f50e6940988efd0c866885e83207ccb1d969c34a99dc5160917ed41fe61ff5f777e8ad9effad5c7ff90d546c5a9d7829 MISC metadata.xml 1503 BLAKE2B d67f3f6524234cf3be4b0118aced6f4e3424a25754d91b13eb5c8250aedb6a57a6f7faabe6539875953874f48b2d8349fe3adfe431b72675fdd6723cb9ff3c52 SHA512 96540a56c6ef839924fa93f49e4ffdeb8a5eb3b83ef43bd62ccbed72dfa522f1b0acad4132650f67387915af5be8fe432fd6d01f8c9a76271c53f7f3a33f476d diff --git a/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild b/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild deleted file mode 100644 index 8159f9f60a4a..000000000000 --- a/sci-mathematics/cubicle/cubicle-1.2.0-r1.ebuild +++ /dev/null @@ -1,71 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -inherit autotools elisp-common - -DESCRIPTION="Model checker for verifying properties of array-based systems" -HOMEPAGE="https://cubicle.lri.fr/ - https://github.com/cubicle-model-checker/cubicle/" -SRC_URI="https://github.com/cubicle-model-checker/${PN}/archive/${PV}.tar.gz - -> ${P}.tar.gz" - -LICENSE="Apache-2.0" -SLOT="0/${PV}" -KEYWORDS="~amd64 ~x86" -IUSE="emacs examples ocamlopt" - -RDEPEND=" - >=dev-lang/ocaml-4.09.0:=[ocamlopt=] - dev-ml/num:= - emacs? ( >=app-editors/emacs-23.1:* ) -" -DEPEND="${RDEPEND}" -BDEPEND=" - dev-ml/findlib - sys-apps/gawk -" - -SITEFILE="50${PN}-gentoo.el" - -src_prepare() { - default - eautoreconf - - # Makefile checks if "configure.in" exists, - # it is needed by the ".depend" target. - ln -s configure.ac configure.in || die -} - -src_configure() { - econf --without-z3 # Needs Z3 Ocaml bindings, not yet packaged. -} - -src_compile() { - default - - if use emacs ; then - elisp-compile emacs/*.el - fi -} - -src_install() { - default - - doman doc/${PN}.1 - - if use emacs ; then - elisp-install ${PN} emacs/*.el{,c} - elisp-site-file-install "${FILESDIR}/${SITEFILE}" - fi - use examples && dodoc -r examples -} - -pkg_postinst() { - use emacs && elisp-site-regen -} - -pkg_postrm() { - use emacs && elisp-site-regen -} diff --git a/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild new file mode 100644 index 000000000000..756eb6aab056 --- /dev/null +++ b/sci-mathematics/cubicle/cubicle-1.2.0-r2.ebuild @@ -0,0 +1,71 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit autotools elisp-common + +DESCRIPTION="Model checker for verifying properties of array-based systems" +HOMEPAGE="https://cubicle.lri.fr/ + https://github.com/cubicle-model-checker/cubicle/" +SRC_URI="https://github.com/cubicle-model-checker/${PN}/archive/${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="emacs examples" + +RDEPEND=" + >=dev-lang/ocaml-4.09.0:=[ocamlopt] + dev-ml/num:= + emacs? ( >=app-editors/emacs-23.1:* ) +" +DEPEND="${RDEPEND}" +BDEPEND=" + dev-ml/findlib + sys-apps/gawk +" + +SITEFILE="50${PN}-gentoo.el" + +src_prepare() { + default + eautoreconf + + # Makefile checks if "configure.in" exists, + # it is needed by the ".depend" target. + ln -s configure.ac configure.in || die +} + +src_configure() { + econf --without-z3 # Needs Z3 Ocaml bindings, not yet packaged. +} + +src_compile() { + default + + if use emacs ; then + elisp-compile emacs/*.el + fi +} + +src_install() { + default + + doman doc/${PN}.1 + + if use emacs ; then + elisp-install ${PN} emacs/*.el{,c} + elisp-site-file-install "${FILESDIR}/${SITEFILE}" + fi + use examples && dodoc -r examples +} + +pkg_postinst() { + use emacs && elisp-site-regen +} + +pkg_postrm() { + use emacs && elisp-site-regen +} -- cgit v1.2.3