diff options
Diffstat (limited to 'sci-mathematics')
55 files changed, 594 insertions, 70 deletions
diff --git a/sci-mathematics/4ti2/4ti2-1.6.7-r1.ebuild b/sci-mathematics/4ti2/4ti2-1.6.7-r1.ebuild index 5df60d0be3b5..887469dd15eb 100644 --- a/sci-mathematics/4ti2/4ti2-1.6.7-r1.ebuild +++ b/sci-mathematics/4ti2/4ti2-1.6.7-r1.ebuild @@ -11,7 +11,7 @@ SRC_URI="http://4ti2.de/version_${PV}/${P}.tar.gz" LICENSE="GPL-2" SLOT="0" -KEYWORDS="amd64 ~arm ~ppc x86 ~amd64-linux ~x86-linux" +KEYWORDS="amd64 ~arm ~ppc ~riscv x86 ~amd64-linux ~x86-linux" RDEPEND=" sci-mathematics/glpk:=[gmp] diff --git a/sci-mathematics/4ti2/Manifest b/sci-mathematics/4ti2/Manifest index d39f07bbda9c..c93f826df4b4 100644 --- a/sci-mathematics/4ti2/Manifest +++ b/sci-mathematics/4ti2/Manifest @@ -1,4 +1,4 @@ AUX 4ti2-1.3.2-gold.patch 434 BLAKE2B 38162dea9fa7e7072966fc7c5fc72c05e2d122dbfbb25aa0027f992f0fe23bd1232245c670b8f3d3a2b75e67319a217aead99850ec6d1a025c6c4a890605b2c3 SHA512 109f89dcf1f66fae079d9ba4c265b0a9ad0a60b88848ae38175d98c51b8b8fce3e92b0f862191340f4a8dd8c60a768c77b1504d0a797553b5cd1fe5bc95189ff DIST 4ti2-1.6.7.tar.gz 5649869 BLAKE2B ab0e7da1de88e5e99ead0b8fa7f7a72773b84ae903a31dc3134e83364ea45069889f8ce9812bb471cf72b824fe013756d557489b4d2ab31216141d5b6347acfc SHA512 38d638fe01ff3cef1aebae1eefd276cf02f808978851b4465e132f77d3ab34ea51d512e2ea28a42ac65263b458c43cf420dc5f8ac930f959dd0c14916cef9841 -EBUILD 4ti2-1.6.7-r1.ebuild 841 BLAKE2B 60fcc1b214b01028c64eb3fc3aa08662634f8df107aa0bbacbdd9b0b35a6d0451057396817ceb6058ab09d90289b04b5f10e1542817933fb39bf55091659f043 SHA512 656eab7ad886d9aff1dcf304be12833bf1ef0c2f3f6e08f9b5ccc273de0dc2960d71a12d06911cd50189356e7e20c9d2d6d395857e39eaf7406009c0a012c218 +EBUILD 4ti2-1.6.7-r1.ebuild 848 BLAKE2B 8d3466fc4a7262c87fbd821c111f711d4f21687521248af36ab08197dae652ab769eb0357d6d4676ac63fa21d652d155547ebd6e5f4574d58f4cdc262575f100 SHA512 7df9c69b08237b5443ea5aa5df63c9b8cf3fdd7d66b9857795ed4362dee81ff7b5652223fa8169556fecb02bded2f13895172fcde6cf6b6f490ebf01e3c106eb MISC metadata.xml 447 BLAKE2B 55ff5198cfc0ed0b5c294e66ef40df0155ccfdd57361fe797bab2079b510a52b3e7440f58b1053fe99c10ed733306a3654b1f4b0b32eb3eb2e1ee21ce0f3f079 SHA512 2d1242295017cae1c1489376ae500ab7cee74b33925f42e7dda4be29db08373283d4d55b3548d883762e9cdb0072a92d0d2cfed3ea75017d631f880364a087ee diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex dee72830f374..dc597ba6ae4a 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/alt-ergo/Manifest b/sci-mathematics/alt-ergo/Manifest index 1cacec94a01f..b99ff2cb935d 100644 --- a/sci-mathematics/alt-ergo/Manifest +++ b/sci-mathematics/alt-ergo/Manifest @@ -1,3 +1,5 @@ DIST alt-ergo-2.3.0.tar.gz 455577 BLAKE2B 1836782be452df5147fc3041517fd267f3ce7facd15ad460c3e1dfba2b6ea455fee79ad8264ccb12cf21622c21a54c186c9943e7bffb392daab15d046ff93863 SHA512 a2f209b62b8494bfefe84328cdc786185e0534c5e224e212b83045b078352a51d2ab02622f72c22c74c7de95c7a554cbdae2a9a8a0c41f3f26c841f8c72f6b21 +DIST alt-ergo-2.4.1.tar.gz 2883046 BLAKE2B 6930080f7735f043e33d02b7fa0990c53992848796c0a5cf6ea4d7122eb6b9e5d6ac7ce420a4a19da35fa0ce5ff431bc228f2314a6f709f27a16bc7481bbacd5 SHA512 c3eee41d3c588ca89c2a1eebe9f10914ef647743b58fb562b682172cf6b6bdeb0920ebbba8a850820c0cb53bad0260f11b82fe71f00830ea9b33f5bb5d4fd048 EBUILD alt-ergo-2.3.0.ebuild 1207 BLAKE2B 395779b3fa2c360a9162ee18b5a8266f978ac96ac09e4da308efbb3f3eabc1cff770c2404dd1e2c0531d8b74b40b82e11331b5a5a69ef92bfe589ddcd7fbfa05 SHA512 d4611afe608836003b93f7e6942da711799116cffaed63ccbbbd1b36a8d8de638a5fee103d3cc751df8cb332e54e28bcaff72142b1be2a3fa1ba4bea1349b257 -MISC metadata.xml 753 BLAKE2B d02fb64b2dfa930640c981f7c4f145422e5e4737cf82074ef2b4043e8a8bb14a9ff83301cb98cec0c94681da8b055745b87ebaf5aca7e2a8dd921c1ff4ef0f67 SHA512 c43745074c9fa0c9b47804144f005dfc8abd8367954f35e6ab67fad415aad58b87b7de088bce395737a9db03749ef385bfa6c0e10a800eecd8f93767d4f33dc4 +EBUILD alt-ergo-2.4.1-r1.ebuild 997 BLAKE2B 87c4ced0832718030a39a953531b3742baddc9b15070ba1be5dfb7ddda3a1373ebe2a24071ef399960374ca98ca74505564f6aa8a111fcce2b9270cb08e6db67 SHA512 10b356e99545e1f4f4ad29c6d1e0d86ee5eeb576c2139cf268ee5d13559eb9fe39e24be281ca100365584c4aecf15df04b07793615e6531a5031a0cd163a4b43 +MISC metadata.xml 957 BLAKE2B 2ac1b5428ee88fa81b3898a351b770b9a3b4e91ad049e7ab2b5b62e3ddcef635e2f19f801ef1c067b51c2f30f513b40a82e968a314be10e7a5ff795df24dd6d5 SHA512 bcbe312badeb5f3d6c243d620ec5744ac6bf3c23e6bc7b6327c7a1a72b42f2cc68cd4326b065a3fca3c2a9c7c1670e2a84ca1ca2e7bf423a274025010a6735f4 diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild new file mode 100644 index 000000000000..52d3124f6809 --- /dev/null +++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild @@ -0,0 +1,48 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Automatic theorem prover" +HOMEPAGE="https://alt-ergo.ocamlpro.com" +SRC_URI="https://github.com/OCamlPro/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="CeCILL-C" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="examples +ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-4.09.0:=[ocamlopt=] + >=sci-mathematics/psmt2-frontend-0.4.0:= + + >=dev-ml/menhir-20181006:= + >=dev-ml/ocplib-simplex-0.4:= + dev-ml/camlzip:= + dev-ml/cmdliner:= + dev-ml/num:= + dev-ml/seq:= + dev-ml/stdlib-shims:= + dev-ml/zarith:= +" +DEPEND="${RDEPEND}" +BDEPEND="dev-ml/dune-configurator" + +src_prepare() { + default + + # Remove the GTK2 GUI frontend because GTK2 in Gentoo is deprecated + rm -r src/bin/gui || die +} + +src_configure() { + sh ./configure --prefix /usr --libdir=/usr/$(get_libdir) || die +} + +src_install() { + dune-install alt-ergo-lib alt-ergo-parsers alt-ergo + + use examples && dodoc -r examples +} diff --git a/sci-mathematics/alt-ergo/metadata.xml b/sci-mathematics/alt-ergo/metadata.xml index bd913dcab82d..0892f84cbfc2 100644 --- a/sci-mathematics/alt-ergo/metadata.xml +++ b/sci-mathematics/alt-ergo/metadata.xml @@ -1,19 +1,25 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="person"> - <email>tupone@gentoo.org</email> - <name>Tupone Alfredo</name> - </maintainer> - <longdescription lang="en"> - Alt-Ergo is an open-source automatic solver of mathematical formulas - designed for program verification. It is based on Satisfiability Modulo - Theories (SMT). Solvers of this family have made impressive advances - and became very popular during the last decade. They are now used is - various domains such as hardware design, software verification and - formal testing. - </longdescription> - <upstream> - <remote-id type="github">OCamlPro/alt-ergo</remote-id> - </upstream> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> + Alt-Ergo is an open-source automatic solver of mathematical formulas + designed for program verification. It is based on Satisfiability Modulo + Theories (SMT). Solvers of this family have made impressive advances + and became very popular during the last decade. They are now used is + various domains such as hardware design, software verification and + formal testing. + </longdescription> + <upstream> + <bugs-to>https://github.com/OCamlPro/alt-ergo/issues/</bugs-to> + <remote-id type="github">OCamlPro/alt-ergo</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/cadical/Manifest b/sci-mathematics/cadical/Manifest new file mode 100644 index 000000000000..905451ab2716 --- /dev/null +++ b/sci-mathematics/cadical/Manifest @@ -0,0 +1,4 @@ +AUX cadical-makefile.in-ar.patch 323 BLAKE2B 226618745824824d8d7ccea53a3435abed9f829ca8462994fcdf805b7e5ba18a571214a16fbb2fcaeb0c91683424402e0a3c8dd05cd8f8dbdec19ed30aa023eb SHA512 30427fb87ef6aef56b9aebc3b2e0981e79c680c73dba20d371364d1b3668b51f1cbba4b6c7467ffb979245488b8ca1f2251a6321db4991221051f0c4b8e6a4d7 +DIST cadical-1.5.2.tar.gz 596334 BLAKE2B 2e6c0f0602b807cf9ee5993aa627e074291b0128d19474d5431e01992d66b111773e593c14712338e9702f64e23eae6fdd937b5b86b2b9b3e08022dbbb199fd7 SHA512 1aab87bdaec938eb219f75f13bf2fcb031f47ac1f49b586f769aeececd1c33b166341bef3bc8713e62b4612a91c405db33e6d1b48e1074a3433d80e9ecb33fe2 +EBUILD cadical-1.5.2-r1.ebuild 732 BLAKE2B f97142135bf5be3f3912d572235aa0de953ac4137e715b0b3732014c19527cb2a6a4fca456bdd5e48b9384038b1028fcaef8b47695ead65bff5ebdd17fc1d3ce SHA512 aed6e5bd0cda217c6b2a1c9a32dc27f0b0c5f051dcbf43a3e06e806e5a6099340a8d224027b77e6949b3ca3f053f1cd1676cf968d95c9a63636bbe18703e7f79 +MISC metadata.xml 612 BLAKE2B 61991d650dbdae11b63c71085f145740272b8fe3b720da4d6750c6b82b7bc72e3acabf22826b0e01301d4866c05431d607f20f86a35e71b0754deb157dab34bb SHA512 c46f122e4d50c0a3db07e42453491d4285d5ef879f026ed747d173b9f0000ba26d44a097104cbe0642cac448c9b565d61132d0d9d4660dfb8a6c24900d6098b9 diff --git a/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild b/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild new file mode 100644 index 000000000000..c773ea12d5f2 --- /dev/null +++ b/sci-mathematics/cadical/cadical-1.5.2-r1.ebuild @@ -0,0 +1,32 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit toolchain-funcs + +DESCRIPTION="Simplified Satisfiability Solver" +HOMEPAGE="http://fmv.jku.at/cadical/" +SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz -> ${P}.tar.gz" +S="${WORKDIR}/${PN}-rel-${PV}" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" + +PATCHES=( "${FILESDIR}"/${PN}-makefile.in-ar.patch ) + +DOCS=( BUILD.md CONTRIBUTING NEWS.md README.md VERSION ) + +src_configure() { + tc-export AR + CXX="$(tc-getCXX)" CXXFLAGS="${CXXFLAGS} ${LDFLAGS}" ./configure || die +} + +src_install() { + dobin build/{cadical,mobical} + dolib.a build/libcadical.a + doheader src/cadical.hpp + + einstalldocs +} diff --git a/sci-mathematics/cadical/files/cadical-makefile.in-ar.patch b/sci-mathematics/cadical/files/cadical-makefile.in-ar.patch new file mode 100644 index 000000000000..cb344eec60ab --- /dev/null +++ b/sci-mathematics/cadical/files/cadical-makefile.in-ar.patch @@ -0,0 +1,12 @@ +index 8fd957f..cdad96e 100644 +--- a/makefile.in ++++ b/makefile.in +@@ -47,7 +48,7 @@ mobical: mobical.o libcadical.a makefile $(LIBS) + $(COMPILE) -o $@ $< -L. -lcadical + + libcadical.a: $(OBJ) makefile +- ar rc $@ $(OBJ) ++ ${AR} rc $@ $(OBJ) + + #--------------------------------------------------------------------------# + diff --git a/sci-mathematics/cadical/metadata.xml b/sci-mathematics/cadical/metadata.xml new file mode 100644 index 000000000000..c3c09f27203e --- /dev/null +++ b/sci-mathematics/cadical/metadata.xml @@ -0,0 +1,17 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> + The goal of CaDiCaL is to provide a clean and efficient state-of-the-art + CDCL solver, which is also easy to understand and change. + </longdescription> + <upstream> + <bugs-to>https://github.com/arminbiere/cadical/issues/</bugs-to> + <remote-id type="github">arminbiere/cadical</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/cliquer/Manifest b/sci-mathematics/cliquer/Manifest index 6ff1a895f49a..f2d45b05fa2c 100644 --- a/sci-mathematics/cliquer/Manifest +++ b/sci-mathematics/cliquer/Manifest @@ -1,3 +1,3 @@ DIST cliquer-1.22.tar.gz 416433 BLAKE2B 3f43d443b1ecfef599213da99ffa15b5077392dd8d1bebdd0f5db73898d1fe997d6eabe6dbdb29852d40355228f082cfa7e3198be90dc9166965b90f062cae69 SHA512 3285cb0a3987ff730d9f9b25419a98201f399daf28444179ba8902211ddda87adcc7189f5b94f062d0648039a1b6217b80c8db482887d7dc8552b20459eff861 -EBUILD cliquer-1.22.ebuild 789 BLAKE2B 0f7042c3ba856f1683a523cbb09202994b431f44534475a0ae90a484c460191c476a4c9fc153785d0667686cdd33661e7cec6b944b2d1fc8715fddfd40fab250 SHA512 fd3267b16e1f83a83b9c5c93716a2a22f1c74fd294082d2b0a0c0a73b7492d22009934d1774c5998cfe28d9632bc138a0bff12fbd877a046760d4ee0ed82ee76 +EBUILD cliquer-1.22.ebuild 796 BLAKE2B 7e26d90188092ccb638e6b18c990dcbed6240ad63c787f49c9e8b93ebcda699cacda67369d092bf81ab47b86f70797b8b3113f3aa9c2f4250bc696dfca216d7c SHA512 ca753e57ab29076e9bbe03ad317e0f9110accab6be50435c1ccb053e8df0cad8a32ff68ccdbe2ef6f5b8538b56b614326f10e8aa7bdfae7f6c23501bb261346c MISC metadata.xml 770 BLAKE2B 0de00517dccf6991a64d76ea25b7f1cfedd615d09c9f9a4842cc678bf1b23ec45af444a7ff6829e8908fb2936f6b4a959504b8c26ef89c8246bc0e0663e5f68b SHA512 06646ea6cf94717e6d98b81f2b6ca833d9beaf4e01ac012331e94794132648786c84d6177a32778c86a69ae7cfbe21c9b37690b6ef0d93227fc9bc67c350e1a3 diff --git a/sci-mathematics/cliquer/cliquer-1.22.ebuild b/sci-mathematics/cliquer/cliquer-1.22.ebuild index 45bb7354a402..427fd6eb269c 100644 --- a/sci-mathematics/cliquer/cliquer-1.22.ebuild +++ b/sci-mathematics/cliquer/cliquer-1.22.ebuild @@ -16,7 +16,7 @@ SRC_URI="http://files.sagemath.org/spkg/upstream/${PN}/${P}.tar.gz" LICENSE="GPL-2" SLOT="0" -KEYWORDS="amd64 ~arm x86" +KEYWORDS="amd64 ~arm ~riscv x86" IUSE="static-libs" src_configure() { diff --git a/sci-mathematics/cryptominisat/Manifest b/sci-mathematics/cryptominisat/Manifest new file mode 100644 index 000000000000..2fe9f833da46 --- /dev/null +++ b/sci-mathematics/cryptominisat/Manifest @@ -0,0 +1,3 @@ +DIST cryptominisat-5.8.0.tar.gz 943785 BLAKE2B 534af88a8432c7e3da63989cad8fd5e1491bd69a80b44977fa681e0356e857a505a82dc860b0d04d07987e3edae2861da67ec9dd781261e03a1120dc342b9759 SHA512 3eb954f01524b189a8de57a05f6060471a083addc4b9077c1e32b769d26393ce3d33468819ba8169deedce43fc3663b0ad8bbad95c6afe5e562e438c57b75496 +EBUILD cryptominisat-5.8.0.ebuild 920 BLAKE2B b22d56c5e175d44acb483b1b684cd0236b7f517337c627fde15aa92ee7cb6e69942751e6e8ff6fe66cd40be83eb1144502b0e9d7b094910dafae3faaf182196b SHA512 209995f8551665b615c3a23b50d59fc2ff41f7b57ffbe5570521a67a06f38ef8a9a9cda4faf3465b05c8b05f4da31337c95c12eeb40fdce1e27e7a6e18f9a6b8 +MISC metadata.xml 858 BLAKE2B 4543d51cedd7b5e5e8508c14dfae420360f9d76ada1b969d855ca2b17b2c967036b29a9f2769a2c78e736c1e449e2b079558cd7460a72d402e9f1ce029ba414a SHA512 e1b39d888ab6c09f8707a164c7f683831a908477b2c7f219f4c9f71161ba84c145836ca2b1665e200f15a6e2ff6ca6318bd16fc40d57ad9c64bd1a4e229fbabc diff --git a/sci-mathematics/cryptominisat/cryptominisat-5.8.0.ebuild b/sci-mathematics/cryptominisat/cryptominisat-5.8.0.ebuild new file mode 100644 index 000000000000..d4517fca935e --- /dev/null +++ b/sci-mathematics/cryptominisat/cryptominisat-5.8.0.ebuild @@ -0,0 +1,41 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +PYTHON_COMPAT=( python3_{8,9,10} ) + +inherit python-single-r1 cmake + +DESCRIPTION="Advanced SAT solver with C++ and Python interfaces" +HOMEPAGE="https://github.com/msoos/cryptominisat/" +SRC_URI="https://github.com/msoos/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" + +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +LICENSE="GPL-2 MIT" +IUSE="+python" +REQUIRED_USE="python? ( ${PYTHON_REQUIRED_USE} )" +RESTRICT="test" # tests require many convoluted bundled (git) modules + +RDEPEND=" + dev-libs/boost:= + sys-libs/zlib:= + python? ( ${PYTHON_DEPS} ) +" +DEPEND="${RDEPEND}" + +pkg_setup() { + use python && python-single-r1_pkg_setup +} + +src_configure() { + local mycmakeargs=( + -DNOBREAKID=ON + -DNOM4RI=ON + -DENABLE_PYTHON_INTERFACE=$(usex python) + -DFORCE_PYTHON3=$(usex python) + -DENABLE_TESTING=OFF + ) + cmake_src_configure +} diff --git a/sci-mathematics/cryptominisat/metadata.xml b/sci-mathematics/cryptominisat/metadata.xml new file mode 100644 index 000000000000..694a2c352cda --- /dev/null +++ b/sci-mathematics/cryptominisat/metadata.xml @@ -0,0 +1,20 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> + This system provides CryptoMiniSat, an advanced incremental SAT solver. + The system has 3 interfaces: command-line, C++ library and python. + The command-line interface takes a cnf as an input in the DIMACS format + with the extension of XOR clauses. The C++ and python interface mimics this + and also allows for incremental use: assumptions and multiple solve calls. + </longdescription> + <upstream> + <bugs-to>https://github.com/msoos/cryptominisat/issues/</bugs-to> + <remote-id type="github">msoos/cryptominisat</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest index aef66b1db2f7..a54e94d036a1 100644 --- a/sci-mathematics/lean/Manifest +++ b/sci-mathematics/lean/Manifest @@ -2,4 +2,4 @@ AUX lean-CMakeLists-fix_flags.patch 1285 BLAKE2B 0507e553c1acf2a53c5267932127117 DIST lean-3.35.1.tar.gz 1872461 BLAKE2B 44635b05a7e8ea89522dfb44b8f097ec530419ab79a5413648292ca34019ca744ae3e327cf3a7c627cb7a7a682cfcb2ffc5e6802f2c5ad67e0a7abc303624a3c SHA512 24238cd9e920042f5bf7ba0a121da860e7e9c804d169c888bfabbc5e79e55f556a8920fab0c1a7e72b13501798c5f3fcb068f1705a0cf230f2b89abe1b3045ab EBUILD lean-3.35.1-r2.ebuild 1773 BLAKE2B 15392079ec1e4d9eec5dfd9ee13fee05eca98fb2d7fe204a05b793b06588848c339dbb3b01c8c84f30fc45acc2ce8bb74be5841b9aa216a3d5f2d42d3158b7a6 SHA512 89f983bdb770e0fdbbcbd4db2a1bc8de25df33050ed936748788695e4926588471e8963289ef5bd397748abc41aae656f5614f3317b05b70f54dcd43189464d1 EBUILD lean-3.9999.ebuild 1773 BLAKE2B 15392079ec1e4d9eec5dfd9ee13fee05eca98fb2d7fe204a05b793b06588848c339dbb3b01c8c84f30fc45acc2ce8bb74be5841b9aa216a3d5f2d42d3158b7a6 SHA512 89f983bdb770e0fdbbcbd4db2a1bc8de25df33050ed936748788695e4926588471e8963289ef5bd397748abc41aae656f5614f3317b05b70f54dcd43189464d1 -MISC metadata.xml 656 BLAKE2B 2cb237ee8ec926a98c9c91cbb446daa36b167ecd7a3e9270982f0b4d3ba578a3c2beab79beb0dd9f63efc58ba0a9d01e9ca941922ed92b8ac919e19450880557 SHA512 6923cf3fb58c9b4ce183d95d0b2ea071ca3bbaf397dd04eb37862a92f39ab406d9cce42f61ef7054860cffc61c816b1591c1a97edc9a11630c74e2e88553408f +MISC metadata.xml 672 BLAKE2B 60612895864a164fce242ff1daa5390444c74fbb56fbc062c5448a2770ecab1048d67ce672ff543bab7b410eae118fa9fb087319e724a60437b4da2d8638e40d SHA512 2496062c9db3c2d1c9467b00fe20c0618df8cbdce2799dfdabd6c4fda4b5393bd49392c438fa81f07330fbf1aec3556b369f0fa88acff44e65b0c2cee8e94ea7 diff --git a/sci-mathematics/lean/metadata.xml b/sci-mathematics/lean/metadata.xml index 278e5b1a42a2..efbd9f15e639 100644 --- a/sci-mathematics/lean/metadata.xml +++ b/sci-mathematics/lean/metadata.xml @@ -2,11 +2,11 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>xgqt@gentoo.org</email> - <name>Maciej Barć</name> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> </maintainer> - <longdescription lang="en"> + <longdescription> The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research. </longdescription> diff --git a/sci-mathematics/mathlib-tools/Manifest b/sci-mathematics/mathlib-tools/Manifest index a8c5fe76b9bb..d2fc08050435 100644 --- a/sci-mathematics/mathlib-tools/Manifest +++ b/sci-mathematics/mathlib-tools/Manifest @@ -1,3 +1,3 @@ DIST mathlib-tools-1.1.0.tar.gz 32374 BLAKE2B f470927cae1dc66478efd44de6a5fd7c8df9656351ee342d14a1e75e8774383616cedf01b21ef1b92220fb03b1f1ccb326e3363dd0fec4fb5876f43c5ddb4010 SHA512 bc59d2e41c42ecc22c5768ac3adb209f0b170e2e97fe68483d8518b78a6b4fa163c1d46e4e3996c6f3e0aaa329c642fd111b3e16d850f40b6edc81c81215d03f EBUILD mathlib-tools-1.1.0.ebuild 1241 BLAKE2B 7b636b9be79404b2f46e7d3a5eb0d501a0267cdd00e84963eafd1ccaf91c343aefc93b2ae17b1662cf3d3ccbabbcb2be38d6bbf823122238d4264e14aaba1f8b SHA512 b695d4886cb7b36c944c40153d1ae1bf8e80ece5aa6c0c8e70be0d1b421dc5dad144089991d239d6957c8f50dd2a746a588add440c15af1e74565399135a984c -MISC metadata.xml 722 BLAKE2B eee8161a95d29fb43a6f3666206d16170f54238815d8caae3f451e6371282ac18900a7233dc0d82946b9ad0b207eb64293dd62f60ce1ac2f0883d237d43e3c73 SHA512 ffded3693ba0e928312e37a5572a5ddf8a4d61d5c4fb04a6ba0d7ec200e2aa05e7f317557eed958b422b51114470668fc5f3ab9b52605ce7f3b7de878f81b9a1 +MISC metadata.xml 738 BLAKE2B 8ac6b5355d564ff532b2158189adf95190dfd36b7d7fca1986c8ea24821b0062d65c27317b60b13b4b0541e68e89f014b477c299a651bed65b54cf5288fc8d34 SHA512 c5add5d3f3bdcda89f635067ed442eee731f9648048ab28aff005041ea3f223e196a80186e15b8b67553ee66db1409bd3c6af85cb453635db0c31fd89685d4a8 diff --git a/sci-mathematics/mathlib-tools/metadata.xml b/sci-mathematics/mathlib-tools/metadata.xml index f91e58a755f7..9859ea5c8b42 100644 --- a/sci-mathematics/mathlib-tools/metadata.xml +++ b/sci-mathematics/mathlib-tools/metadata.xml @@ -2,11 +2,11 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>xgqt@gentoo.org</email> - <name>Maciej Barć</name> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> </maintainer> - <longdescription lang="en"> + <longdescription> This package contains leanproject, a supporting tool for Lean mathlib. More info: - https://leanprover-community.github.io/toolchain.html#handling-dependencies diff --git a/sci-mathematics/metamath/Manifest b/sci-mathematics/metamath/Manifest index 32ce99ca3096..efff7865960e 100644 --- a/sci-mathematics/metamath/Manifest +++ b/sci-mathematics/metamath/Manifest @@ -1,4 +1,4 @@ AUX metamath-configure.ac-dont_force_optimize.patch 490 BLAKE2B 5a7175a72b32ecb1991f01a481459543bf9fdc511ded4bbe1551d5991710f3176575b7ebbea50c6aff3cb4087370960249e78223b84df6337304c1eb7dfaf460 SHA512 882ebb713e6209af28d39fbe120aac223337602d3553e93bfe2649237f6f03cc5dc5ab610ae0f051054f24668ecea85293ce9a1bac6fb8b635a52f93e9cf806f DIST metamath-0.198.tar.gz 468593 BLAKE2B 030bc61f5d8f0c02d473fcd2802b3411c96eff04f7144b966f1f098aec3a65218137228f4d97ba96aaa190386802db00865b9e997b399ce06b19d421c335f2bf SHA512 607c0a8208b9414b36bf82a1fcb0b826e9bfa4cbcec0337be58f3e890b91473649b115403227f440b9774e5653434ffdf09f0ab82c2f5af59eac0d11b9d09942 EBUILD metamath-0.198.ebuild 632 BLAKE2B f5df87080cce63d8410cd70d7979350582e40357fc9fbabe86bff8d8ba4434d6170a1d1ecfefe5f1d5ad5a3b7ca8f456f5eaecb406490631539a009d53d95677 SHA512 dea937a871e03eece4f72a81e6814013ddfc7266da2aa708394c1dc35a4584d565d42260b05b116290d8529ed909605fb8bc627e2015e44848fef6fc539b249c -MISC metadata.xml 619 BLAKE2B fdeb72df964419f71e05af45685e81e9127e978b648d0386cbbad50485455a952fa380c5cf66706afb247a731b091fe7efbe076139d336132b3dc1ced69591bf SHA512 d7c4e4d33f5605a36480f62631c63d22724bb4f448aa102edce4d06898eecb6629f1cee59e16f13634359694d861b69317fa3d236a82ca3aa7252dd8159b3dc3 +MISC metadata.xml 635 BLAKE2B dccfae75c331c81b14e7bda8efe077f10dd6c92793a8834a189f02c7803775aca5237499af2042854121b4f6acf5d7a1919488ed659c64f364ff6963c3bd4543 SHA512 81b87f82b5ed9cd89faa674c002bd085acdc4cdb1c3441701e8945d8dac0eb85399660e9e4774732c31d0fb0e6b9628817bdbd4b2154073a1875da925baa4ab4 diff --git a/sci-mathematics/metamath/metadata.xml b/sci-mathematics/metamath/metadata.xml index 824d79b7b66d..7107a9aad059 100644 --- a/sci-mathematics/metamath/metadata.xml +++ b/sci-mathematics/metamath/metadata.xml @@ -2,11 +2,11 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>xgqt@gentoo.org</email> - <name>Maciej Barć</name> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> </maintainer> - <longdescription lang="en"> + <longdescription> Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. diff --git a/sci-mathematics/minisat/Manifest b/sci-mathematics/minisat/Manifest index 3fd0016a7395..3e2e561057fe 100644 --- a/sci-mathematics/minisat/Manifest +++ b/sci-mathematics/minisat/Manifest @@ -1,5 +1,7 @@ AUX minisat-2.2.0_p20130925-nusmv.patch 17540 BLAKE2B 4dee908cb3b7f466ea2fa908667d37ebd3298069f6b09dafb1e5fd50a1e4f0bba318151efd38385b7e7571f0aa753dd34191fa3b08f64ad626f777c0df8528db SHA512 cfad7fb104f8630396f745144da7c052b1e6d5eb3ac9f3cc86a71c9d1353664ea9ece3cbd977f12a9d3a18efc245e33eb97bb949516c5620d3f6b76aa3c1586c DIST MiniSat.pdf 327416 BLAKE2B 77f77d763c9554680b4c5e1688801e8462102e8ddbcc3b53badccee17a98f935ef0e971a636abeb04021a2b3a3e9d6acfe4828b5dd20e6ef8733d71788cc31b0 SHA512 94e70c721740c0b7fd52621c7a5e43dd9207eed92e60a1c64ee63b541b9861d2580d14ba64c49c6c4f273ac028ded43bc944c71131e51693cdd7d1763af582f6 DIST minisat-2.2.0_p20130925.tar.gz 49544 BLAKE2B 8c6893fb6c604140609c36cc912c02a73c1f2726d7f399595c50d674aff69c57f9c4914da6d95c37a46fefc218dd4b0550645bd7058d46640d08103e2a4ec333 SHA512 37fc35cc4f3104d7f0e8ee9f7123fc34e175df578658266799d809d71d6cf081e811919f304a02f6cb9c3827d308e59408149d63d1d1e7c6d0b495350f93b3d9 +DIST minisat-2.2.1.tar.gz 50485 BLAKE2B 58c292f0b90dd459fa29fadbf9e2b20106406c08df9ce98f40138b12a8f001b4ab72f661815d1254c6c90158c3d6e3df339c784552605a935ebc5e703b2d8768 SHA512 a69734e1a70fe056f9dfd479fe4e6e25bc418d3631c1c2d0dea1190ffe9f86b1fc5e9aabaf3772a752fe654551f1e84e47fcb8655f6fe25176efc8d8bc96c663 EBUILD minisat-2.2.0_p20130925-r1.ebuild 1612 BLAKE2B 4198df59696fa88b779ab8ea9954a1f53db39b8e9dfaf1c80897f5a772d9436731579ec2adf59d292bb0d9aa6baab446057333188838ed2a6548efd6ef5990fa SHA512 2bcbf4aeadb12e0998bdc97065c527dbeb29b155e352feaf4b871b89028a1784025c71e8e2f9ee27a135056feeb4fd557967c5d0e130b0b88ef7cfdc396aa438 -MISC metadata.xml 335 BLAKE2B 7382ddc302755dea35b7c2849fadb592ea045afaac96ed3b11bcc5e646e8febb13c64fac989fefe1c06d2d6e3a05c310cd9765c9c2a7a05357f639c230ddd258 SHA512 69f605d87fee498c7418e692393dbbf7c5185f8a6823c850f25f717727588b0687c2e0e12755cafc666fb82b28ad04d97e1f131ff505feb54756962e882e929b +EBUILD minisat-2.2.1.ebuild 700 BLAKE2B e911c31d9ed3f6847e80f832f657fe06cce9fcc1faa75ab97fdb819dee89eae24094089ef41148ad85a0ea41619a8db66c96a5a4508c293b15c647010d204e00 SHA512 68a4c1bfc7d8deeeb401b8d1d11a994cc75731fb5a0b14ce9d11063a4578bfad848db462efe146591134db2b653c3366a2d59bfdce51aec7ecd2cfcaffc98fa2 +MISC metadata.xml 1285 BLAKE2B ac5f5813e82419840d0a004e623b08d88967bbf9e4e617c2ec23bdd574c67cee349f83aefcf719aa4151b991eaa6e5ee5fe0a1fcc955bd56b6bc6cb84cda3235 SHA512 ee16bf934be05d0128e0d9bce30dc9fab70a6b8934e6d6047a8e9a11a9558cd0fbe824323b98573589f6bd6cc2eae925f591d9cd97193d5f63769d28074e5fd0 diff --git a/sci-mathematics/minisat/metadata.xml b/sci-mathematics/minisat/metadata.xml index 970536799081..812aa0c09202 100644 --- a/sci-mathematics/minisat/metadata.xml +++ b/sci-mathematics/minisat/metadata.xml @@ -1,11 +1,28 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="project"> - <email>sci@gentoo.org</email> - <name>Gentoo Science Project</name> - </maintainer> - <upstream> - <remote-id type="github">niklasso/minisat</remote-id> - </upstream> + <maintainer type="project"> + <email>sci@gentoo.org</email> + <name>Gentoo Science Project</name> + </maintainer> + <longdescription> + MiniSat is a minimalistic, open-source SAT solver, developed to help + researchers and developers alike to get started on SAT. It is released + under the MIT licence, and is currently used in a number of projects. + MiniSat is small and well-documented, and possibly also well-designed, + making it an ideal starting point for adapting SAT based techniques to + domain specific problems. + Winning all the industrial categories of the SAT 2005 competition, MiniSat + is a good starting point both for future research in SAT, and for + applications using SAT. + MiniSat supports incremental SAT and has mechanisms for adding non-clausal + constraints. By virtue of being easy to modify, it is a good choice for + integrating as a backend to another tool, such as a model checker or a more + generic constraint solver. + </longdescription> + <upstream> + <remote-id type="github">niklasso/minisat</remote-id> + <remote-id type="github">stp/minisat</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/minisat/minisat-2.2.1.ebuild b/sci-mathematics/minisat/minisat-2.2.1.ebuild new file mode 100644 index 000000000000..360c5a33082b --- /dev/null +++ b/sci-mathematics/minisat/minisat-2.2.1.ebuild @@ -0,0 +1,29 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit cmake + +DESCRIPTION="Small yet efficient SAT solver with reference paper" +HOMEPAGE="http://minisat.se/Main.html" +SRC_URI="https://github.com/stp/${PN}/archive/releases/${PV}.tar.gz -> ${P}.tar.gz + doc? ( http://minisat.se/downloads/MiniSat.pdf )" +S="${WORKDIR}/${PN}-releases-${PV}" + +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +LICENSE="MIT" +IUSE="doc" + +RDEPEND="sys-libs/zlib:=" +DEPEND="${RDEPEND}" + +src_install() { + cmake_src_install + + mv "${D}"/usr/lib "${D}"/usr/$(get_libdir) || die + dosym libminisat.a /usr/$(get_libdir)/libMiniSat.a + + use doc && dodoc "${DISTDIR}"/MiniSat.pdf +} diff --git a/sci-mathematics/nauty/Manifest b/sci-mathematics/nauty/Manifest index 2f5ba748c539..a24ebaedcf04 100644 --- a/sci-mathematics/nauty/Manifest +++ b/sci-mathematics/nauty/Manifest @@ -6,5 +6,5 @@ DIST nauty_2.6r7+ds-1.debian.tar.xz 30328 BLAKE2B 009d64aa2042f814e55238ff83bde4 DIST nauty_2.7r3+ds-1.debian.tar.xz 45520 BLAKE2B 5078ab84d1fcdbddc0f7442ebed57fb63551701295615b99f2833c300168dd7f71205fa3cc2e9ea977f52e389b67883b68e7d5d39e1698c6040913e4571fa4f9 SHA512 8618c78a7c6f1d579cb20048fcf55fb45b69d8d1cebd7f2c9aee664768ab78f0ab1930863c8475a153c9ac9f4692cf6e43f96d01c4a219eae1f23bb61cb50407 EBUILD nauty-2.6.7-r1.ebuild 1526 BLAKE2B c3ffeaa04617b7d18d2c18c5264930b6cd3b67db184770cbc34dfaa1b63e8c3496bc2d45f3922965e041a3929e53443da15c84762ac8b4132c8f320d5971a7da SHA512 191f12019f2d3016b6154d9f41a652bdebcbc0ab1cfdc57bc17a77bba4876434dc1b0950777cf4ec556997c82b3897964cb9ff635b8b5b485350a86791e56be0 EBUILD nauty-2.6.7.ebuild 1469 BLAKE2B 31dbd03617b358b4881f866c7b0c0863aa808c58433120c215886f23439896fff8f05e4df3e635473a4400a54fea53084cc81a949bc9eb732397d73775e1c831 SHA512 b9d7e3d17636c716e53658b590d37aaf4ed09219fed46b975cbd9ee1d36c17c1c57c3ce430b13f6125baf094e8f748072313c53e63c1e9249f081afe3f535f9b -EBUILD nauty-2.7.3.ebuild 1956 BLAKE2B 4b154f9f78826f9326e4b8bc4adeabca7d2b712a1c0e06f3e6c54244bc1db6a3ef3e8f554e77be07d10f849e7a8e79168c66b87e96966ff68bb0636e6e731dbf SHA512 de4147888af985d1d604885092123255143040ae78c40e0204bcac5047e32d1530cc6bba995715ce320e448bf0caead6caa4e95015122f03ad1da22a2039669c +EBUILD nauty-2.7.3.ebuild 1963 BLAKE2B 32d5aad7586e7afb406fac45513ac925cb996a3cf0e426d640f97b87924da807e1c7b34264996d41b35cc3fd3e62745977ce0c52bffc7b5fafb1cec52f65443c SHA512 bd644f58eb2b73ae55113d43574c96316f1737a15fea0e388a5773fdcb77cff8f764f1bee41d5ca0b539e1d3a980be8f380c3a5116e4ab521bc79ddd37341e87 MISC metadata.xml 546 BLAKE2B a4224bf8078d785c2f6a90c3041db97b0dac92eca9ab9513989f899fc7b57e5a95d918a4abc7cbf2d8605107c764e32d4473cea6fa59703a0571aedf48aa5bfe SHA512 ff16cdbedc93669baa03da38ff27683c1a638390611b5c67f1be271542c1cb332e164743b3c9e8b43e89f14316970603bbe7f9130ad656257d8e0a654ce63238 diff --git a/sci-mathematics/nauty/nauty-2.7.3.ebuild b/sci-mathematics/nauty/nauty-2.7.3.ebuild index e9486f711382..8ed6af921a53 100644 --- a/sci-mathematics/nauty/nauty-2.7.3.ebuild +++ b/sci-mathematics/nauty/nauty-2.7.3.ebuild @@ -18,7 +18,7 @@ SRC_URI="https://pallini.di.uniroma1.it/${PN}${MY_PV}.tar.gz LICENSE="Apache-2.0" SLOT="0" -KEYWORDS="~amd64 ~arm ~x86" +KEYWORDS="~amd64 ~arm ~riscv ~x86" IUSE="examples" BDEPEND="sys-apps/help2man" diff --git a/sci-mathematics/normaliz/Manifest b/sci-mathematics/normaliz/Manifest index 60147677bbab..039b82566ef9 100644 --- a/sci-mathematics/normaliz/Manifest +++ b/sci-mathematics/normaliz/Manifest @@ -1,5 +1,5 @@ DIST normaliz-3.1.3.tar.gz 3075453 BLAKE2B 0860b466dfa5335a58a496c21f7567e7e4682b07c73e36dbbd947eb65500e03758577d32355adb02fa4e271ca2f49bc5cb0449e26f1bdd11eab2dd5dbafd8f17 SHA512 c7fb1620e758dc59de88f0d7c55f50db0f67be772a00af27205e478f30c3836b7cf012a16a8adfdee3f0367d3adb4e3f887dc7d03793a7ca1601968ddb1946ce DIST normaliz-3.8.10.tar.gz 5086191 BLAKE2B b40de665718dc1cee8a7246ccfb9b8496bdfa0754408f0260421352f1b4776133047ed1a5e8e0f044bdc15dde63a9f7d9ea1721773f36ecdccce3a8575493772 SHA512 8755011b1305b571d6bef7b6200e01bb56dbadce3f67de022fae0ef42c69c095b1f7cd2a2a432282098277ee39aa17caeffda15c806b28a6060a737930d5b82c EBUILD normaliz-3.1.3-r1.ebuild 1662 BLAKE2B d819f3709adb1af4b60efaab9c122158e49a3b6dffc418ab2a2d35655b95bf3a6e0421bdc57ec8ad9a957a59ef3a217dab725bfb8441ec46a71c2a8d4720b382 SHA512 4f19213464518951abec233ba53ac2f5a60d683ffa59a7fc81bdeece1361182f2d7cd0f517ec259c3b130776eb9acdd200d01fe8de9b59fc4945bec75e319ed5 -EBUILD normaliz-3.8.10-r1.ebuild 1122 BLAKE2B e1b8ca747f420ab4ababde15ca902a4034739392c3d6dd939decb3083071a62d0e57af658bfbc8aae27205360585568ee0eb0c77750706c6bfeaf4482dbae9e5 SHA512 868960b4bd23cd64ba383789953250cf9b20bcaf1bfebc586974ffaed7e7db17b97af0b218972795c904bc814a90a504a3747bbcfe7839d1ce54ad778fc3c165 +EBUILD normaliz-3.8.10-r1.ebuild 1129 BLAKE2B c10dec79da1c8199c49ca50ce4bb23c2c3c9460fbc412da1aca8055e79a4931787d8511a71c27c39beb1b4b9504a116ffc55790f6b0eac84b37c4a6335df5f2d SHA512 92e2cab1733ff1a5d7d301ed488b8fa4b92cf4a5ecb5c6cc1cda0dad3f1a0ddd1e867e615f1b781e7782fb549acb9e44dc75ceda70636e05731f455921d5ffba MISC metadata.xml 695 BLAKE2B 34dca8b8b1b6ccd935a828950d138bea485e37b2589c5408fda5602e2964132d03ea1b2cfea902d9faa5475cff888f4f980b5f3a9ca8a5ea919d0a583b894d2b SHA512 2513d18751c28fa76ce1db4bfcc914fb0d09baf12056d074b3c0a7dbc3b17bacd34eb72a8b6b768cd790f5e46bd4778a84d3159a142625ded7ef5bf30f1af7f0 diff --git a/sci-mathematics/normaliz/normaliz-3.8.10-r1.ebuild b/sci-mathematics/normaliz/normaliz-3.8.10-r1.ebuild index 436607a9bad0..74f541639c16 100644 --- a/sci-mathematics/normaliz/normaliz-3.8.10-r1.ebuild +++ b/sci-mathematics/normaliz/normaliz-3.8.10-r1.ebuild @@ -12,7 +12,7 @@ S="${WORKDIR}/Normaliz-${PV}" LICENSE="GPL-3" SLOT="0/3" -KEYWORDS="~amd64 ~arm ~x86 ~amd64-linux ~x86-linux" +KEYWORDS="~amd64 ~arm ~riscv ~x86 ~amd64-linux ~x86-linux" IUSE="doc extras openmp" # would be nice to package scip and cocoalib diff --git a/sci-mathematics/polymake/Manifest b/sci-mathematics/polymake/Manifest index 8ef3f0804f27..0971689d2746 100644 --- a/sci-mathematics/polymake/Manifest +++ b/sci-mathematics/polymake/Manifest @@ -1,3 +1,3 @@ DIST polymake-4.5-minimal.tar.bz2 5634046 BLAKE2B dc8a10885b23f8c690e9b8e36d6b55193bbc6d77d56c3b2facea70221860c33d2df58a8a693b9d43c0f613962ce2bd1b3258f1a558af8335297092a60876054a SHA512 07fcc9c20c4e48fc6d83845c50c12b2cadeaf55f74619985d21e252970ad76d6ee8cc528cd419e71ed5927d83758e5d6862e41c1610f93ea95127ad9115a333b -EBUILD polymake-4.5.ebuild 3790 BLAKE2B fc2bf271a3ff47a4f0b3856e50aac363b4d189492a5017d7b3b6bf05c215a40777ee2307be177c1faefc1f6a8fde1628f5c33bff30ceafaa4b87f0c2e9ac1947 SHA512 033139589a60a3a5ea2aa4903371e6e4878abf51e3ef7ef9c9036a2ac65ab31503027f59d526902990cff469c86a1f039e18544b7987ea5c49553d2d92877358 +EBUILD polymake-4.5.ebuild 3797 BLAKE2B 4b35f3b1ac25db4f0321e58c3b18fb508445d4e5baa57abff2119366dceb100791bf760c70528f84e943d9f3b7b762c51d43b096b58376a5433934fc63e5f97c SHA512 f7ef81a83db66a3a4c32536d86ba7dcf4b0cd78954f4625f114b51efed6d9204d144711c4c3829a0e7c8ba4ce3ae6e8e7574a85c68873e5b20f765d1da63c7f2 MISC metadata.xml 1762 BLAKE2B 249af503c9e7e99118c87e4cd71c151cc962502972e80c4ba4f66ae3805c9f6c47601ecadef5e6e1b5c67a7e7779155f2524bace8d6f2f4fb260f2f4dce1b257 SHA512 fc887d14710c9529a9738a14ae8f6a41adae80c273354aa5bcd0a14ad695de09ff562e775a5d40582b23e3b6b1fd4e34a277fa9a6ff7131f19ad4f5cc98d6374 diff --git a/sci-mathematics/polymake/polymake-4.5.ebuild b/sci-mathematics/polymake/polymake-4.5.ebuild index 0ee01c641a11..750cfef6a60f 100644 --- a/sci-mathematics/polymake/polymake-4.5.ebuild +++ b/sci-mathematics/polymake/polymake-4.5.ebuild @@ -18,7 +18,7 @@ HOMEPAGE="https://polymake.org/" # closer look at how (or even if) the corresponding code is being used. LICENSE="BSD GPL-2 GPL-2+ MIT WTFPL-2" SLOT="0" -KEYWORDS="~amd64 ~x86 ~amd64-linux ~x86-linux" +KEYWORDS="~amd64 ~riscv ~x86 ~amd64-linux ~x86-linux" IUSE="bliss +cdd +flint +normaliz libpolymake lrs nauty ppl singular" REQUIRED_USE="^^ ( bliss nauty )" diff --git a/sci-mathematics/primecount/Manifest b/sci-mathematics/primecount/Manifest index bdc617c4b895..7ac7f2ff8f7a 100644 --- a/sci-mathematics/primecount/Manifest +++ b/sci-mathematics/primecount/Manifest @@ -1,3 +1,3 @@ DIST primecount-7.2.tar.gz 340799 BLAKE2B 5ce3661e322be363e2fe79de1dd134b5c3009269cbb10d36dc69bee4c23c9f41d2117b3ed7aa4c5f852e494832573c84a8d9c37cbe92cf80a5024bdec9b22c69 SHA512 df14929012434eddfab94410ba9165642094327f8abd139a6a1ba87e508bba56df91cb0dc9411e873e90a9aa4aa3ba4007396c930d593f5954be8c715fa26e84 -EBUILD primecount-7.2.ebuild 1095 BLAKE2B 94949133a99b3977d6c4fb8c1b788bddc32facf6de3c5986622461788773688bab38336a0464dd16b8623b533aa2e9907564b9e28fb6a6279ba40c134cd00fbf SHA512 099f3065274d951b11606b02408d9cf87ea68994bf451edf23f79150bd13d83ecdf9449efbe16f149ed4265c6265e255e1a14b608641f4f5114eb70a15a0ddaf +EBUILD primecount-7.2-r1.ebuild 1163 BLAKE2B ca9d9781436ee6113aa1be19dbb297e46134fa262e7e155142b3577340bd1165d80845381e9ff72258055acb665b10fe7878efec3a8f34e4a5ea9c78b4d19462 SHA512 9c2f4979ffef015dcdc6146ee6927a24964793b1a1d5c208bd5723b0cca2488cecb01395bd762758a9db6fea48b34e762fe067f260ac04c55771c7a91eb0ffc2 MISC metadata.xml 673 BLAKE2B dcb9633d5529d3c78afaf761812f38a370496a861e5391190f9c2059bde94ca6628b5d751eeab4c0832bebeec421825019671d0a9a815e269691922b23f3ce2b SHA512 fdbebd019bfd1d06e505900b2061b6a8597f62b2b979f337c07c7bd9084181004183595e05e9381800c02981ec584fef3454a5c98ceeeb76009887f5acb9dfb7 diff --git a/sci-mathematics/primecount/primecount-7.2.ebuild b/sci-mathematics/primecount/primecount-7.2-r1.ebuild index 1e394a48459e..4a994b461a06 100644 --- a/sci-mathematics/primecount/primecount-7.2.ebuild +++ b/sci-mathematics/primecount/primecount-7.2-r1.ebuild @@ -11,7 +11,7 @@ SRC_URI="https://github.com/kimwalisch/${PN}/archive/refs/tags/v${PV}.tar.gz -> LICENSE="BSD-2" SLOT="0/7" # subslot is first component of libprimecount.so version KEYWORDS="~amd64" -IUSE="+executable openmp test" +IUSE="cpu_flags_x86_popcnt +executable openmp test" RESTRICT="!test? ( test )" DEPEND="sci-mathematics/primesieve:=" @@ -42,6 +42,7 @@ src_configure() { -DBUILD_STATIC_LIBS="OFF" -DBUILD_TESTS="$(usex test)" -DWITH_OPENMP="$(usex openmp)" + -DWITH_POPCNT="$(usex cpu_flags_x86_popcnt)" ) cmake_src_configure diff --git a/sci-mathematics/primesieve/Manifest b/sci-mathematics/primesieve/Manifest index dd47d10bcb26..8914dd414283 100644 --- a/sci-mathematics/primesieve/Manifest +++ b/sci-mathematics/primesieve/Manifest @@ -1,3 +1,3 @@ DIST primesieve-7.7.tar.gz 101558 BLAKE2B cfaa91ddcf661e265d403f8a93461fe297ac48db843b096d0dd7828c4e3d11cdba60cb102197248359c79950fe2ac66c8e9295ab17b0d6bd0eed5a6260c7d115 SHA512 bbcc141a12afdf54386d2408e067b1c6af2dd9b5c9f44d71290269ddefc7c46ba6794064cde6728c8356724553cb6bc2e765bf18c24a18b6d5d1f472d2c6e6dd -EBUILD primesieve-7.7.ebuild 1048 BLAKE2B bf12c35f6e722cb0f7dec8d3a141135668cbd460f59d9048dbd142b046ba85a0bb0d3bebd6f7063131bd299904da74285aa17839c4a9965e91efd56fab1abeb7 SHA512 71964a60f46c34240acbf715c5a023118d0a5fb79d5c47423ec60724d6d229c3c68d5b44306a24eb31f31f9a42d05b3a60c4e77856be49d27d62ac579b16eacc +EBUILD primesieve-7.7.ebuild 1047 BLAKE2B 3d68b141d9ae22af741a3c55dbbca7d955b5f8239fec7afc3cee0209c83bece49ba278dc6ca2adac56de2d97bfd2d484b4d8322f8e1ba2547011535258f26612 SHA512 9de7e6d72bcc93ee1cd6b15b2beb7b27980a42f500c9bfe39200611974e60092db94c4e307d6a2269b463e2d9ae340bef8faa0c1f02a368fe8bb5c1c46c47e57 MISC metadata.xml 671 BLAKE2B 66f6291e855c6ae971e436b1499e66295c5dd8ed8ae2f82f2383c7379abba2e1a42697bef34acb264b7ee962df6fd71f5d3231ae59deb7c48dd73cd5842a6ccd SHA512 0bc2a3ef693ee89e59046541754f7fb08be9c96fe94b5679254e43d9f89391c0a65271eb82c5c9163a6b80843f7477d56ab4911bafe57ec8c61179f9dde59277 diff --git a/sci-mathematics/primesieve/primesieve-7.7.ebuild b/sci-mathematics/primesieve/primesieve-7.7.ebuild index 5d26f8b6a858..dff175df46b6 100644 --- a/sci-mathematics/primesieve/primesieve-7.7.ebuild +++ b/sci-mathematics/primesieve/primesieve-7.7.ebuild @@ -5,7 +5,7 @@ EAPI=8 inherit cmake -DESCRIPTION="CLI and library for quickly generating prime numbers." +DESCRIPTION="CLI and library for quickly generating prime numbers" HOMEPAGE="https://github.com/kimwalisch/primesieve" SRC_URI="https://github.com/kimwalisch/${PN}/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz" LICENSE="BSD-2" diff --git a/sci-mathematics/psmt2-frontend/Manifest b/sci-mathematics/psmt2-frontend/Manifest index e1a8f50d3eaa..64fee26bb05f 100644 --- a/sci-mathematics/psmt2-frontend/Manifest +++ b/sci-mathematics/psmt2-frontend/Manifest @@ -1,4 +1,6 @@ AUX psmt2-frontend-0.2-gentoo.patch 607 BLAKE2B 4d3a967d9c694e74b1e33426d73f41e97be37510241291339e4d7c4e677ef247cc9dd28728df4fcdb6a0819aa8d1ccb6233d65cb206cbf78dcf9004af7744a7b SHA512 6ec9c1c89ceb023b57820f083722b4c4a693a27c38fcc63a9bf6403853c716a398f055a8db579e683a03f2ca8ccfcd9235796ce1f44867d47805279f6a0a8700 DIST psmt2-frontend-0.2.tar.gz 26976 BLAKE2B 2b45ceb8d824f5b11455ad0026064b6329b6c6e6173c091b36dc42e8c1dd36924d12d9296db3dcfe748a84fdc37a1a530f3ef485bec904c19a0e6aa8034149f9 SHA512 c29802f4265a1cbdb05ee9154ce2c156136af258bc7283dd0fb1d1b2ce162b671553cab96484036d898e3ff7c26ab133f5c2e1ca88e9e48660b2faa139fd1f41 +DIST psmt2-frontend-0.4.0.tar.gz 70801 BLAKE2B 337b3a87e9bff1c48eec9be4b1b50539c0114cdcdba1ac9c64ee180f73451b6a500f4a970a4f557dc3b886c5932bb72bb0b1b5e130a833b05502954c5279e702 SHA512 68b883f4bc4e0e39162807ffae251782871f372850c469889ea5ba5cf59388e363b1de5bc8087ad8624a1466b52611d0e41d78c6c3e6ac8af7c6e6e5c35630c5 EBUILD psmt2-frontend-0.2.ebuild 949 BLAKE2B c86ff25357b7d930a560559921f063bbd9fdfbe055eb2e06413e3619ec1834c24052718b30e022be46761846c57176e81fb5fa0374bb98b2c2be41b31c094a3f SHA512 db228543428bb17b0b7bb313deadebc6b01edf034bd48879aeed33fdb26a90f5cd51e3f95884dfff5bcce77a602ac64d95af7a4390350e96d7a77d6d89801feb -MISC metadata.xml 248 BLAKE2B a52f1b42e34917354d5d99824d47adca0f36afbe44b9f3398cc819976181e5b067ffc621d3d02f337cc080dbb8676864fd6ae0e5b48736a124687eeea01e11ba SHA512 7524a042ca62db175429683f3aee96e272e324d3e26f9d8c28d1737c5784b72962338d49dfeb28e172d171d55e46b9b889ac471eb3a26a0b58a0b3b20fb1d0b9 +EBUILD psmt2-frontend-0.4.0.ebuild 592 BLAKE2B b8a083d829869c62ee6daee94d53a73d04afe26549773497a66c2fddd80e028a65f54d89b111f86bf13c5fd6a674c2bf3f0cd7348407b26d7a1d81015aef43ca SHA512 bdef9291425a4b638035fb868e4d862ccea089fec4016524bd38df2f7e05ccad5e76df606947884f1622f0274fd6b6751083a5c63cc318c5311a9abbe5c8cd9e +MISC metadata.xml 731 BLAKE2B 14577e7299ccd12be2ce493d8544a43bf3cafc7ffe7dff3be057f1428b467a0f47195b937303c50b284e5df1896765436d0f122472fe2d9aab0ddcf45f7fe140 SHA512 6bf3fdf46245ea1c9ff4b032ebba4feb6b519ec16605b1f486a2daf28961a4fe7f58b419b31eacf077e2cb64ca3e846dc21d741c7a4be3b57003e55c572c985a diff --git a/sci-mathematics/psmt2-frontend/metadata.xml b/sci-mathematics/psmt2-frontend/metadata.xml index 8c0d75248cf7..ae10bf8fbbed 100644 --- a/sci-mathematics/psmt2-frontend/metadata.xml +++ b/sci-mathematics/psmt2-frontend/metadata.xml @@ -1,8 +1,21 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + <pkgmetadata> - <maintainer type="person"> - <email>tupone@gentoo.org</email> - <name>Tupone Alfredo</name> - </maintainer> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> + psmt2-frontend is an OCaml library to parse and type-check a conservative + extension of the SMT-LIB 2 standard with prenex polymorphism. + </longdescription> + <upstream> + <bugs-to>https://github.com/ACoquereau/psmt2-frontend/issues/</bugs-to> + <remote-id type="github">ACoquereau/psmt2-frontend</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild new file mode 100644 index 000000000000..4ff6c1c91532 --- /dev/null +++ b/sci-mathematics/psmt2-frontend/psmt2-frontend-0.4.0.ebuild @@ -0,0 +1,23 @@ +# Copyright 2019-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Library to parse and type-check an extension of the SMT-LIB 2 standard" +HOMEPAGE="https://github.com/OCamlPro-Coquera/psmt2-frontend" +SRC_URI="https://github.com/OCamlPro-Coquera/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt test" +RESTRICT="!test? ( test )" + +RDEPEND=">=dev-ml/menhir-20181006:=" +DEPEND="${RDEPEND}" +BDEPEND="test? ( + dev-ml/ppx_expect + dev-ml/ppx_inline_test +)" diff --git a/sci-mathematics/singular/Manifest b/sci-mathematics/singular/Manifest index 00d930c99119..259d431ff9fa 100644 --- a/sci-mathematics/singular/Manifest +++ b/sci-mathematics/singular/Manifest @@ -13,5 +13,5 @@ EBUILD singular-4.2.0_p1.ebuild 2259 BLAKE2B 2237245fe2550f398a20a14ae599bcc6682 EBUILD singular-4.2.0_p3-r1.ebuild 2428 BLAKE2B af72aae39de23df410fe1d6dfe475c3179f6355fffe1775d4d408bec6fe80aa37022e6a9838a45014488666b56cfaa627f1fc1d007d360fbbe6987f4b3ead197 SHA512 0921b4991019b449054fb7c7c60a9bd39ec6434a19321b79f63470f2e15889945f24bc15f48e12ba16a24ff23c368a73b0b062d0150104d39aa715511766bc55 EBUILD singular-4.2.1-r1.ebuild 2679 BLAKE2B 8e24286895a237762fc61ed6cfa7ec723ba9d06f25eb6ef8d228747f7658c487c6c29dc9c6fe93c4864d3e9ceaf61d3edbc023c326f83556095f6e62082220ba SHA512 dcc37fe96e0c3a50661c81eeb9ff7fc31aa5dba023712c5c922cdf3529410b854039a9644ffa7bfe4b9d7951b797a60ce7faa9477bfb0e8743f8f8edaab2c448 EBUILD singular-4.2.1.ebuild 2571 BLAKE2B 7ccf61735ce3bfd5472b646dceb77239430d44bff9816ea2c1a5cd1cd4807c0138ec2396a193c98b7c3b456a36ee72c6351ff95f949f3afa318b5955a14a014b SHA512 1aad8be5aee15235c8f4a865ec8e3e19c3cac61ae6c8db39e7a7f614119fa2dfc1869a7ce9cc6fb896a5ffb455c65e90b2fc91cf98d5b0a3e193941deadc807c -EBUILD singular-4.2.1_p3.ebuild 2672 BLAKE2B fb85c13b5f625b1a674aa912ba447931befcb3707a453aacdff8dc0ad38cb619d9bfb6d0d374a3d89e7049f1370788807591dd9d4f98fece569f19066dfdbf9b SHA512 f24886bdb006b4a362c1e8915666599f6d8c27218ce8dd7ce6717f9134fa286db02586d26001ec7779375107edfa81c560a271f1a50e0c8780bacfc3a885aded +EBUILD singular-4.2.1_p3.ebuild 2684 BLAKE2B 8d47db8a86f331a0fa6a907254338f05d807137a014b6be5578b9cf8152d51e1b1d2c9981b158e68d07b5ce8156dbfad2641dbd0fde237e78aaad4bd47ab7d4c SHA512 21d6e8c8c9a7467bbad0f6ea70696cc5b6c1eb25bd28a5362ade8e0e7926b13d02f4851e585fd98786066ba4dad475c688462e5607f8631b2fa7400a5ce121ec MISC metadata.xml 580 BLAKE2B 25a2f7adf99e9469811f49d1493b274298d2219874aca83e0569a8ca079514659338543a2dd002d5038b2c9b3cdae44772021e2bc1b0340c6237974744ade4a5 SHA512 385646f40f3a741faae6db06eacff9837608cd5860bbeadbbdfd7e0ff847f0a214a5b8373ea549f6463e0e29931b018af36c86394aa894dba10d1e691ada3902 diff --git a/sci-mathematics/singular/singular-4.2.1_p3.ebuild b/sci-mathematics/singular/singular-4.2.1_p3.ebuild index 451f17e9f05a..d08d33360a78 100644 --- a/sci-mathematics/singular/singular-4.2.1_p3.ebuild +++ b/sci-mathematics/singular/singular-4.2.1_p3.ebuild @@ -18,7 +18,7 @@ S="${WORKDIR}/${PN}-${MY_DIR2}" LICENSE="BSD GPL-2 GPL-3" SLOT="0" -KEYWORDS="~amd64 ~x86 ~x86-linux" +KEYWORDS="~amd64 ~ppc ~riscv ~x86 ~x86-linux" IUSE="emacs examples julia polymake +readline static-libs" RDEPEND=" diff --git a/sci-mathematics/smtinterpol/Manifest b/sci-mathematics/smtinterpol/Manifest new file mode 100644 index 000000000000..159b651bfb22 --- /dev/null +++ b/sci-mathematics/smtinterpol/Manifest @@ -0,0 +1,5 @@ +AUX smtinterpol-Version.template-version.patch 468 BLAKE2B 38fb0d6e26949f0e56a13ba41a440018e08409bc7527c4241f7c2d1a1824d727aa79f00dc45a854cbcf457caeceb032ec94ffa026234117073de011c89e94ccc SHA512 035dd014bc899f1694523dca5c59e2e80c510b77d3184ba38ec6c01439a555322e2fa3b9f2c8246656fe981685b49eef6370624cc55646222cb13fadf5569e0d +AUX smtinterpol-build.xml-basename.patch 527 BLAKE2B 41e72630f9d8502f00fe79261e9a45d812fad310ccd3ae45205dc0245abbaa5113824ec4fae1de814b8a98f6bc154de21bbfeeda76d514224320545b5680d0d8 SHA512 6a327c27aa661468619b0b94eab84ab894bd5a7d96ab5ac8c50d1ea4cf1286397a6a2b662fa7a352c6f61d1dcc7d51fbf4a7c7c083070e3625877b49831b790c +DIST smtinterpol-2.5_p20211018.tar.gz 10676726 BLAKE2B 27bed1f707241416f71d10ae33c39b7fe638b9650a26f3237409722a8782af3b09890dce9acf30ab2d0412cfbe94f57684850c51e486d3d7f7dddd8025021c8d SHA512 8630ae5f9cf3fdcbceffeeb1f199c2e21e27d0348d3aec5a7062ee5eb942c640661ae58603f273881f30f24630a92b041ea867086ce6d0a2eab5fdd924eb01c3 +EBUILD smtinterpol-2.5_p20211018.ebuild 861 BLAKE2B a6c5d7a1285e65ea87f6a7ffc046dc134c16344c228bd41c9ba76160d811fda8323ee8cea698bc50321b345f65060b643639e3e68beac07e5730ba9559b8feab SHA512 64777d2f76f5013317069f6c0bf049c181353116e05eed91aa2684749c79b77f2415abca6b57647c4ee2ab3daad799b39bc7b3a3237e2ff463b42340ee05291d +MISC metadata.xml 442 BLAKE2B 36be7f65ebd9b11bb690ce827679abc80f95272ad0f7fc505656735cd1403c33d368890743cda66cd0b5cbbc6cf55f54cecea43395b34d0d5d09b05b8ed203e4 SHA512 f10378fd1b8431e00e1e43bcd1a4e9e5d9c7fdb9163172068152b22f980b49db1d1874b4926203b21065730eb0424b38c6a7909a970013dbd6bb0c6b05606af1 diff --git a/sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch b/sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch new file mode 100644 index 000000000000..b6c5971be7ea --- /dev/null +++ b/sci-mathematics/smtinterpol/files/smtinterpol-Version.template-version.patch @@ -0,0 +1,11 @@ +index bf87cd1..6ca4533 100644 +--- a/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/Version.template ++++ b/SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/Version.template +@@ -23,5 +23,5 @@ package de.uni_freiburg.informatik.ultimate.smtinterpol; + * @author Jochen Hoenicke + */ + public interface Version { +- public final static String VERSION = "${version}"; ++ public final static String VERSION = "0"; + } +\ No newline at end of file diff --git a/sci-mathematics/smtinterpol/files/smtinterpol-build.xml-basename.patch b/sci-mathematics/smtinterpol/files/smtinterpol-build.xml-basename.patch new file mode 100644 index 000000000000..d6d2256826fd --- /dev/null +++ b/sci-mathematics/smtinterpol/files/smtinterpol-build.xml-basename.patch @@ -0,0 +1,12 @@ +index e105c33..21295bf 100644 +--- a/build.xml ++++ b/build.xml +@@ -32,7 +32,7 @@ stage: Upload new version to Maven Central (owner only) + <arg value="describe"/> + </exec> + <echo>Version is ${version}</echo> +- <property name="jar.basename" value="${artifactId}-${version}"/> ++ <property name="jar.basename" value="${artifactId}"/> + <tstamp> + <format property="build.date" pattern="yyyy-MM-dd"/> + <format property="build.year" pattern="yyyy"/> diff --git a/sci-mathematics/smtinterpol/metadata.xml b/sci-mathematics/smtinterpol/metadata.xml new file mode 100644 index 000000000000..242a13366da1 --- /dev/null +++ b/sci-mathematics/smtinterpol/metadata.xml @@ -0,0 +1,13 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <upstream> + <bugs-to>https://github.com/ultimate-pa/smtinterpol/issues/</bugs-to> + <remote-id type="github">ultimate-pa/smtinterpol</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild new file mode 100644 index 000000000000..495a57f37578 --- /dev/null +++ b/sci-mathematics/smtinterpol/smtinterpol-2.5_p20211018.ebuild @@ -0,0 +1,41 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +H=32d7fa8751f668f9e9a18e4e96df3337b53d2150 + +inherit java-pkg-2 java-ant-2 + +DESCRIPTION="Interpolating SMT-solver that can compute Craig interpolants for various theories" +HOMEPAGE="http://ultimate.informatik.uni-freiburg.de/smtinterpol/" +SRC_URI="https://github.com/ultimate-pa/${PN}/archive/${H}.tar.gz -> ${P}.tar.gz" +S="${WORKDIR}/${PN}-${H}" + +LICENSE="LGPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86" + +DEPEND=">=virtual/jdk-1.8" +RDEPEND=">=virtual/jre-1.8" + +PATCHES=( + "${FILESDIR}"/${PN}-Version.template-version.patch + "${FILESDIR}"/${PN}-build.xml-basename.patch +) + +src_prepare() { + default + java-pkg-2_src_prepare +} + +src_compile() { + eant all +} + +src_install() { + java-pkg_dojar dist/*.jar + java-pkg_dolauncher ${PN} --jar ${PN}.jar + + einstalldocs +} diff --git a/sci-mathematics/stp/Manifest b/sci-mathematics/stp/Manifest new file mode 100644 index 000000000000..a3e1e0ee2d0d --- /dev/null +++ b/sci-mathematics/stp/Manifest @@ -0,0 +1,7 @@ +AUX stp-CMakeLists.txt-fix_cflags.patch 721 BLAKE2B 31f116d43270558ee88b3cde1cb6303ee35a0078ca7c1be805260a405d5932068609918d711e3c6f3ec0e01e468c0647e1b2b392311e9408a7959736c86cf720 SHA512 1b5f2e9592f178ba31797da152e960c2a78ecf37dae2737f122f6becf16b0235e515129119b176fb5439e77597ab3d5c5f910bb764e13740922bc395a3fab17b +AUX stp-stp.py-library_path.patch 372 BLAKE2B 1e36f48d2c403cdea156157826a1b3c3e424dc864bf87b30c66d13deadacc25479aaca2c44f89773c20c7ec48b49ce0c65e642e46a8ea22bd5c4695fe15ae86f SHA512 d5feaf02395d90fdba997aebbf582d764e9c238cce4300caba4316b60a1164cc3ce11e8756dd341dc6e3bc53a153fedac4c322776ca5d5b951eaf3a997456973 +DIST stp-2.3.3.tar.gz 2577550 BLAKE2B 9ebedf3cb8e6b50d037cfacbc14826bd4e6505d29a53b1fcc6580749f0637fe5f96619c166babdb3a52b18fb6337e49c02f5693e233effe84d0131d0e7402381 SHA512 a0b1bf419d8230e40ce0aee90d9c8c9d814aca300831c24b3576c75623362942abf20673c419f9f0ea1e0505bfae000dc65fdd818179f5759879b0b255f1b99a +DIST stp-2.3.3_OutputCheck.tar.gz 12002 BLAKE2B f8fafba8f7957f3d0ee480b9e1e8c8923c373cf134512d6329adf84a96f3177ad07d00eae4dc6dd8d4b09ca82dfc8b425602f1926e3f88ccb2556b4b7121e5b9 SHA512 36012ae2b2aee1ff3f36ba1678a4bcbfeb590e01c2042ca35eb2f49b6a890b767c1809d1415e7b03f2118204361f834ad9caf70319b59fd14b2c140bf858d16e +DIST stp-2.3.3_gtest.tar.gz 469100 BLAKE2B 386444657d3f23e54f01dac8e0ac36da4d97c3eebcc8cf79bfc754c474a5ed64765a0ad389fef358667e468469c47d02a407e13e6882d426a4defb0102e4a758 SHA512 2fc79fe9c8a4e0487e7e76db9508fd2207df0cfe3940a51aeac32e4440afab9e265bfe553b1cd66086cd5a574d8bf99dbb9e1d9c4a70fafd7b31f38825914aa1 +EBUILD stp-2.3.3-r1.ebuild 2162 BLAKE2B 349a76a00f6a2e05b5984b87b6fd79b2ee233ec430aa4be21763200900293a578b08b0cd569cb1056c1b327c099b418e11782af0d7c51debd88bf4846965aee4 SHA512 a131a42160283c5d3326a325b8f884d830bbf9f851e4625f751f42362ca40e61e2eaa52147daf3764873ed85977d71bcf84fd52073d52e76bc3a4c55a18c21b9 +MISC metadata.xml 1110 BLAKE2B e13b9420b7f730e6b9e2571e3f4e8a48cf7f54b16fa767fce48099549071c4c819e16a5da25b6779c77a5a7a7f21c3ec61eeb2719867f874a1c4fa21b84e32f2 SHA512 aa3ddfd8d3bf4647f230f0ca55b6f70f9f82f2ae63fe21edad637397fb1bd2779241a2e439a48bed59bd1de11ef3b4e275731c6a90873ec5d86bb5897bf2a9f0 diff --git a/sci-mathematics/stp/files/stp-CMakeLists.txt-fix_cflags.patch b/sci-mathematics/stp/files/stp-CMakeLists.txt-fix_cflags.patch new file mode 100644 index 000000000000..93817e209376 --- /dev/null +++ b/sci-mathematics/stp/files/stp-CMakeLists.txt-fix_cflags.patch @@ -0,0 +1,21 @@ +index f6224a6..8c7c45e 100644 +--- a/CMakeLists.txt ++++ b/CMakeLists.txt +@@ -203,17 +203,9 @@ if (NOT MSVC) + add_compile_options( -g) + add_compile_options( -pthread ) + +- add_compile_options("$<$<CONFIG:RELWITHDEBINFO>:-O2>") +- +- add_compile_options("$<$<CONFIG:RELEASE>:-O2>") + add_compile_options("$<$<CONFIG:RELEASE>:-g0>") + + add_compile_options("$<$<CONFIG:DEBUG>:-O0>") +- +- if(NOT CMAKE_BUILD_TYPE STREQUAL "Debug") +- set(CMAKE_SHARED_LINKER_FLAGS "${CMAKE_SHARED_LINKER_FLAGS} -O2") +- set(CMAKE_EXE_LINKER_FLAGS "${CMAKE_EXE_LINKER_FLAGS} -O2") +- endif() + else() + # see https://msdn.microsoft.com/en-us/library/fwkeyyhe.aspx for details + # /ZI = include debug info diff --git a/sci-mathematics/stp/files/stp-stp.py-library_path.patch b/sci-mathematics/stp/files/stp-stp.py-library_path.patch new file mode 100644 index 000000000000..60b54aa2c1da --- /dev/null +++ b/sci-mathematics/stp/files/stp-stp.py-library_path.patch @@ -0,0 +1,15 @@ +index 61aef6d..16633e8 100644 +--- a/bindings/python/stp/stp.py.in ++++ b/bindings/python/stp/stp.py.in +@@ -42,7 +42,10 @@ Py3 = sys.version_info >= (3, 0, 0) + if Py3: + long = int + +-from library_path import PATHS ++try: ++ from .library_path import PATHS ++except ImportError: ++ from library_path import PATHS + + for path in PATHS: + if not os.path.exists(path): diff --git a/sci-mathematics/stp/metadata.xml b/sci-mathematics/stp/metadata.xml new file mode 100644 index 000000000000..5054ed8fec27 --- /dev/null +++ b/sci-mathematics/stp/metadata.xml @@ -0,0 +1,33 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="person" proxied="yes"> + <email>jeffrey@icurse.nl</email> + <name>Jeffrey Lin</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> + STP is a constraint solver (or SMT solver) aimed at solving + constraints of bitvectors and arrays. These types of + constraints can be generated by program analysis tools, theorem + provers, automated bug finders, cryptographic attack tools, + intelligent fuzzers, model checkers, and by many other + applications. + </longdescription> + <upstream> + <bugs-to>https://github.com/stp/stp/issues/</bugs-to> + <remote-id type="github">stp/stp</remote-id> + </upstream> + <use> + <flag name="cryptominisat"> + Enable <pkg>sci-mathematics/cryptominisat</pkg> support + </flag> + <flag name="python"> + Enable building the Python interface + </flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/stp/stp-2.3.3-r1.ebuild b/sci-mathematics/stp/stp-2.3.3-r1.ebuild new file mode 100644 index 000000000000..367251ea5f8f --- /dev/null +++ b/sci-mathematics/stp/stp-2.3.3-r1.ebuild @@ -0,0 +1,94 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +OC_H=119fe41a83bc455a24a11ecc9b78e7b13fcfcc45 +GT_H=2ad076167a676e3ed62f90b754b30fac5caa1f88 + +PYTHON_COMPAT=( python3_{8,9,10} ) + +inherit python-single-r1 cmake + +DESCRIPTION="Simple Theorem Prover, an efficient SMT solver for bitvectors" +HOMEPAGE="https://stp.github.io/" +SRC_URI="https://github.com/stp/stp/archive/${PV}.tar.gz -> ${P}.tar.gz + test? ( + https://github.com/stp/OutputCheck/archive/${OC_H}.tar.gz -> ${P}_OutputCheck.tar.gz + https://github.com/stp/googletest/archive/${GT_H}.tar.gz -> ${P}_gtest.tar.gz + )" + +LICENSE="GPL-2+ MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="cryptominisat debug +python test" +REQUIRED_USE="python? ( ${PYTHON_REQUIRED_USE} )" +RESTRICT="!test? ( test )" + +RDEPEND=" + dev-libs/boost:= + sci-mathematics/minisat:= + sys-libs/zlib:= + cryptominisat? ( + dev-db/sqlite:3 + dev-libs/icu:= + sci-mathematics/cryptominisat:= + ) + python? ( ${PYTHON_DEPS} ) +" +DEPEND="${RDEPEND}" +BDEPEND="test? ( dev-python/lit )" + +PATCHES=( + "${FILESDIR}"/stp-CMakeLists.txt-fix_cflags.patch + "${FILESDIR}"/stp-stp.py-library_path.patch +) + +pkg_setup() { + use python && python-single-r1_pkg_setup +} + +src_unpack() { + unpack ${P}.tar.gz + + if use test ; then + local i + for i in OutputCheck gtest ; do + tar xf "${DISTDIR}"/${P}_${i}.tar.gz --strip-components=1 \ + -C "${S}"/utils/${i} || die "failed to unpack ${i}" + done + fi +} + +src_prepare() { + # Replace static lib with get_libdir + sed -i "s/set(LIBDIR lib/set(LIBDIR $(get_libdir)/" CMakeLists.txt || die + + # Remove problematic test + rm "${S}"/tests/query-files/misc-tests/no-query.cvc || die + + cmake_src_prepare +} + +src_configure() { + local CMAKE_BUILD_TYPE + if use debug ; then + CMAKE_BUILD_TYPE=Debug + else + CMAKE_BUILD_TYPE=Release + fi + local mycmakeargs=( + -DNOCRYPTOMINISAT=$(usex cryptominisat 'OFF' 'ON') # double negation + -DENABLE_PYTHON_INTERFACE=$(usex python) + -DENABLE_ASSERTIONS=$(usex test) + -DENABLE_TESTING=$(usex test) + ) + cmake_src_configure +} + +src_install() { + cmake_src_install + mv "${D}"/usr/man "${D}"/usr/share/man || die + + dodoc -r papers +} diff --git a/sci-mathematics/topcom/Manifest b/sci-mathematics/topcom/Manifest index 7ed6b67aa6dd..a79bad965c98 100644 --- a/sci-mathematics/topcom/Manifest +++ b/sci-mathematics/topcom/Manifest @@ -4,5 +4,5 @@ DIST TOPCOM-0.17.7.tar.gz 8661519 BLAKE2B f42d273b39b15ccaf0d24ad360dc91cecd2ab8 DIST TOPCOM-0.17.8.tar.gz 8994044 BLAKE2B 27426b9fd9da8bc51e3632483cdd1c3f878a03d22dcad637c1c26368d58dbc9a9ef4c6918e314484336b1355cdf703287bf50d248e257773729a4d9fd012c0ca SHA512 2ddab2f30bf3adf93f0bb76c50bc70a5927fe2a9561a59df0ac7bec193b9a9b231eecb58c69840247536b73fda5298955518e798c3b5f8d2961ca09dfdc81cce DIST TOPCOM-manual.html 19251 BLAKE2B 8e361fd81bed45b552766a86a856ed1411154b5c523e14463750651d1c8d7b0f1f25a7c29bfdc34910fad3d19a1df94ded47b63a973f22baf3d60a7c5f0e1578 SHA512 5d0303f141bce12e0354c2fb65420102aa198e2271c0e901621f850b47f9cf9642659b0cf8e9bcc7a6da3b39914c20e47c67e72aa9cf999892f80855daa25c67 EBUILD topcom-0.17.7-r1.ebuild 1167 BLAKE2B 2e94f559c1f84a4ff1d384f2da1a86dbc76fa2fc405fedf6d00040d8ca3a71f23365f4d04947236f02195ea3d2b0c23a762e1abf48c384de88b233d6686bda40 SHA512 a4e492e95d249625f67cdab3e492475a3276e45e550f9b6c643fa1214db07dca72f84bf3110bd2dbcaff0694542d2d05bab0197ae2b43077ebe010273be87981 -EBUILD topcom-0.17.8-r1.ebuild 1301 BLAKE2B 459aa85f1cbf0a33ef96c597e9a7e00dfa4d15fc2fc5a5fbd0bc0825d6620fc8d36ff41bc4cfcdae7a477bc52797368efe76b01044396b6b9e51027f0205eba6 SHA512 9d77312e83cbe06a53dc5c8b573a118bc38b49b60515972fd08b88ffc5fbef5987d03bfe4b0c52ba92a66d981121e7f64882f26e4a9e1548d3de853283358938 +EBUILD topcom-0.17.8-r1.ebuild 1308 BLAKE2B a090c79de38e71c559f29ef9919d899044d105184f05ea83b96dd757b2379939bc7c0876dac33eaa6db655d0381eac6a6f4c9f2001cf82664483c27f718c1772 SHA512 eae5309fbcf4d2105839867725e852fa3077fcc2fa4e77dfa99a54054f23d1b452e0551d6509b6b7f682dae980f147d8e6a709c68ecef51e1cae4c36d84d1669 MISC metadata.xml 270 BLAKE2B 4a5eb6dd2d9b902f13d543c859532c69cadc4595acd36675d25ff9ff204757f274327f87aa1bd7ddb1f040d5b028f52f614828b6794c19f60cc08dca04185af6 SHA512 cff77e4b0c454fc9c32b427b012585f4b1ab12dc2ca19ef669b43b0c64eb0ad6ffdc07a04c0c3e4eef8ce621f3a90c701bdd824cbc6e828aa62f6450f40ac1c6 diff --git a/sci-mathematics/topcom/topcom-0.17.8-r1.ebuild b/sci-mathematics/topcom/topcom-0.17.8-r1.ebuild index 1bf043adc34f..d0558905f947 100644 --- a/sci-mathematics/topcom/topcom-0.17.8-r1.ebuild +++ b/sci-mathematics/topcom/topcom-0.17.8-r1.ebuild @@ -11,7 +11,7 @@ SRC_URI=" http://www.rambau.wm.uni-bayreuth.de/Software/TOPCOM-${PV}.tar.gz http://www.rambau.wm.uni-bayreuth.de/TOPCOM/TOPCOM-manual.html " -KEYWORDS="~amd64 ~x86" +KEYWORDS="~amd64 ~riscv ~x86" SLOT="0" LICENSE="GPL-2" IUSE="examples" diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest index 4d3c9fa18d67..281766a081c1 100644 --- a/sci-mathematics/vampire/Manifest +++ b/sci-mathematics/vampire/Manifest @@ -1,3 +1,3 @@ DIST vampire-4.6.1.tar.gz 1511760 BLAKE2B 52ede8ac009379b15bc57b2ffe45965cbaf772f0e90bc619d859b85b77ce81eadbdd7ddae7c5e0e9cc69564a07f0abefa17109f7192e6afe634a5a929817fe92 SHA512 7ffeee64e9e4666344c0f9155c7e980920666813388416062cee89e43003fef5a8a54b8656cc42d2fa58b6fb3b87ef7f2c671bfc6787075df4058dcc3a1d46e1 EBUILD vampire-4.6.1.ebuild 1172 BLAKE2B 7dd2f6e829b0b0d827898f9e8fad4bb7b0419200a5a464d4cfd1494e930d4d89c99e1cfc331e2ef71d20fc7525483cd72d390466b8c6e611c5713b66fcdd5e15 SHA512 628f41b3193f6892e3e012aca9d337975e45320e7cd9921c95263ede37518fab08bf9a83c537cd7571247a1a1135af569c4be41158f488c041c629d9416e637f -MISC metadata.xml 993 BLAKE2B ac21215fc29f278d2678c39b250e1be3b765f0ed6896445de16e47d79467ca8b40a3f5b06d7b03bf206b82301ba6e26cd35767c82f10910b47adb447410f728d SHA512 f274deb71f13832f5809017e993c58c691e28efb6e30d413d0b5af496feb4c97e638dd56df4fc9f615dd02137dd287228c9b4150326145553c83bd39f7112334 +MISC metadata.xml 1019 BLAKE2B 0fe27792f7eb8e3cff02308012a69bbed5229dfbff94822896455464e0497d1c08327644acea04b0e84ab382679668754f4744af6b1906113f804b56cc38a90a SHA512 6e1fa1801cb7571421d9445d4ec514388973428345d2d4b7e371f7f2380a966a6d80ffbca38d8057145ee223288e7186c2b1dc3f5de0b1f54c53443ae97e0744 diff --git a/sci-mathematics/vampire/metadata.xml b/sci-mathematics/vampire/metadata.xml index 4785a01c9b05..b290952a34d5 100644 --- a/sci-mathematics/vampire/metadata.xml +++ b/sci-mathematics/vampire/metadata.xml @@ -2,9 +2,9 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>xgqt@gentoo.org</email> - <name>Maciej Barć</name> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> </maintainer> <longdescription> Vampire is a theorem prover, that is, a system able to prove theorems — diff --git a/sci-mathematics/verit/Manifest b/sci-mathematics/verit/Manifest index 33bd4ca29d74..b6db2bf874c3 100644 --- a/sci-mathematics/verit/Manifest +++ b/sci-mathematics/verit/Manifest @@ -1,3 +1,3 @@ DIST verit-2021.06.2-rmx.tar.gz 683775 BLAKE2B e7488ef11f37c4312dc3bb7809c8f4a134c70e0cb893a9127235e5bd660e3cf88648d5af598f650d25aed02eb864c171479a570b4e47b96ab2bb5f6aba3e6926 SHA512 4dfdbcf12fefaba13f5540a08a520e15666ca3bb923483b86eac708cf23bd5d8441d9a687487ae38f9bbdbc023beedf3e503800e99622cb71fb086329c047a4d EBUILD verit-2021.06.2.ebuild 508 BLAKE2B 6ac727f550f8fa0c81b70e509e2381e26eee8745b3c16f7626b0f02408bac78b0b2cd88b11c99f815f9439e0454d714254c0b3fa56ec0a063369e74048ba422a SHA512 60e00146bf88f2d93b9a5ec476568700154df6a70b67b85fe3c37bee495546cddc6942b3d5a1659c4252e1a22073d5c776452548cf1bc6d2812834d92faae80f -MISC metadata.xml 628 BLAKE2B a23cb8e317e25706a6aef22a09639ab69d5255d624dee52234070050ce571bf41d6ad14c06808905c59632fc3fab429c4b6cabb7e06dfec08a7ebf7ff538b5bb SHA512 7d612a0cf762d81799fe3954bedd02c6d7392d20fff12bf1f515723889fec0aa59d4494c6f939c4166ad72f6ec6202b62fa9c8ff91695bc28d9d26f447c6b229 +MISC metadata.xml 654 BLAKE2B a80ae2771051d1660ef87811291c9a36eb11a596cc3ab2ac3bed1496b178988cfe666b0a62b7ce3fbde4b3b580c5d457e8a2f6be826d90f070086c3c0938e969 SHA512 b6d826f6d1e973c28c5a274628e58e973a7913ad0d254496aa596e172fc4a7469c84a289e64e6ed5542a7983fd06a46d4d3f51ca72aa5e4d469a963749686b4b diff --git a/sci-mathematics/verit/metadata.xml b/sci-mathematics/verit/metadata.xml index cd0a6cfe1019..de5342d8a613 100644 --- a/sci-mathematics/verit/metadata.xml +++ b/sci-mathematics/verit/metadata.xml @@ -2,9 +2,9 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>xgqt@gentoo.org</email> - <name>Maciej Barć</name> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> </maintainer> <longdescription> veriT is a SMT (Satisfiability Modulo Theories) solver. It is open-source, |