From 6e8f2ebdce568f2c6c7870edbb9db5324a0e300f Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Thu, 27 Oct 2022 03:56:50 +0100 Subject: gentoo auto-resync : 27:10:2022 - 03:56:50 --- sci-mathematics/Manifest.gz | Bin 16189 -> 16189 bytes sci-mathematics/cadabra/Manifest | 2 + sci-mathematics/cadabra/cadabra-2.4.2.ebuild | 104 +++++++++++++++++++++ sci-mathematics/coq-serapi/Manifest | 2 +- .../coq-serapi/coq-serapi-0.16.0-r1.ebuild | 66 +++++++++++++ .../coq-serapi/coq-serapi-0.16.0.ebuild | 67 ------------- 6 files changed, 173 insertions(+), 68 deletions(-) create mode 100644 sci-mathematics/cadabra/cadabra-2.4.2.ebuild create mode 100644 sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild delete mode 100644 sci-mathematics/coq-serapi/coq-serapi-0.16.0.ebuild (limited to 'sci-mathematics') diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz index 4a2c79ecdead..be76f598b09c 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 28e8b3f0e589..1bc9616d95e5 100644 --- a/sci-mathematics/cadabra/Manifest +++ b/sci-mathematics/cadabra/Manifest @@ -1,6 +1,8 @@ AUX cadabra2-CMake.patch 3184 BLAKE2B afa702834d5eb82a8056307b419fc20bbc2d45b0474994328b70fee383dff415ea37ef2e70c83e9cb7776e06f9295cf5cb9afddddaf857227f7a72f362b61726 SHA512 ddd6b451f81e465d4fef9401340808922bcb1074895173d83d699614e0c967024863848fabdd207f7124ff6396e8c2c75d2ed1425ba73d7bb6d5ac6fe56a87f1 DIST cadabra-2.3.9.3.tar.gz 24685603 BLAKE2B eb76f65898be499eb5abbbaf8ac478a056ffe5801bcf7124be60d1b034f4e88e9999d76354f03e7a2de9b7f7561a32e82699c882be135fb5966614da37526933 SHA512 9a5cdc6a7d824350ef3929c9f21647588891c1376103a57d231c2f5160971e3373b0efb9e050c574ebd51921a3f7d9f230f533a88a44e0dd8e645bf2395a95fe DIST cadabra-2.4.0.2.tar.gz 24688084 BLAKE2B 4bc1e00ab87bbdc43dae261e1948b41a6372f90ad394e5208b65b993210ff42e84ed098ad4fcf6d056fc42947b75f970f18a92b67859fd69c8ea3cc18ffb2e9a SHA512 2545f7ba3238944902b413bfbed91d87594d87afe99d1fb61061115b354a6fa29ffb7b71017d790e54080da33aa905d0f9afe0546fb1397144fe7b135e906274 +DIST cadabra-2.4.2.tar.gz 25145250 BLAKE2B d6824f4819922cd1c37af6a393123ac7398d0adb5c551e278ca983cc7ec51c9fb1f5319ddbef74165cfe8743a8138f4cf2d011065ca90e300c103ad53daabef2 SHA512 a5b2ee3eee6911440eeb85dd720cc72eca21a889a409bb0a360ac674f926dc82b3d30f5fca4d46528216c6a3ad7c164a576435e0647ce2eddf187ba840dd59db EBUILD cadabra-2.3.9.3.ebuild 2339 BLAKE2B 9f37b9ff707ff93a4ffe6560a8e82eda1b0e776f235983b2d9f968a42361f575f5a9f50a20f9a17fc113c1763002abec4fdec091d54491066f0d5cd4ec4e9379 SHA512 dd5577c563207ccb7d903cd1b64b51518c1e665772d1f8f6ab15e2ddf22b51013936d349a07284d775c861c542b99b5caaf7ef0b3ab0b1bf4c1269996fa1ce80 EBUILD cadabra-2.4.0.2.ebuild 2366 BLAKE2B c9422fb15e1f2893e314203e638adba06322fefe27cc64b836eb019b61d3a8b6b0d6507c0bb727690beecc5108bde9278e14f3508c4b461203600f6510ab2d38 SHA512 0269554029c028cb97d6bcbd9d8cb65e45d178fe57b7d69ac0ec0b7ac91b472e6c782c7d661a0196e156f7c61c7015053c02fe5578f309090491931915c62f2d +EBUILD cadabra-2.4.2.ebuild 2366 BLAKE2B c9422fb15e1f2893e314203e638adba06322fefe27cc64b836eb019b61d3a8b6b0d6507c0bb727690beecc5108bde9278e14f3508c4b461203600f6510ab2d38 SHA512 0269554029c028cb97d6bcbd9d8cb65e45d178fe57b7d69ac0ec0b7ac91b472e6c782c7d661a0196e156f7c61c7015053c02fe5578f309090491931915c62f2d MISC metadata.xml 1342 BLAKE2B 2f34aae73fc01d4b8fd4326505b7b0785663c62593641d1d0a01f64adc12cbc8676271612ce91258927ac22957a8d5aba53dd2627130582c744bc32c28e0e207 SHA512 41dffbcfae16f8f0702df5a1837b225100761d48817a2d70fa03aca6246b9d3184d60989cf265282286b02a77a126ac82695c2d74c6de91da45e8f64fcb91811 diff --git a/sci-mathematics/cadabra/cadabra-2.4.2.ebuild b/sci-mathematics/cadabra/cadabra-2.4.2.ebuild new file mode 100644 index 000000000000..c3b86c9b872e --- /dev/null +++ b/sci-mathematics/cadabra/cadabra-2.4.2.ebuild @@ -0,0 +1,104 @@ +# Copyright 1999-2022 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_{8..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/coq-serapi/Manifest b/sci-mathematics/coq-serapi/Manifest index 58995fd4f584..c1834f69ea6a 100644 --- a/sci-mathematics/coq-serapi/Manifest +++ b/sci-mathematics/coq-serapi/Manifest @@ -3,5 +3,5 @@ AUX coq-serapi-sertop.el-path.patch 319 BLAKE2B 272eca8af934e10e978d149f90ee702f DIST coq-serapi-0.15.0.tar.gz 268083 BLAKE2B aeea2cb8ed0f648f307715c464f2da90585718aa8afedf69b4e1c282265a12a3937044397787404e43286cebaaf1f48efde93d845cd71c1c97cc1b2e9a2a8835 SHA512 3ba1b63002d36a4c0e64f86170d31c4131dc02e8cb8573b39f03ed44d1e5f29c064c472bebad367b875b02e36ced6bfe8c5fb2023bd798b3b79f74a5a2f54189 DIST coq-serapi-0.16.0.tar.gz 270647 BLAKE2B 8189e70bfa4208a613ec7a89d6fc72c15a9c1c29ed49cd53a561b72b4b9e55196bcb92d5e962309d8843036c30ec177588e2db7dd091443947b02e78f2df1880 SHA512 56cc74e9d2b1e13c7ffb94b32e206671ac904f6d7e633c830175eed6f7cb75a2b212be916316784dc7d697c6e5779e27ed402d5e7edbee8b7d84d2c533dc38c3 EBUILD coq-serapi-0.15.0-r3.ebuild 1431 BLAKE2B 56b745512274a5a7ddd28c717a686632798a2d9cac5ef1c02eb1bf72e4426ff660ad0925951781b07d278568ff8d9c4af94329629039b05678f2372bf59a2861 SHA512 4959a6e5187b01c7fe1cfaaf0576439cacb04817b2ccb2f4724739360849800c7d5f2aac98380ca63e4e9ebea8fd316c0715b18f91015270bb6616914f821753 -EBUILD coq-serapi-0.16.0.ebuild 1492 BLAKE2B 0d0967c554d1b9fbd37f98d87b2e7d34c90996ec12acf9e675bad538344979373c741c6a80df47bf65cc0ba9c40ae4be9d4f5ea17e52264e200b14a6f8466901 SHA512 d904ce6d5c6ce1ffe3ac4ccf51b6910e8458584e20364dd0331d8097fae2682dee93333f1b94ed7e432b31f3fee2aa756ebca5ca6c9f5442f3042b81dfb09361 +EBUILD coq-serapi-0.16.0-r1.ebuild 1472 BLAKE2B 5c0465c49866d234a30137572b01d55a43e9284f20487922e20341821095dcd144b377f7ec06f4d51395c23bd15f6d86bc022581fff14dabf0fdc20be136be95 SHA512 438a5770a640de6ae277f780ee5794509c031eacc637a5461d8cdf95d9403d47ecaaccc20aa6e09dc0a2b55f3163eb8445a3189235de0e09f04bfd7b27e10242 MISC metadata.xml 935 BLAKE2B e1444df414ce499df466597f5e0949e8ebf2d6da23d77028546324109659f58c5f0284a315ea062410a2f2e4631aac8d3564664719e89d76ad6ded9bb8ba7a5f SHA512 172fedbb2aa42e2be9aff426d64fcd69d2dfa206bb0e6072c6ecdc14a1923a2f0676303d8d8aebfe9a3e96e0a1e89185d2d4952bdb9ba1fff44b3891f26d6bf7 diff --git a/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild b/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild new file mode 100644 index 000000000000..fed96a12b2dc --- /dev/null +++ b/sci-mathematics/coq-serapi/coq-serapi-0.16.0-r1.ebuild @@ -0,0 +1,66 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +COQV=8.16.0 + +inherit elisp-common dune + +DESCRIPTION="Serialization library and protocol for interaction with the Coq proof assistant" +HOMEPAGE="https://github.com/ejgallego/coq-serapi/" +# The tarball in SRC_URI is comprised of + +SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz + -> ${P}.tar.gz" +S="${WORKDIR}"/${PN}-${COQV}-${PV} + +LICENSE="GPL-3+" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="emacs +ocamlopt test" +RESTRICT="!test? ( test )" + +RDEPEND=" + >=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:= + -SRC_URI="https://github.com/ejgallego/${PN}/archive/${COQV}+${PV}.tar.gz - -> ${P}.tar.gz" -S="${WORKDIR}"/${PN}-${COQV}-${PV} - -LICENSE="GPL-3+" -SLOT="0/${PV}" -KEYWORDS="~amd64" -IUSE="emacs +ocamlopt test" -RESTRICT="!test? ( test )" - -RDEPEND=" - >=sci-mathematics/coq-${COQV}:= =dev-ml/ppx_sexp_conv-0.13.0:= =dev-ml/seq-0.3:= - dev-ml/cmdliner:= - dev-ml/ppx_compare:= - dev-ml/ppx_deriving:= - dev-ml/ppx_deriving_yojson:= - dev-ml/ppx_hash:= - dev-ml/ppx_import:= - dev-ml/sexplib:= - dev-ml/yojson:= -" -DEPEND="${RDEPEND}" -BDEPEND=" - emacs? ( >=app-editors/emacs-23.1:* ) - test? ( sci-mathematics/coq-mathcomp ) -" - -PATCHES=( "${FILESDIR}"/${PN}-sertop.el-path.patch ) -SITEFILE="50sertop-gentoo.el" - -src_compile() { - dune_src_compile - - use emacs && elisp-compile sertop.el -} - -src_install() { - dune_src_install - - rm -r "${D}"/usr/share/emacs || die - if use emacs ; then - elisp-install ${PN} sertop.el{,c} - elisp-site-file-install "${FILESDIR}/${SITEFILE}" - fi -} - -pkg_postinst() { - use emacs && elisp-site-regen -} - -pkg_postrm() { - use emacs && elisp-site-regen -} -- cgit v1.2.3