From 0485fd7e57de60b61c04825f986bb3400bcf7116 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Wed, 14 Feb 2024 17:36:29 +0000 Subject: gentoo auto-resync : 14:02:2024 - 17:36:28 --- sci-mathematics/Manifest.gz | Bin 19143 -> 19145 bytes sci-mathematics/prover9/Manifest | 2 +- sci-mathematics/prover9/prover9-2009.11a-r1.ebuild | 124 ++++++++++++++++++++ sci-mathematics/prover9/prover9-2009.11a.ebuild | 126 --------------------- sci-mathematics/wxmaxima/Manifest | 4 +- sci-mathematics/wxmaxima/wxmaxima-24.02.0.ebuild | 78 ------------- sci-mathematics/wxmaxima/wxmaxima-24.02.1.ebuild | 78 +++++++++++++ 7 files changed, 205 insertions(+), 207 deletions(-) create mode 100644 sci-mathematics/prover9/prover9-2009.11a-r1.ebuild delete mode 100644 sci-mathematics/prover9/prover9-2009.11a.ebuild delete mode 100644 sci-mathematics/wxmaxima/wxmaxima-24.02.0.ebuild create mode 100644 sci-mathematics/wxmaxima/wxmaxima-24.02.1.ebuild (limited to 'sci-mathematics') diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz index db81125aef16..17016c5bdd4a 100644 Binary files a/sci-mathematics/Manifest.gz and b/sci-mathematics/Manifest.gz differ diff --git a/sci-mathematics/prover9/Manifest b/sci-mathematics/prover9/Manifest index 7750d4278653..2870eb375b49 100644 --- a/sci-mathematics/prover9/Manifest +++ b/sci-mathematics/prover9/Manifest @@ -1,5 +1,5 @@ AUX LADR-2009-11A-manpages.patch 13832 BLAKE2B dfd8d0ba6722d788b4e7662c0c4113cc06c32f2f45cdd32327896147435d3f730b464189ee1766a1c162a90cd730d917d8b29c3c241a94d65a3fc5833f3bbca1 SHA512 4c9f862b33d7b6b33b5e4a82b38418c6ae41b7adae565d376cc741608eb989e3846c1e98589dea62f7cadeb0b1f0f5814afe95ee6cf0da63c6961620d8b2677c DIST LADR-2009-11A-makefile.patch.xz 4300 BLAKE2B 3ea0860901876c43aeadcee7cf7eca02c31c88ca6670c867ef4a41b9adc2aa13edf36f45807713f7b200355f5086b43a17722071be81f58af1bc5d70327e3e41 SHA512 c1d2e27d991036af24a29deb4401fbf9687415d2a37bebabb9cfc77d8672e0804d974f92cbd7b8e16c0a0c10b75831847f7b8ddb94244d7e632de7b1be5081f1 DIST LADR-2009-11A.tar.gz 1795750 BLAKE2B ed44b1d0f5f5f3c9846ff578af10914421c79f580db9f9002f105b87d7af49fb6f2956b70d2ebfbd17b3a230d1065aadb1cc798ef7ebdad8749e66cea41120b6 SHA512 f26d3713eb2ba809fb3d55ce179e9d91555ab9166e075aa0843bafe57ce00f153cfed178b61993d4fd471655840e4f40775d75dac9fb5242a67e5d59c970dfc7 -EBUILD prover9-2009.11a.ebuild 2514 BLAKE2B 52b53007c8428c449b19c00324ddd3f84c9001bb9af2d453ea7b537348a5f6b48feb5a4ac6c000bd1a9e5b37317df4e6e0a58faa81332d440c36b48079ef4be9 SHA512 21d4294cb6ea5cbd1951751976e5872256e9e7de82e2b46f896efcbe5d5c7bc83321baaafbbefea59feabe77c2673b1a1cfed1daf0b806a498bc7ea90aa9aa9e +EBUILD prover9-2009.11a-r1.ebuild 2579 BLAKE2B d865851dcefac71e1299db441c76b72663b4561b16a4ce20532dd4bca2881a4a4a59fdddc620b52fc2dbc5e5cdd0bcdca71473eddf0a0cad03f17d71600866f1 SHA512 18dd15a04f7e20570cde9fb3fd158db81858b6cab048111c515cd08d088147ee7cfe3bce665e0d744cb8f89824c10c8742f095b5e7ca5d8ec5e22b8ba9bba335 MISC metadata.xml 535 BLAKE2B ba8d67e5b87bd740d24e591b21fdd1214ef0fcb2bb9442722c973fe1344b3d638b5aedbc332e74e82eb58fb16458343d22c752abaf2c913d49de89cf7b76e2f4 SHA512 f48643b65797eaa9f06513f41a54f857e349ef7ed111fb5611ef2741e4785dc33bb96be9405b6331b0a9c569e08eb1e6e0f104b8b6c8a0eb2593694ae3d6803d diff --git a/sci-mathematics/prover9/prover9-2009.11a-r1.ebuild b/sci-mathematics/prover9/prover9-2009.11a-r1.ebuild new file mode 100644 index 000000000000..63b9fad1839f --- /dev/null +++ b/sci-mathematics/prover9/prover9-2009.11a-r1.ebuild @@ -0,0 +1,124 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit toolchain-funcs + +MY_PN="LADR" +typeset -u MY_PV +MY_PV="$(ver_rs 1 '-')" +MY_P="${MY_PN}-${MY_PV}" + +DESCRIPTION="Automated theorem prover for first-order and equational logic" +HOMEPAGE="https://www.cs.unm.edu/~mccune/mace4/" +SRC_URI=" + https://www.cs.unm.edu/~mccune/mace4/download/${MY_P}.tar.gz + https://dev.gentoo.org/~jlec/distfiles/${MY_PN}-2009-11A-makefile.patch.xz +" +S="${WORKDIR}/${MY_P}/" + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="examples" + +PATCHES=( + "${WORKDIR}/${MY_PN}-2009-11A-makefile.patch" + "${FILESDIR}/${MY_PN}-2009-11A-manpages.patch" +) + +src_prepare() { + default + + sed -e "/^CC =/s:gcc:$(tc-getCC):g" -i */Makefile || die + + export MAKEOPTS+=" -j1 " + tc-export AR CC +} + +src_compile() { + emake CFLAGS="${CFLAGS} ${LDFLAGS}" -j1 all +} + +src_test() { + LD_LIBRARY_PATH="${S}/ladr/.libs/" emake -j1 test1 test2 test3 +} + +src_install() { + dobin \ + bin/attack \ + bin/autosketches4 \ + bin/clausefilter \ + bin/clausetester \ + bin/complex \ + bin/directproof \ + bin/dprofiles \ + bin/fof-prover9 \ + bin/gen_trc_defs \ + bin/get_givens \ + bin/get_interps \ + bin/get_kept \ + bin/gvizify \ + bin/idfilter \ + bin/interpfilter \ + bin/interpformat \ + bin/isofilter \ + bin/isofilter0 \ + bin/isofilter2 \ + bin/ladr_to_tptp \ + bin/latfilter \ + bin/looper \ + bin/mace4 \ + bin/miniscope \ + bin/mirror-flip \ + bin/newauto \ + bin/newsax \ + bin/olfilter \ + bin/perm3 \ + bin/proof3fo.xsl \ + bin/prooftrans \ + bin/prover9 \ + bin/renamer \ + bin/rewriter \ + bin/sigtest \ + bin/test_clause_eval \ + bin/test_complex \ + bin/tptp_to_ladr \ + bin/unfast \ + bin/upper-covers + + doman \ + manpages/interpformat.1 \ + manpages/isofilter.1 \ + manpages/prooftrans.1 \ + manpages/mace4.1 \ + manpages/prover9.1 \ + manpages/clausefilter.1 \ + manpages/clausetester.1 \ + manpages/interpfilter.1 \ + manpages/rewriter.1 \ + manpages/prover9-apps.1 + + docinto html + dodoc -r ladr/index.html.master ladr/html/* + + insinto "/usr/$(get_libdir)" + dolib.so ladr/.libs/libladr.so.4.0.0 + + dosym libladr.so.4.0.0 "/usr/$(get_libdir)/libladr.so.4" + dosym libladr.so.4.0.0 "/usr/$(get_libdir)/libladr.so" + + insinto /usr/include/ladr + doins ladr/*.h + + if use examples ; then + insinto "/usr/share/${PN}/examples" + doins prover9.examples/* + + # The prover9-mace4 script is installed as an example script + # to avoid confusion with the GUI sci-mathematics/p9m4 prover9mace4.py + insinto "/usr/share/${PN}/scripts" + doins bin/prover9-mace4 + fi +} diff --git a/sci-mathematics/prover9/prover9-2009.11a.ebuild b/sci-mathematics/prover9/prover9-2009.11a.ebuild deleted file mode 100644 index 0fa79ab74422..000000000000 --- a/sci-mathematics/prover9/prover9-2009.11a.ebuild +++ /dev/null @@ -1,126 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit toolchain-funcs - -MY_PN="LADR" -typeset -u MY_PV -MY_PV=$(ver_rs 1 '-') -MY_P="${MY_PN}-${MY_PV}" - -DESCRIPTION="Automated theorem prover for first-order and equational logic" -HOMEPAGE="https://www.cs.unm.edu/~mccune/mace4/" -SRC_URI=" - https://www.cs.unm.edu/~mccune/mace4/download/${MY_P}.tar.gz - https://dev.gentoo.org/~jlec/distfiles/${MY_PN}-2009-11A-makefile.patch.xz" - -SLOT="0" -KEYWORDS="~amd64 ~x86" -LICENSE="GPL-2" -IUSE="examples" - -PATCHES=( - "${WORKDIR}"/${MY_PN}-2009-11A-makefile.patch - "${FILESDIR}"/${MY_PN}-2009-11A-manpages.patch - ) - -S="${WORKDIR}/${MY_P}/" - -src_prepare() { - default - MAKEOPTS+=" -j1" - sed \ - -e "/^CC =/s:gcc:$(tc-getCC):g" \ - -i */Makefile || die -} - -src_compile() { - emake all -} - -src_test() { - emake test1 - emake test2 - emake test3 -} - -src_install() { - dobin \ - bin/attack \ - bin/autosketches4 \ - bin/clausefilter \ - bin/clausetester \ - bin/complex \ - bin/directproof \ - bin/dprofiles \ - bin/fof-prover9 \ - bin/gen_trc_defs \ - bin/get_givens \ - bin/get_interps \ - bin/get_kept \ - bin/gvizify \ - bin/idfilter \ - bin/interpfilter \ - bin/interpformat \ - bin/isofilter \ - bin/isofilter0 \ - bin/isofilter2 \ - bin/ladr_to_tptp \ - bin/latfilter \ - bin/looper \ - bin/mace4 \ - bin/miniscope \ - bin/mirror-flip \ - bin/newauto \ - bin/newsax \ - bin/olfilter \ - bin/perm3 \ - bin/proof3fo.xsl \ - bin/prooftrans \ - bin/prover9 \ - bin/renamer \ - bin/rewriter \ - bin/sigtest \ - bin/test_clause_eval \ - bin/test_complex \ - bin/tptp_to_ladr \ - bin/unfast \ - bin/upper-covers - - doman \ - manpages/interpformat.1 \ - manpages/isofilter.1 \ - manpages/prooftrans.1 \ - manpages/mace4.1 \ - manpages/prover9.1 \ - manpages/clausefilter.1 \ - manpages/clausetester.1 \ - manpages/interpfilter.1 \ - manpages/rewriter.1 \ - manpages/prover9-apps.1 - - docinto html - dodoc -r ladr/index.html.master ladr/html/* - - insinto /usr/$(get_libdir) - dolib.so ladr/.libs/libladr.so.4.0.0 - - dosym libladr.so.4.0.0 /usr/$(get_libdir)/libladr.so.4 - dosym libladr.so.4.0.0 /usr/$(get_libdir)/libladr.so - - dodir /usr/include/ladr - insinto /usr/include/ladr - doins ladr/*.h - - if use examples; then - insinto /usr/share/${PN}/examples - doins prover9.examples/* - - # The prover9-mace4 script is installed as an example script - # to avoid confusion with the GUI sci-mathematics/p9m4 prover9mace4.py - insinto /usr/share/${PN}/scripts - doins bin/prover9-mace4 - fi -} diff --git a/sci-mathematics/wxmaxima/Manifest b/sci-mathematics/wxmaxima/Manifest index 9b686c55bcc9..6e22d856ac07 100644 --- a/sci-mathematics/wxmaxima/Manifest +++ b/sci-mathematics/wxmaxima/Manifest @@ -1,9 +1,9 @@ DIST wxmaxima-23.07.0.tar.gz 16427247 BLAKE2B c754e476adcf71b2074e5d20edc14ac0d81f453d2cfc1f69fb281c0e3290cf31487ee2772624f868bb1057c19e1dac3cee6bd402d2b7e8b35f1ef8e80c7611f5 SHA512 0b94443b2fa31c7f75f33d57285c5086e69f43abd53d2a66b78d946d5370982b5b3a2a53fc5c4b4631fec94453b6f94a209d7ba3d13b1518dbe597d62b7e4690 DIST wxmaxima-23.10.0.tar.gz 16466027 BLAKE2B 496765bfe55efb168396530eb3c44ef727f0398bf30a32e9a869c48572f0b53b6d851a7d8aa421199c071791efec37dece6cc23901826c62ca7ab6715a27b0cc SHA512 4055595f8e294726d2731da4a926844d3ad25561bb7d392c0ef08eb9322bc7e454edb6ae137eb7b8c2be53aba2f36abb0a0b32e03af4cc9a517130fd5466a1fb DIST wxmaxima-23.12.0.tar.gz 16491009 BLAKE2B 1df61e6571302b9ae693af77b48c60d3799f036f2e5214ef5f003e4b9f20fa66a37ed10f52b35ac05e114e9a53afda761262bdf55dde86020687f69f5458ec78 SHA512 f0b8f17cd9e367fbd95dd9304926742b05ab6d04da07aed54b183d5fa97a5d0054481626182874daf54011bd3f2d3f4b467b1daf600d003976483331578eed89 -DIST wxmaxima-24.02.0.tar.gz 16485036 BLAKE2B 7994f126f975ae6ed801f6856cbf918302d67729d24a9057a709986c3c5e56c9d48793e32421da6c208a6ebcd571bac952175d81a931d3be264ddc2b336bfb52 SHA512 a64cf2c1024232df89d45c0a45eb59c62eeddd28a4bfb14765c1c7eca90fb3ce01fb681f7e65140243909afd34c95d399906afae1d11603f35f452e8831ec9d1 +DIST wxmaxima-24.02.1.tar.gz 17048739 BLAKE2B 207365951d911d160c55c9e10308b2645129082d0ce72c1b4a2ad8e6d5d0469beb4f8faeb8c48965bfa1c4df8f4ecb7ace8f0f9a5193f0bbc4d002437bc8fe77 SHA512 f16b4c974e0bb3d2454465498fae09d3995278a4ac1f1f8c756716bcf5e560925c115259e6540b57a08910b65e897fba896be7f527ed80ba4e3cb7c4863ca6cc EBUILD wxmaxima-23.07.0.ebuild 1954 BLAKE2B 59e66607c6163cf154d8bddf689f9baf2b0e918cd7ed40bb786ea4cf09564da57654ece10c52f8351ec69c2009bb1a5680bf9c42464063413097814d8a8d9603 SHA512 7a82f32d3147e249a8e52106eb903660d03c31b917ea2d21a7f5ba7344f62b82e3b9aa702ae7e4f1638bbf20014f214ef8aec4de811bc71bad0685a25ed0e0b5 EBUILD wxmaxima-23.10.0.ebuild 1955 BLAKE2B 9e32ebe40119170d6959dbff93c7e19a0452c7146f5e17b19f0b06c330092bb231ba921f26ff75815d566368907f6d4175f31d13026bfb941cc376ca79dc4cae SHA512 1eab53a2f986128a4593868e40a6e1facef773304196829bc3e83c908f507c12877b107d4fac3b3a0380f7189629b0f92f6eb90c484f639ac3ed32629c47f270 EBUILD wxmaxima-23.12.0.ebuild 1955 BLAKE2B 9e32ebe40119170d6959dbff93c7e19a0452c7146f5e17b19f0b06c330092bb231ba921f26ff75815d566368907f6d4175f31d13026bfb941cc376ca79dc4cae SHA512 1eab53a2f986128a4593868e40a6e1facef773304196829bc3e83c908f507c12877b107d4fac3b3a0380f7189629b0f92f6eb90c484f639ac3ed32629c47f270 -EBUILD wxmaxima-24.02.0.ebuild 1935 BLAKE2B 768019824dd54461801bb8eb14ba3bec3048b74a1dea3a6124a9de4b3ac0ce8e2b7149ca5a0dbbf2211306cf0b449660d2a196363d5d6b56b76dc5930721ab61 SHA512 3d0a06eb2ff245f15528978f33081c62d69d381890cb6a103c2090f50961c23a2784a6db67e3e7a880b710148afed1574c9e98b30d93fcfc24111c7e410c11b5 +EBUILD wxmaxima-24.02.1.ebuild 1935 BLAKE2B 768019824dd54461801bb8eb14ba3bec3048b74a1dea3a6124a9de4b3ac0ce8e2b7149ca5a0dbbf2211306cf0b449660d2a196363d5d6b56b76dc5930721ab61 SHA512 3d0a06eb2ff245f15528978f33081c62d69d381890cb6a103c2090f50961c23a2784a6db67e3e7a880b710148afed1574c9e98b30d93fcfc24111c7e410c11b5 MISC metadata.xml 996 BLAKE2B 0217444b5ca1f1d6b250760ac76b6f44c8bb933333d785cf72ea10ad501df2e803146a25ddc6915f98a5c3ccd80a1ff3827ba58fba3f28e99dae101cf47def5f SHA512 0a1be2819a831ccd9c8712b1dce040c02a3aa681473c0f4c315a9010fafe05383b452b2f9e29e62f22bc8f09b34c4964ce549c248deb6c74763ec2417f7fcf2f diff --git a/sci-mathematics/wxmaxima/wxmaxima-24.02.0.ebuild b/sci-mathematics/wxmaxima/wxmaxima-24.02.0.ebuild deleted file mode 100644 index 3fbeb1a253b0..000000000000 --- a/sci-mathematics/wxmaxima/wxmaxima-24.02.0.ebuild +++ /dev/null @@ -1,78 +0,0 @@ -# Copyright 1999-2024 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -WX_GTK_VER="3.2-gtk3" -PLOCALES="ca cs da de el en es fi fr gl hu it ja kab nb pl pt_BR ru tr uk zh_CN zh_TW" -inherit cmake plocale wxwidgets xdg - -DESCRIPTION="Graphical frontend to Maxima, using the wxWidgets toolkit" -HOMEPAGE="https://wxmaxima-developers.github.io/wxmaxima/" -SRC_URI="https://github.com/wxMaxima-developers/wxmaxima/archive/Version-${PV}.tar.gz -> ${P}.tar.gz" -S="${WORKDIR}"/${PN}-Version-${PV} - -LICENSE="GPL-2" -SLOT="0" -KEYWORDS="~amd64 ~ppc ~x86" -IUSE="test webkit" -RESTRICT="!test? ( test )" - -DEPEND=" - dev-libs/libxml2:2 - x11-libs/wxGTK:${WX_GTK_VER}[webkit?]" -RDEPEND="${DEPEND} - media-fonts/jsmath - sci-visualization/gnuplot[wxwidgets] - sci-mathematics/maxima" - -src_prepare() { - setup-wxwidgets - cmake_src_prepare - - sed -e "s|GPL.txt ||g" -e "s|share/doc/${PN}|share/doc/${PF}|g" -i CMakeLists.txt \ - || die "sed CMakeLists.txt failed" - sed -e "s|share/doc/${PN}|share/doc/${PF}|g" -i info/CMakeLists.txt \ - || die "sed info/CMakeLists.txt failed" - - # locales - rm_po() { - rm locales/wxMaxima/${1}.po || die "rm ${1}.po failed" - rm -f locales/manual/${1}.po - rm -f info/${PN}.${1}.md - rm -f info/${PN}.${1}.html - sed -e "\\|/${1}/wxmaxima.1|d" -i data/CMakeLists.txt - } - plocale_find_changes locales/wxMaxima '' '.po' - plocale_for_each_disabled_locale rm_po -} - -src_configure() { - local mycmakeargs=( - -DWXM_UNIT_TESTS=$(usex test) - -DWXM_DISABLE_WEBVIEW=$(usex webkit OFF ON) - ) - - cmake_src_configure -} - -src_test() { - # Just run the unit tests manually for now as tests fail in a non-descriptive - # way even with virtualx - # bug #736695 - cd "${BUILD_DIR}/test/unit_tests" || die - - local tests=( - AFontSize - ) - - local test - for test in "${tests[@]}" ; do - ./test_${test} || die "Unit test ${test} failed!" - done -} - -src_install() { - docompress -x /usr/share/doc/${PF} - cmake_src_install -} diff --git a/sci-mathematics/wxmaxima/wxmaxima-24.02.1.ebuild b/sci-mathematics/wxmaxima/wxmaxima-24.02.1.ebuild new file mode 100644 index 000000000000..3fbeb1a253b0 --- /dev/null +++ b/sci-mathematics/wxmaxima/wxmaxima-24.02.1.ebuild @@ -0,0 +1,78 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +WX_GTK_VER="3.2-gtk3" +PLOCALES="ca cs da de el en es fi fr gl hu it ja kab nb pl pt_BR ru tr uk zh_CN zh_TW" +inherit cmake plocale wxwidgets xdg + +DESCRIPTION="Graphical frontend to Maxima, using the wxWidgets toolkit" +HOMEPAGE="https://wxmaxima-developers.github.io/wxmaxima/" +SRC_URI="https://github.com/wxMaxima-developers/wxmaxima/archive/Version-${PV}.tar.gz -> ${P}.tar.gz" +S="${WORKDIR}"/${PN}-Version-${PV} + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="~amd64 ~ppc ~x86" +IUSE="test webkit" +RESTRICT="!test? ( test )" + +DEPEND=" + dev-libs/libxml2:2 + x11-libs/wxGTK:${WX_GTK_VER}[webkit?]" +RDEPEND="${DEPEND} + media-fonts/jsmath + sci-visualization/gnuplot[wxwidgets] + sci-mathematics/maxima" + +src_prepare() { + setup-wxwidgets + cmake_src_prepare + + sed -e "s|GPL.txt ||g" -e "s|share/doc/${PN}|share/doc/${PF}|g" -i CMakeLists.txt \ + || die "sed CMakeLists.txt failed" + sed -e "s|share/doc/${PN}|share/doc/${PF}|g" -i info/CMakeLists.txt \ + || die "sed info/CMakeLists.txt failed" + + # locales + rm_po() { + rm locales/wxMaxima/${1}.po || die "rm ${1}.po failed" + rm -f locales/manual/${1}.po + rm -f info/${PN}.${1}.md + rm -f info/${PN}.${1}.html + sed -e "\\|/${1}/wxmaxima.1|d" -i data/CMakeLists.txt + } + plocale_find_changes locales/wxMaxima '' '.po' + plocale_for_each_disabled_locale rm_po +} + +src_configure() { + local mycmakeargs=( + -DWXM_UNIT_TESTS=$(usex test) + -DWXM_DISABLE_WEBVIEW=$(usex webkit OFF ON) + ) + + cmake_src_configure +} + +src_test() { + # Just run the unit tests manually for now as tests fail in a non-descriptive + # way even with virtualx + # bug #736695 + cd "${BUILD_DIR}/test/unit_tests" || die + + local tests=( + AFontSize + ) + + local test + for test in "${tests[@]}" ; do + ./test_${test} || die "Unit test ${test} failed!" + done +} + +src_install() { + docompress -x /usr/share/doc/${PF} + cmake_src_install +} -- cgit v1.2.3