diff options
Diffstat (limited to 'sci-mathematics')
34 files changed, 418 insertions, 455 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz Binary files differindex f88f2160d23b..ad64b07f4753 100644 --- a/sci-mathematics/Manifest.gz +++ b/sci-mathematics/Manifest.gz diff --git a/sci-mathematics/arb/Manifest b/sci-mathematics/arb/Manifest index d1b4b14a11b7..16500b127a2c 100644 --- a/sci-mathematics/arb/Manifest +++ b/sci-mathematics/arb/Manifest @@ -1,13 +1,8 @@ -AUX arb-2.18.0-build_type.patch 866 BLAKE2B c127152e03d8dd532558a7dc95e4dd2cc1079073d8c30095feea6fa11a65ced564b94dbe3f2c3295fe47a010982a95b2e4408101ad078017d296f9c796f33ddd SHA512 b38728b103b55b19da1f92f9db8bfae74f275d54f83f3409e18503f199467e48fb74bdfb3716c28c01201dd19e8d78d20036671f99cdb63738f33416dc8eb7a2 AUX arb-2.18.0-multilib-strict.patch 590 BLAKE2B 7f438139ff5f0a19db074ea3bfab064da968424520bc81af242b58675657a7cacce0921076cb5525e00e2d6c33f2b75ed898ffdba7ce730855b09f2b7f8863a1 SHA512 ec9de9a642dd4cb859460132ed597474df4eb2b3f28cdf3ebcb5109fedc2866eda91b0d301149d94f71dd67c105a1dda3d0aed94dcfe34c9ff9fc4083ee6817c AUX arb-2.21.0-gamma_fmpq-testfix.patch 2291 BLAKE2B 019af88d2e8c56cd9fcab960fd8fca6f0fdb74e69e72866edcd437700761768c78bd0cfa925ed9bac1c33e4e7c958bfca7939b7cef7c1b7186537dd0573e5414 SHA512 fe40677a95996f54121379e5bef0921e13923be80c68a7821177b371d71d4847e4ed903f3bc0c266c6c6de7fae9ede7cbaa59d5927b4bdb3cc7e58d588aaad68 AUX arb-2.21.0-qa-warning-fix.patch 541 BLAKE2B 22d701fc07e2c3b8ad3fa0603204d7d35a9c9182b6ba9ced2d786866f8a15a4dd07c97a2702d723de98f5e264a5ca107ad24dc99095e46485fb75696114c6909 SHA512 5addd977a49fa5e9ec9847b07a3043d78ce7d7df5d6947ae895dd345424fa1941335e7a3691cee1497036e33b47fe1858e42b07277629956fe0299c4034b2d79 -DIST arb-2.17.0.tar.gz 1589083 BLAKE2B 68d5b04dca24129ceaec4e05124e35b474157cf1efbb6505121a03058e014cd4eb67b99497dbbafcf62e9e31f9d11c92f749f6e047e6b1513b6c0cc5ef8f22da SHA512 201e0cebbd1c4857d194e5531c76c6e45a478cf6965b836818919adf0fc04f0fe25e16ecd49c62a438876b67f009b872c4f3c774fe35620be0b22c5e08bdb824 -DIST arb-2.18.1.tar.gz 1595831 BLAKE2B 010ae7a17a9cc1c11ded5806ff761115f3e78c48a5d8fc058eae0715b1e00e40345d4e6445a84c71c37627879648f445663dcc3bbcebdeaac8439a993ade38ee SHA512 07afb45829119bc695926dab4221051b221c2cc3952e42c9928efc74570b05fc01c97ea86b1b67c16d7a19a55b4e32dce97e08c9b72f36b33dd62bfccd19bb05 DIST arb-2.19.0.tar.gz 1606463 BLAKE2B 85d832113ae42737a460198cbf485f825a9435963a888c0d0ab87b7ed7277d158480b573fd8ace42484dd4767bf4f1a372f637cfff01f18c105fd2b62d0d019e SHA512 199d1a26edd01e3b30f7aef69a9ae29456e3db384037744a1e073007ddb93a248873dfe83f3e48f9de58a9d17ebd7dc9a22a058f4adf766599d01d7eb17db204 DIST arb-2.21.0.tar.gz 1842021 BLAKE2B 1ab3c4d18eb1918eaee9ea9aff68d82fc33a136ff5612e5173bf0cc29e5753f2c002256d68ae7983b5677d5082ab6849c68755e7544cee24144ca4e84e4d8411 SHA512 e441f8325d3095f1d568ebf9018520aedb25b6a066678e870942efcc8ac005dbf10cdffe42bc4fdbce3ba3ac397241c1d92fb54556e444243bd56dd3d5d72664 -EBUILD arb-2.17.0.ebuild 2025 BLAKE2B aad028595287b91057475d8ea72305c8f720558917009660ef09502e5e22c371192eb6c0e52f281d6fdf9944cbf2038b9d39b1ca7ad9f5a5337b5e796f49bd92 SHA512 5160ed2793dd71af6005ec4ca75bc404c880c149519b85b3f19c51da2321ffbe99b0c6bc7e41dab1de6f624abd16bb3fcc55479dd8ae6cf4af20bca3a3954ed6 -EBUILD arb-2.18.1.ebuild 778 BLAKE2B a8b078451c6ae4907242d87c08a39814bf1c4e77648ed20ccecdc0a93810e3553b03e01aea9a194de9d8c853f871ce016717c95a5cc3dcc53604d1fb77a5067c SHA512 edd48a1e3724defd85700a5c6ec6b98ea9c12cae5f060c540be4610c7e7c8cf266d76ce7522bb482f868e8bede4430d2fd88996d985b6ea294ee79cb4713b938 -EBUILD arb-2.19.0.ebuild 751 BLAKE2B 84cdad6036faaf1a78268921ce0398addc31c6ac4e70681af10794f1c14c50545998870d31c28d8d59f0479ea7b9de395b8e9668daab66e0f2b2f894476d4978 SHA512 c484d59ebfb19fd9a9e05f69c9b7a246bc2e2d6802bb3c938afd3fefc82d984c7545c9b4314b61e949dc05ede11d222e377a66e50eb3123e385d643e983db125 +EBUILD arb-2.19.0.ebuild 749 BLAKE2B 05815e6f1635924824d5173ad0558627b5c98923b384d4f0dd2d369b7158acb0923f2f82d7d9ec29cb3f48cb30a402afe3adb3850d60ea60af5d95e4d1633dca SHA512 d7d9d2e1dd92cdc541de0212722b12c2db5eca27b00684f24af34d0829e1de91ecdafb731880d2eda177d363929e3bee3aa68f8a41f277f88b17a1554de01974 EBUILD arb-2.21.0.ebuild 794 BLAKE2B 31d5e76b4f9f2ae55c16d92826619035b0ee95f1e3be0f59d4bc1abdbd5e4c0358c24d4470e776aa72df82cdf45d495aa76646f9fe6505c26cff8b1bfc3fffe3 SHA512 a6b065d708ffa164a09302ec40a601073cb980c4a4e8fbe3e52ca46d94f2e2311dcb3fececa17210dcd1b2d8939c8240c73aea66b46ac90ef5a253c25bc37648 MISC metadata.xml 1108 BLAKE2B a2e3c1cf3f6c710c9b3e6fbf629101c3dccc9ae60c80da0d08853669019d7a2a03bb276dbe078cb6cb5ce6060ef7139a3658481d61a6d5e6d25f0cc1593be344 SHA512 2865a818ec7ffb77afc1c849fc960c2c39ec3bf6586b5f67e5c5037c6b6836fff0390224f27b1251a613d07107cf164ca11e05ec2f6988b629bd7e3a476e4854 diff --git a/sci-mathematics/arb/arb-2.17.0.ebuild b/sci-mathematics/arb/arb-2.17.0.ebuild deleted file mode 100644 index 70ee466cd34f..000000000000 --- a/sci-mathematics/arb/arb-2.17.0.ebuild +++ /dev/null @@ -1,74 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit toolchain-funcs - -DESCRIPTION="C library for arbitrary-precision interval arithmetic" -HOMEPAGE="http://fredrikj.net/arb/" -SRC_URI="https://github.com/fredrik-johansson/arb/archive/${PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="LGPL-2.1+" -SLOT="0/2" -KEYWORDS="amd64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos" -IUSE="static-libs" - -RDEPEND=" - dev-libs/gmp:0= - dev-libs/mpfr:0= - >=sci-mathematics/flint-2.5.0:=" - -DEPEND="${RDEPEND}" - -src_prepare() { - default - - # The autodetection finds "lib" first, which may e.g. contain 32-bit - # libs during a 64-bit build. - # - # Copied from flint which has the same issues because arb is just - # copying flint. Of course flint doesn't have a line for itself - # and, it had to be added. - sed -e "s:{GMP_DIR}/lib\":{GMP_DIR}/$(get_libdir)\":g" \ - -e "s:{MPFR_DIR}/lib\":{MPFR_DIR}/$(get_libdir)\":g" \ - -e "s:{FLINT_DIR}/lib\":{FLINT_DIR}/$(get_libdir)\":g" \ - -i configure -} - -src_configure() { - # Not an autoconf configure script. It appears to have been cloned - # from the flint configure script and that not all the options - # offered are valid. - tc-export CC AR CXX - ./configure \ - --prefix="${EPREFIX}/usr" \ - --with-flint="${EPREFIX}/usr" \ - --with-gmp="${EPREFIX}/usr" \ - --with-mpfr="${EPREFIX}/usr" \ - $(use_enable static-libs static) \ - CFLAGS="${CPPFLAGS} ${CFLAGS}" || die -} - -src_compile() { - emake verbose -} - -src_test() { - # We have to set the library path otherwise a previous install of - # libarb may be loaded. This is in part a consequence of setting - # the soname/installname I think. - if [[ ${CHOST} == *-darwin* ]] ; then - DYLD_LIBRARY_PATH="${S}" emake AT= QUIET_CC= QUIET_CXX= QUIET_AR= check - else - LD_LIBRARY_PATH="${S}" emake AT= QUIET_CC= QUIET_CXX= QUIET_AR= check - fi -} - -src_install() { - emake DESTDIR="${D}" LIBDIR="$(get_libdir)" install - if ! use static-libs; then - find "${ED}" -name '*.la' -delete || die - fi - dodoc README.md -} diff --git a/sci-mathematics/arb/arb-2.18.1.ebuild b/sci-mathematics/arb/arb-2.18.1.ebuild deleted file mode 100644 index ec1bac182a3a..000000000000 --- a/sci-mathematics/arb/arb-2.18.1.ebuild +++ /dev/null @@ -1,37 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit cmake - -DESCRIPTION="C library for arbitrary-precision interval arithmetic" -HOMEPAGE="https://fredrikj.net/arb/" -SRC_URI="https://github.com/fredrik-johansson/arb/archive/${PV}.tar.gz -> ${P}.tar.gz" -IUSE="test" - -RESTRICT="!test? ( test )" - -LICENSE="GPL-2+" -SLOT="0/2" -KEYWORDS="amd64 ~arm ~arm64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos" - -RDEPEND=" - dev-libs/gmp:0= - dev-libs/mpfr:0= - >=sci-mathematics/flint-2.5.0:=" - -DEPEND="${RDEPEND}" - -PATCHES=( - "${FILESDIR}"/${PN}-2.18.0-multilib-strict.patch - "${FILESDIR}"/${PN}-2.18.0-build_type.patch -) - -src_configure() { - local mycmakeargs=( - -DBUILD_TESTING="$(usex test)" - ) - - cmake_src_configure -} diff --git a/sci-mathematics/arb/arb-2.19.0.ebuild b/sci-mathematics/arb/arb-2.19.0.ebuild index 7a20eee66908..a841702944c9 100644 --- a/sci-mathematics/arb/arb-2.19.0.ebuild +++ b/sci-mathematics/arb/arb-2.19.0.ebuild @@ -15,7 +15,7 @@ RESTRICT="!test? ( test )" LICENSE="GPL-2+" SLOT="0/2" -KEYWORDS="~amd64 ~arm ~arm64 ~x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos" +KEYWORDS="amd64 ~arm ~arm64 x86 ~amd64-linux ~x86-linux ~ppc-macos ~x64-macos" RDEPEND=" dev-libs/gmp:0= diff --git a/sci-mathematics/arb/files/arb-2.18.0-build_type.patch b/sci-mathematics/arb/files/arb-2.18.0-build_type.patch deleted file mode 100644 index 1db7d5f2df42..000000000000 --- a/sci-mathematics/arb/files/arb-2.18.0-build_type.patch +++ /dev/null @@ -1,21 +0,0 @@ -diff --git a/CMakeLists.txt b/CMakeLists.txt -index ec806fe..4101c09 100644 ---- a/CMakeLists.txt -+++ b/CMakeLists.txt -@@ -19,11 +19,11 @@ endif () - set (BUILD_SHARED_LIBS yes CACHE BOOL "Build shared library or not") - set (BUILD_TESTING no CACHE BOOL "Build tests or not") - --if (NOT (CMAKE_BUILD_TYPE STREQUAL "Debug" OR -- CMAKE_BUILD_TYPE STREQUAL "Release")) -- message("${CMAKE_BUILD_TYPE}") -- message(FATAL_ERROR "CMAKE_BUILD_TYPE must be one of: Debug, Release (current value: '${CMAKE_BUILD_TYPE}')") --endif () -+# if (NOT (CMAKE_BUILD_TYPE STREQUAL "Debug" OR -+# CMAKE_BUILD_TYPE STREQUAL "Release")) -+# message("${CMAKE_BUILD_TYPE}") -+# message(FATAL_ERROR "CMAKE_BUILD_TYPE must be one of: Debug, Release (current value: '${CMAKE_BUILD_TYPE}')") -+# endif () - - if ("${CMAKE_SIZEOF_VOID_P}" STREQUAL "8") - set (PLATFORM "x64") diff --git a/sci-mathematics/coq/Manifest b/sci-mathematics/coq/Manifest index e6e56315a70c..ec1130fb2108 100644 --- a/sci-mathematics/coq/Manifest +++ b/sci-mathematics/coq/Manifest @@ -2,9 +2,6 @@ DIST coq-8.11.2.tar.gz 6564523 BLAKE2B 37ae7a1f899b8ce662d5c21542b2bec0e2e8f25e9 DIST coq-8.12.0.tar.gz 6774001 BLAKE2B dc1d6adf9d4bd50d46007fbf5fd43d1ea97b6b226d89ad943419d4cb7df1439950c94b5e3cc614eb789103d1ab50535909d4ba2079eafc2caa4fd91db30e747d SHA512 8a64624c578ce0ab781fb3b1f162bd8b095735ad891fdad2fb7c40849afbdc7c1360187c6b62a5ef2982566f4c6c78029240c611ae769943a5250af300eb1240 DIST coq-8.13.0.tar.gz 7010242 BLAKE2B bf9ec96b6698a2371be3164f65424a8ffb273252afc05e046267cae4265c1be71f89d0345f9e40ab3a93f5063080fd0224502cc0de808c7a0ddbb0edacab5fca SHA512 c355f0a9183f3669debd5f8f4ab96786215d0cccc37d1c2ac95a2d3c6115c8b0ee7ff7e23464b18444e2648ef3f8c221f0f3a28acf91199751cea2b74ee3fe8e EBUILD coq-8.11.2-r1.ebuild 1845 BLAKE2B 2d6bbe0787ce45b4e5130d3e9d3ec61f527fc72f2f9dfef15180ca3dbc1f46f34e7cd847c580df16a8affa97e9430e1fd045a14c4dd3bd02bc52c67d1211c55f SHA512 b39833afcbb6e33a7917f949258e91a1a11229ed68427644f80ce84a00b7254a17d8e6e41c6d778184e54c6d8928ff62cc840eee77239feea5cbc12dd3731972 -EBUILD coq-8.11.2.ebuild 1828 BLAKE2B d07bc2a17b827c6e063e45b8f025b492405d30ce6e1a5e8e297bdc4395da7a3d2f7bf8f5ad25e6258aad3a386f5cbf22bae5a75c442539ba88845e52b151f3f1 SHA512 f1b63d03e3e0a22c6491171ea481f44bbb178783ad7d8dff90e96dca6aa3b28392e4d05366f6bbfd6fcc7417f4a01349f206a994c5eef3b07adb64b3deb43184 -EBUILD coq-8.12.0-r1.ebuild 1830 BLAKE2B 8a1608893ea50abad518fdfbebbacb01967896d4850700be4952adac3118d76246d0e7484d7fe88c79de873d959779152c2e7ca7a628b1d618652e20e9f0a987 SHA512 f9e0119093fcba4a17bf26fa8df67c88c25e60fa4e49e39dd981bb21b3e399fffa7fdf555cd4e1ac159c88807cb7c807ade22fd35d9d68a633807dadd2906a1a -EBUILD coq-8.12.0-r2.ebuild 1849 BLAKE2B d06252eb2c7e81c38d039db39a4d5d49eec2086919252e68a88ac018f5ed9de5af75eb4c584808d931964e0c00a6be2cdba45b9e8dbf218175d2d2e1723f1a8a SHA512 cc5bb8735b0c69b306201e62461547788e7747b0f0e489442afbe2f3bbdd4f7e500843d6f9d1d9c7c1117cded48317384c2fdcb55cee007c650db53db70c9777 +EBUILD coq-8.12.0-r2.ebuild 1847 BLAKE2B 57496afca08cfde63635e873dc6d59d32356daa211d8a140820e07398f54bb38c114ac5ae5ad7ad101a6514117dc469783d3964aae18b27a54b18330087e5f49 SHA512 84fee1004970f88cfccc28717d75fad765dbe8b27ac7dae964e5729e47727f846ac69417bb5c585a68668396896c52a5f8421dbf77e73065d8ac7b9793f4900f EBUILD coq-8.13.0-r1.ebuild 1821 BLAKE2B 785a17783ee06916fa171449aebc1e54437f878656862e3cec93f1499097e80b57994e37dc597ff571dbe5d45fc19b984e1d10baf8b0b61e2a7c8cfd6b851d35 SHA512 e35a981b036d089afe934a9bcfc96da2d965fa17b8c90e38b8fe2194f9aaf1b693ceead2b26e77c1e4ee4ae23124bcba9aafdb6f17c5fa5ba0fa955b16c1fda5 -EBUILD coq-8.13.0.ebuild 1804 BLAKE2B 6b443acfa491ea6185cd5fda18337b4a1608a17e56794ec84ef20aff4fae1a941ea0d2b4060f3f5c66f64c580957742c7bb6d9bdbc88f01302da5a7fad234e59 SHA512 52dadb822e75899e0c7abb8b0c4fc4f0c241b9b4c52e254d9660d3df459d551d6b2db9ed57dc797864fede37e8b533023e90b6e003d04dd4d16f1a97a5198fc9 MISC metadata.xml 939 BLAKE2B e8da08122c0821621a51c3d0fee7d62302a7e0f2f5c37d5787ce2ee613df299a1256f78bbb1d1c6d045076055aad6a25849a02000b97be619b9e984694315ac3 SHA512 98ae3bfb70f27c4b5e5cb18ebe0b9b93ddbb855e426eb54d019957253b3077fc32f0810aae4049f1fcd53209da863addb4b1e88b21ea7422515ce387bfdbdf43 diff --git a/sci-mathematics/coq/coq-8.11.2.ebuild b/sci-mathematics/coq/coq-8.11.2.ebuild deleted file mode 100644 index 184f6501ee75..000000000000 --- a/sci-mathematics/coq/coq-8.11.2.ebuild +++ /dev/null @@ -1,90 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit desktop multilib - -MY_PV=${PV/_p/pl} -MY_P=${PN}-${MY_PV} - -DESCRIPTION="Proof assistant written in O'Caml" -HOMEPAGE="http://coq.inria.fr/" -SRC_URI="https://github.com/coq/coq/archive/V${MY_PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="gtk debug +ocamlopt doc" - -RESTRICT=test - -RDEPEND=" - dev-ml/camlp5:=[ocamlopt?] - || ( - dev-ml/num - <dev-lang/ocaml-4.09.0[ocamlopt?] - ) - gtk? ( - dev-ml/lablgtk:3=[sourceview,ocamlopt?] - dev-ml/lablgtk-sourceview:3=[ocamlopt?] - )" -DEPEND="${RDEPEND} - dev-ml/findlib - doc? ( - media-libs/netpbm[png,zlib] - virtual/latex-base - dev-tex/hevea - dev-texlive/texlive-latexrecommended - dev-texlive/texlive-pictures - dev-texlive/texlive-mathscience - dev-texlive/texlive-latexextra - )" - -S=${WORKDIR}/${MY_P} - -src_configure() { - ocaml_lib=$(ocamlc -where) - local myconf=( - -prefix /usr - -bindir /usr/bin - -libdir /usr/$(get_libdir)/coq - -mandir /usr/share/man - -coqdocdir /usr/$(get_libdir)/coq/coqdoc - -docdir /usr/share/doc/${PF} - -configdir /etc/xdg/${PN} - ) - - use debug && myconf+=( -debug ) - use doc || myconf+=( -with-doc no ) - - if use gtk; then - if use ocamlopt; then - myconf+=( -coqide opt ) - else - myconf+=( -coqide byte ) - fi - else - myconf+=( -coqide no ) - fi - - use ocamlopt || myconf+=( -byte-only ) - - export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/" - ./configure ${myconf[@]} || die "configure failed" -} - -src_compile() { - emake STRIP="true" -j1 world VERBOSE=1 -} - -src_test() { - emake STRIP="true" check VERBOSE=1 -} - -src_install() { - emake STRIP="true" COQINSTALLPREFIX="${D}" install VERBOSE=1 - dodoc README.md CREDITS - - use gtk && make_desktop_entry "coqide" "Coq IDE" "${EPREFIX}/usr/share/coq/coq.png" -} diff --git a/sci-mathematics/coq/coq-8.12.0-r1.ebuild b/sci-mathematics/coq/coq-8.12.0-r1.ebuild deleted file mode 100644 index 3efa55afdcd4..000000000000 --- a/sci-mathematics/coq/coq-8.12.0-r1.ebuild +++ /dev/null @@ -1,90 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit desktop multilib - -MY_PV=${PV/_p/pl} -MY_P=${PN}-${MY_PV} - -DESCRIPTION="Proof assistant written in O'Caml" -HOMEPAGE="http://coq.inria.fr/" -SRC_URI="https://github.com/coq/coq/archive/V${MY_PV}.tar.gz -> ${P}.tar.gz" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="amd64 x86" -IUSE="gtk debug +ocamlopt doc" - -RESTRICT=test - -RDEPEND=" - dev-ml/camlp5:=[ocamlopt?] - || ( - dev-ml/num - <dev-lang/ocaml-4.09.0[ocamlopt?] - ) - gtk? ( - dev-ml/lablgtk:3=[sourceview,ocamlopt?] - dev-ml/lablgtk-sourceview:3=[ocamlopt?] - )" -DEPEND="${RDEPEND} - dev-ml/findlib - doc? ( - media-libs/netpbm[png,zlib] - virtual/latex-base - dev-tex/hevea - dev-texlive/texlive-latexrecommended - dev-texlive/texlive-pictures - dev-texlive/texlive-mathscience - dev-texlive/texlive-latexextra - )" - -S=${WORKDIR}/${MY_P} - -src_configure() { - ocaml_lib=$(ocamlc -where) - local myconf=( - -prefix /usr - -bindir /usr/bin - -libdir /usr/$(get_libdir)/coq - -mandir /usr/share/man - -coqdocdir /usr/$(get_libdir)/coq/coqdoc - -docdir /usr/share/doc/${PF} - -configdir /etc/xdg/${PN} - ) - - use debug && myconf+=( -debug ) - use doc || myconf+=( -with-doc no ) - - if use gtk; then - if use ocamlopt; then - myconf+=( -coqide opt ) - else - myconf+=( -coqide byte ) - fi - else - myconf+=( -coqide no ) - fi - - use ocamlopt || myconf+=( -byte-only ) - - export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/" - ./configure ${myconf[@]} || die "configure failed" -} - -src_compile() { - emake STRIP="true" -j1 world VERBOSE=1 -} - -src_test() { - emake STRIP="true" check VERBOSE=1 -} - -src_install() { - emake STRIP="true" COQINSTALLPREFIX="${D}" install -j1 VERBOSE=1 - dodoc README.md CREDITS - - use gtk && make_desktop_entry "coqide" "Coq IDE" "${EPREFIX}/usr/share/coq/coq.png" -} diff --git a/sci-mathematics/coq/coq-8.12.0-r2.ebuild b/sci-mathematics/coq/coq-8.12.0-r2.ebuild index 8ac534f46bf8..71295a252044 100644 --- a/sci-mathematics/coq/coq-8.12.0-r2.ebuild +++ b/sci-mathematics/coq/coq-8.12.0-r2.ebuild @@ -14,7 +14,7 @@ SRC_URI="https://github.com/coq/coq/archive/V${MY_PV}.tar.gz -> ${P}.tar.gz" LICENSE="LGPL-2.1" SLOT="0" -KEYWORDS="~amd64 ~x86" +KEYWORDS="amd64 x86" IUSE="gtk debug +ocamlopt doc" RESTRICT=test diff --git a/sci-mathematics/coq/coq-8.13.0.ebuild b/sci-mathematics/coq/coq-8.13.0.ebuild deleted file mode 100644 index 88e7292b5a63..000000000000 --- a/sci-mathematics/coq/coq-8.13.0.ebuild +++ /dev/null @@ -1,88 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit desktop findlib - -MY_PV=${PV/_p/pl} -MY_P=${PN}-${MY_PV} - -DESCRIPTION="Proof assistant written in O'Caml" -HOMEPAGE="http://coq.inria.fr/" -SRC_URI="https://github.com/coq/coq/archive/V${MY_PV}.tar.gz -> ${P}.tar.gz" -S="${WORKDIR}/${MY_P}" - -LICENSE="LGPL-2.1" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="gtk debug +ocamlopt doc" - -RESTRICT="test" - -RDEPEND=" - dev-ml/zarith - || ( - dev-ml/num - <dev-lang/ocaml-4.09.0[ocamlopt?] - ) - gtk? ( - dev-ml/lablgtk:3=[sourceview,ocamlopt?] - dev-ml/lablgtk-sourceview:3=[ocamlopt?] - )" -DEPEND="${RDEPEND} - doc? ( - media-libs/netpbm[png,zlib] - virtual/latex-base - dev-tex/hevea - dev-texlive/texlive-latexrecommended - dev-texlive/texlive-pictures - dev-texlive/texlive-mathscience - dev-texlive/texlive-latexextra - )" - -src_configure() { - ocaml_lib=$(ocamlc -where) - local myconf=( - -prefix /usr - -bindir /usr/bin - -libdir /usr/$(get_libdir)/coq - -mandir /usr/share/man - -coqdocdir /usr/$(get_libdir)/coq/coqdoc - -docdir /usr/share/doc/${PF} - -configdir /etc/xdg/${PN} - ) - - use debug && myconf+=( -debug ) - use doc || myconf+=( -with-doc no ) - - if use gtk; then - if use ocamlopt; then - myconf+=( -coqide opt ) - else - myconf+=( -coqide byte ) - fi - else - myconf+=( -coqide no ) - fi - - use ocamlopt || myconf+=( -byte-only ) - - export CAML_LD_LIBRARY_PATH="${S}/kernel/byterun/" - ./configure ${myconf[@]} || die "configure failed" -} - -src_compile() { - emake STRIP="true" -j1 world VERBOSE=1 -} - -src_test() { - emake STRIP="true" check VERBOSE=1 -} - -src_install() { - emake STRIP="true" COQINSTALLPREFIX="${D}" install -j1 VERBOSE=1 - dodoc README.md CREDITS - - use gtk && make_desktop_entry "coqide" "Coq IDE" "${EPREFIX}/usr/share/coq/coq.png" -} diff --git a/sci-mathematics/easycrypt/Manifest b/sci-mathematics/easycrypt/Manifest new file mode 100644 index 000000000000..f3d073b6686b --- /dev/null +++ b/sci-mathematics/easycrypt/Manifest @@ -0,0 +1,3 @@ +DIST easycrypt-1.0_pre20211210.tar.gz 1185137 BLAKE2B 3557a8b0423109a3b3e6e02f6d1ad88f07847d105015546c90b5a46cf514f1311390d3a6f6476c042420b91a62ad095919f7ab616adee2778165d9d081070730 SHA512 0043eac02e916dc46ed1cb4f278f148f915d09f336e904b1a711c18d62cda177e434fc13682ec095a085e458ba90ca8dd02968206af60f0b80a378f16b205553 +EBUILD easycrypt-1.0_pre20211210-r1.ebuild 854 BLAKE2B 69628e4415d62c8371ebcc43bf3a50e26417ab5bca67ad5a08b12352deee65cdc03217297a1f6e48191c5e25d679e0094c9b6b8eedb3a93128a65b85de8b327b SHA512 aaab397b4d3288b047f32a337beecf43262fbfe4fc702a501f359bc20eeb11a002b386c8772b429fc4fda3a033f51cc44fc8d0d0d5e4c0f88fcef12d5bf8bab8 +MISC metadata.xml 662 BLAKE2B de713a2c7c496742f1b793a0b8f1cd959d5c138af886455b9ee8479281098ead17f9e4f82cdf9d7e411b3bfe9db090d8a791da19856632e7d33b740aee1e9d3b SHA512 7c43407b9779c6c80550e1049897315b8b8ed18655e0987a477bf820040363739fa80e4c8c76c6b7278290d21d088a739eb1a4f357c03b86ff8f4bb69a8cb833 diff --git a/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild new file mode 100644 index 000000000000..17f451552103 --- /dev/null +++ b/sci-mathematics/easycrypt/easycrypt-1.0_pre20211210-r1.ebuild @@ -0,0 +1,38 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +COMMIT="49aec58ea63a64adcf5fbabcc14c6739f337b206" + +inherit dune + +DESCRIPTION="Computer-Aided Cryptographic Proofs" +HOMEPAGE="https://github.com/EasyCrypt/easycrypt" + +if [[ "${PV}" == *9999* ]]; then + inherit git-r3 + EGIT_REPO_URI="https://github.com/EasyCrypt/${PN}.git" +else + SRC_URI="https://github.com/EasyCrypt/${PN}/archive/${COMMIT}.tar.gz -> ${P}.tar.gz" + S="${WORKDIR}/${PN}-${COMMIT}" +fi + +LICENSE="CeCILL-B CeCILL-C" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-4.08.0:=[ocamlopt?] + >=sci-mathematics/why3-1.4:= + dev-ml/batteries:= + dev-ml/camlzip:= + dev-ml/dune-build-info:= + dev-ml/dune-site:= + dev-ml/ocaml-inifiles:= + dev-ml/pcre-ocaml:= + dev-ml/yojson:= + dev-ml/zarith:= +" +DEPEND="${RDEPEND}" diff --git a/sci-mathematics/easycrypt/metadata.xml b/sci-mathematics/easycrypt/metadata.xml new file mode 100644 index 000000000000..08fb88e8b7d7 --- /dev/null +++ b/sci-mathematics/easycrypt/metadata.xml @@ -0,0 +1,18 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <longdescription> + EasyCrypt is a toolset for reasoning about relational properties of + probabilistic computations with adversarial code. Its main application is + the construction and verification of game-based cryptographic proofs. + </longdescription> + <upstream> + <bugs-to>https://github.com/EasyCrypt/easycrypt/issues/</bugs-to> + <remote-id type="github">EasyCrypt/easycrypt</remote-id> + </upstream> +</pkgmetadata> diff --git a/sci-mathematics/genius/Manifest b/sci-mathematics/genius/Manifest index 021c11693a2c..5994720e5d00 100644 --- a/sci-mathematics/genius/Manifest +++ b/sci-mathematics/genius/Manifest @@ -4,5 +4,5 @@ DIST genius-1.0.25.tar.xz 2935920 BLAKE2B 9e5a58e15a1e53a64b10c662f1dea91ec80987 DIST genius-1.0.27.tar.xz 2918348 BLAKE2B 6fcbcc270bb90fb3e949cb1f2707a32ff6d1282a17ef2bd90984427b472395d8f54852414b71b4acb212c28c3a0f313111dc1e8a63915668de7525d231141aa0 SHA512 e0361f8bb6aacf1e631046a61f8e3492212f33b152afa881947a882575ad64917bd80e3ba125d706bd89096b8684ad135f7bddc93fa9f164c2ec8e06140af348 DIST genius-reference.pdf 1024944 BLAKE2B e0058fbd266a4ed4bf29306520ac64b7ff9a970fa79b5132f5556b61a97dd985fe916c888d0d5a678528ef231a9c66310dc2affe01491c7848451b3d54f58274 SHA512 04af3870104d2320b1d4b345d74d713a0dfcdf8a228002506508f437659b3ef6037ead0b1f6b37cc335692150750b58c4007fdaaddd9540233474ccd10dac285 EBUILD genius-1.0.25.ebuild 1464 BLAKE2B 7174ebc4f67d1c9a51b95268f3ee239950c5b77e9e34efe3b3fcfe42ce00624f2ccd9abc7938402126402001f3cd3b6035c0bee00613126fe399e691b256e74a SHA512 9a923e47580d775057f5991093905ae380d2c5ec472e8d4a671f6271c17860b605c7bd5ecbf9e37f248673daf8683248db07776d80380249a959c046eac3c0db -EBUILD genius-1.0.27.ebuild 1393 BLAKE2B 5f9991a1d6f134809d88fb94494d4a7dc3b72c12a170dafb659b2127cb2f4d2b5082bb1de3afebba50e7760753fccc71595a42a3f0239949cda78619f21972be SHA512 8b930bbecdce59235b45425d4b5c6212c511a33f1072180b6afbec9ec80fcba81f4c392a02da6741b41327b27f41a2569c3a8e6f2f69ab074b25598197653704 +EBUILD genius-1.0.27.ebuild 1392 BLAKE2B 2a214378202ce5cbda2826ac9d6158264ecdf737ba2e9bc7d05df9040773d6da089c6bafbe89be8eecb85aa94319bcb7090ae9890a3e454880958ab9eacf7334 SHA512 414b09067ac4675c7703a55bf912f89651195cb086adf5ca8873fe3bfaaa3491054cd5b04e131b3bb383e7093a1ca2e0119549bb33c24d2ea8327c173600f041 MISC metadata.xml 810 BLAKE2B 0c8d888e0ff0052c62d9212d6a0de3dc5a8a647fa58b9867b641202284062dfed937ef06986aac577441ef2c37512d4b0b87621ba4ca265590c21ed346ece4bb SHA512 04e514a7886747b07f15c468162035fa3f3dd46d9aeb6bad3feb9a190bd9b07355a89c5a7d4f87c0935a16ffc61b995ff1c0aee692d0cc28b6b9d7448f86f531 diff --git a/sci-mathematics/genius/genius-1.0.27.ebuild b/sci-mathematics/genius/genius-1.0.27.ebuild index ee1d280f3f71..008be2dfce7f 100644 --- a/sci-mathematics/genius/genius-1.0.27.ebuild +++ b/sci-mathematics/genius/genius-1.0.27.ebuild @@ -14,7 +14,7 @@ SRC_URI="${SRC_URI} LICENSE="GPL-3+" SLOT="0" -KEYWORDS="~amd64 ~arm64 ~x86" +KEYWORDS="amd64 ~arm64 ~x86" IUSE="doc +gui" RDEPEND=" diff --git a/sci-mathematics/giac/Manifest b/sci-mathematics/giac/Manifest index 5df4fe9a0c55..b3bd352c3ce9 100644 --- a/sci-mathematics/giac/Manifest +++ b/sci-mathematics/giac/Manifest @@ -2,5 +2,5 @@ AUX giac-1.6.0-pari-2.11.patch 783 BLAKE2B f173015006fef4a9f8176965f923664f11b0b AUX giac-1.7.0.1-gsl_lapack.patch 2912 BLAKE2B b0f9f05126316b9b76d5f1a5ad737cc88ecbc71dc450ef714f6da323128d9c945ada9d658c73647987f84638498aa4d3bbef49062424ab63b53c76defc127902 SHA512 14bfcb04e5a23933cfa4635789bf02f6d6e6a528c167504678b3d2ecb38f135d0c05583712005fe53afd7696cc9ebee5dc3ab90cac056d75bd43be786075b011 AUX giac-1.7.0.13-xcas-desktop.patch 890 BLAKE2B 31e33a52fdcb70c610edf21f046d112df3702e1d4f635cd4956bbe17d928839c9a0a87cb5ba5d6aeff94213b482ce22bd497d1d258aaa8abd6d8fc0116031f15 SHA512 269c733edc899051fc3de23021c322a3099499dfeb559ab1cada0964258a91a9735e620b480560226e5a3b492f2f5654062ee9c2c5479ae9789b012e7a5055ca DIST giac_1.7.0-13.tar.gz 86447065 BLAKE2B 4d91e83608f7ec376d133c2784ffce99447a9dd78b5c8582b81a0aae0b8ac59eec4db3ee4a8bcb39202c777c300178a181f2dc2ac74ab445ddba2f3efa0ecb1b SHA512 99fff7ce5117fd8c106601ead03679805d529fe12d5372cdd4ae54824aa6fdcbdaaa1a62ea1153391a1a65af8970e38fca7d95ca9983755ff06053f1d8b6d65a -EBUILD giac-1.7.0.13-r1.ebuild 4245 BLAKE2B b117e27ffd6c3b734e0b961cbd2a4779f1d80089e874cabb4591bff7c208150ff377bcc034984c1f28813a25c1d144b789f7cc87d406519d31fba99a0d8d0068 SHA512 68be9513db417496cf8739ec271ed8927039d8544acc346ef4755157952d2b79149ffb670c41cb0ebeffb5bf751f0d009cde75af7fdf2c2314d34cfa7274063d +EBUILD giac-1.7.0.13-r1.ebuild 4257 BLAKE2B af1277a69e3a27cf215e870fe6dab127d4ac7edc0fd1e8905498e5b745bc92133d7f4f725fc096c4a83bd649fd5ba3731d16c86688f3bee1a9f8e4b7b1bd2aaf SHA512 351d891b219e15c24cae84e5ef1e1063a702c36d0fc6a6f9955f0eb3b1d16cb179e0fdbfd39bd6f820929fbe9d259a3ab91e71976cdb1a270cedbb66ec6fff83 MISC metadata.xml 1315 BLAKE2B a461d359b33617422f5863466bdbec9ddf56db03467b992c887bce9967d434913489602fd684edc893303078f89cf94d01b44cfdc0ccff33db9b42c5e686cfa8 SHA512 eaeb480010c9dbdfd75516e45e97e3226d2b2812c44e217b318c5a1d86dc40820bac0de69686d7b502775b14a6f1ed3bc11d2372b891c46a37080b4e84da9a1c diff --git a/sci-mathematics/giac/giac-1.7.0.13-r1.ebuild b/sci-mathematics/giac/giac-1.7.0.13-r1.ebuild index 0a4e2112c430..a43984b06906 100644 --- a/sci-mathematics/giac/giac-1.7.0.13-r1.ebuild +++ b/sci-mathematics/giac/giac-1.7.0.13-r1.ebuild @@ -88,7 +88,7 @@ src_configure() { --enable-gmpxx \ --disable-samplerate \ --disable-micropy \ - --docdir=/usr/share/giac/doc \ + --docdir="${EPREFIX}"/usr/share/giac/doc \ $(use_enable static-libs static) \ $(use_enable gui) \ $(use_enable gui png) \ diff --git a/sci-mathematics/gp2c/Manifest b/sci-mathematics/gp2c/Manifest index 00bacaf16a86..a1c89545e3b3 100644 --- a/sci-mathematics/gp2c/Manifest +++ b/sci-mathematics/gp2c/Manifest @@ -1,5 +1,3 @@ -DIST gp2c-0.0.11pl3.tar.gz 854003 BLAKE2B 478307b9fa56b8e58a66001bbeac3ce6193a446cb6a339bbd65de9105924fe92a0e9c39302d836c7f3e7d2fe100ac678514d4e7eef1bdb0b880cc55763002864 SHA512 06d3680da739ce13a0a80a88c7b07a9b336acecb95f4841d8e984f1d4b66ad0a3ffe47e2abb77ad7e564fa976d16c468d62e6ddc15ede3beba00db6d92a91d97 DIST gp2c-0.0.12.tar.gz 872289 BLAKE2B c72f092a0a8e335e68d14f00970bd4794d883194718dd89cae760e06b5b89bd1b1959389d422b086f7862870e212662fc736f1f6720a389b9484ff360d9b8293 SHA512 9dd13c37e7ba36d75614249b6a2ff62350b5c02ba519b2c5d2dc49c36e9b6672134902b5f2e6b23f42fd4ff2069bdd12bd4694f324ddf814296bf8cbe5f10cdd -EBUILD gp2c-0.0.11.3.ebuild 742 BLAKE2B a2bb2f3dd06891f6de3820ad1be89cc20da360baca17a9d50799d53fa29b4d970dc71e1040b34d20dcdc400f7d713e48cd11572b208ea9957f059d035f862632 SHA512 687f09f327280375420ba5bbe3c97a6ded1beda67d7c81754a6b4d96b97ea460b4f770365da76a446f1a230f8ca9e13dc67909e954e6e4d874e01b3d963538e1 -EBUILD gp2c-0.0.12.ebuild 745 BLAKE2B 56aa38e97ee34eb01abd5c848e40452f0a5788633a451a9d77fc9556c6ea9cb7653187b14991c1371ec5ccab778fa3a45ec598ddeb9b478b14c0b53e69f84479 SHA512 2f3e38c74ef3aa409de6277155ee036ec5690d1c89b709285057c1d508fd573e26868bfcc4960f2bb5421f34320027fb8c480bea096a14fe395cd8dc7d077a1d +EBUILD gp2c-0.0.12.ebuild 744 BLAKE2B f8b14d9553622bdf715ddd08b91b1e0971902d1266862f36c6ca2c491ab0da99d525173b69cd135bf022ea3b3cb8e2541a45fc0ea2cebe39b470c0ea82b22cb9 SHA512 9037a37dca231066f8e6e171dcc5831eb5fb6219acde60d924fbfea4ef4caa3cadf38e187f95c4507810e2883707b9a15313418fa6edf84322d7f6d43ad4e649 MISC metadata.xml 917 BLAKE2B d95126f6c76cde12c15df2616aa74e3d408a3bd8dc5e18191a8cc752ce933f39d50bb7466fea085d6058707ebac3978ff7f726efe8b50a0b80a33e6cf543b81a SHA512 6644d0abe179f74576b3ef94b04a078935f8f1a306d9757ad48c21b41163988728e1fe0abcb6d454d8e027ee4b67a31d8dfdb58c5ea1f1250505851fd0eaa49d diff --git a/sci-mathematics/gp2c/gp2c-0.0.11.3.ebuild b/sci-mathematics/gp2c/gp2c-0.0.11.3.ebuild deleted file mode 100644 index 31fb4d51d216..000000000000 --- a/sci-mathematics/gp2c/gp2c-0.0.11.3.ebuild +++ /dev/null @@ -1,29 +0,0 @@ -# Copyright 1999-2021 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -MY_P="${PN}-"$(ver_rs 3 'pl') -DESCRIPTION="A GP to C translator" -HOMEPAGE="http://pari.math.u-bordeaux.fr/" -SRC_URI="http://pari.math.u-bordeaux.fr/pub/pari/GP2C/${MY_P}.tar.gz" - -LICENSE="GPL-2+" -SLOT="0" -KEYWORDS="amd64" -IUSE="test" -RESTRICT="!test? ( test )" - -# Perl is run on the build host to compile the descriptions in desc/, -# see for example desc/Makefile.am. -BDEPEND="dev-lang/perl" - -# This is the first version of pari to put pari.cfg where we expect it. -DEPEND=">=sci-mathematics/pari-2.11.2" -RDEPEND="${DEPEND}" - -S="${WORKDIR}/${MY_P}" - -src_configure() { - econf --with-paricfg="${EPREFIX}/usr/share/pari/pari.cfg" -} diff --git a/sci-mathematics/gp2c/gp2c-0.0.12.ebuild b/sci-mathematics/gp2c/gp2c-0.0.12.ebuild index a723e8a4894a..8c4c0515069f 100644 --- a/sci-mathematics/gp2c/gp2c-0.0.12.ebuild +++ b/sci-mathematics/gp2c/gp2c-0.0.12.ebuild @@ -10,7 +10,7 @@ SRC_URI="https://pari.math.u-bordeaux.fr/pub/pari/GP2C/${MY_P}.tar.gz" LICENSE="GPL-2+" SLOT="0" -KEYWORDS="~amd64" +KEYWORDS="amd64" IUSE="test" RESTRICT="!test? ( test )" diff --git a/sci-mathematics/lcalc/Manifest b/sci-mathematics/lcalc/Manifest index 94094fe4401c..6c60c0712f30 100644 --- a/sci-mathematics/lcalc/Manifest +++ b/sci-mathematics/lcalc/Manifest @@ -1,5 +1,5 @@ DIST lcalc-2.0.3.tar.xz 825904 BLAKE2B c2daab62de1d5bfb024a8246a965d850480cf313efe4f0ddb7561c28d2cae2aa231fea5c07e073d21e04cfcf2b558f931472825f9100e6ab4585ac87d80b4d3a SHA512 33d7cff04d88b62775a69b5b38eea41c24bdb88592d5185fbf9c13ea0c62a7c07c041f7f4e5c06415a3983b0ba369f3c9766a556090a6282e1cd7003ad25ba46 -DIST lcalc-2.0.4.tar.xz 832620 BLAKE2B b37d9ebf2d1df88b04fba6c9834ebc977ed483ad399cdaccf5347e4aee2295e26615a0331f6386209fe87424a8444f198a9ec1173d88e741dd6f2b9246ae287c SHA512 760634a66184f4777b8849859322c4b31f4bdd9d6644a44a2129e47e2f691424b126953353273f7a57dba7236cffe4f35504bb9d03fdd152f74c7d1a48dc712c +DIST lcalc-2.0.5.tar.xz 830360 BLAKE2B 4a282de8548bc0b3d95fe079362ea98dd1397a1f0f7c4c61c6d2df8c5f95b9638aa628a25b138e6037520c69e56bfab635872115139caf3270d473e01276b980 SHA512 d3b7fa25dd3c2a8f88671076dfb5ab5e933be7feff24bbd160c92a476953f5553f9fb58f72c36b9c668929385084918fc3396e1a0bcc55de12ea8cb647c53929 EBUILD lcalc-2.0.3.ebuild 924 BLAKE2B 7207a3babebb5a8e47066634e85c4a9f6e03c466cd1cbf18edcdf5c022d8b387a989b9e3013e897bedaf6f553a98cce780d6daf971324ece5a8b79471b095e56 SHA512 f5d4dee6746b553ba89603659fa3581d670e7e089ff3c996718c0aa7fbfb7d3e171310fa0490a8aa55083dc50059830e2bec0e7d35d540b14f211550f12506ea -EBUILD lcalc-2.0.4.ebuild 925 BLAKE2B ec5e4de013841a9f6d5021afab4b04ebf9db338bee06f3a43761d602883cf1d50dff493f3cfcf96575cb2f2eff95bff74d9be934478a13db609cb6e6ab37f607 SHA512 0c90b3fb1f5b782b6948af10939ca33f18d5b0ccfddd3f60ab6619abbfc750a3899c1cfc59bd62793d1e387f3019297424d38739fc66c4591c212b19ff948e34 +EBUILD lcalc-2.0.5.ebuild 925 BLAKE2B d89e68242d0a5525c29dc92468592a7b09cbb8769c85556378f35528fa414e615c2ac878d7d68720cf84c3af311f2f57a4602d00e410371432a2de5f2194bfb4 SHA512 8886b867197640fbb8a5236b8e22298f19d93d3c35e8d0d7f6f2ac295936c2fd410807012c226af226fa3d451c58df3041662b2658b374485c080b4b3be9ba0d MISC metadata.xml 1165 BLAKE2B 77544a05687fad32c18cb8d840d8de4291cae4135976bd741bbfd57a015956d5104026b99b1aec934d6a260501d89cd947e052a2ac85e35d2c93f7fc08224ac1 SHA512 cce822c8b50d97a7f8405634f565c3fbe147732db57bd66cccbaad2c2eda23076b76d0dfa442d462d55625a5dff06dde9bdf5e6ab4a9c9417d2f69972cc87add diff --git a/sci-mathematics/lcalc/lcalc-2.0.4.ebuild b/sci-mathematics/lcalc/lcalc-2.0.5.ebuild index 26818c40aafb..c9c56f0028ee 100644 --- a/sci-mathematics/lcalc/lcalc-2.0.4.ebuild +++ b/sci-mathematics/lcalc/lcalc-2.0.5.ebuild @@ -5,7 +5,7 @@ EAPI=8 DESCRIPTION="Command-line utility and library for L-function computations" HOMEPAGE="https://gitlab.com/sagemath/lcalc" -SRC_URI="https://gitlab.com/sagemath/lcalc/uploads/4d84022aa5285414eb547121b783601a/${P}.tar.xz" +SRC_URI="https://gitlab.com/sagemath/lcalc/uploads/25f029f3c02fcb6c3174972e0ac0e192/${P}.tar.xz" LICENSE="GPL-2+" # The subslot is the libLfunction soname major version diff --git a/sci-mathematics/lrcalc/Manifest b/sci-mathematics/lrcalc/Manifest index 1b946427a46a..a3e7fe761d1c 100644 --- a/sci-mathematics/lrcalc/Manifest +++ b/sci-mathematics/lrcalc/Manifest @@ -1,6 +1,6 @@ AUX lrcalc-1.2-includes.patch 1939 BLAKE2B 37dc25d9219899cf9cd6268038715b927af294135f1acbebf5651fdfdcb50f7b041e53464c36f572201be411941d889b5ef7c1a20e31eda9915339ec378faf0b SHA512 d5ad549ddf23609870f6b15e389323bf26ea2c981c4af28c93dae7f70b4f7c96e242011213acb7c138ba9acc0ce0bc0c41d51d3fccf4cc5de331a12d965a46a6 DIST lrcalc-1.2.tar.gz 363120 BLAKE2B d3f652abfe38e81331dcbac7068d087b198445bf02dc5ccb5bcbd76b9bbc329687209e6ccf40ecd09f166e7d2da054edd0e5c2b18503d8e4d961ae4ad91b5152 SHA512 699f4c2ddabe5879542d5c11f3df3979a4e009ad37741711a70fb48b4a0d4a7969e5bb110adb63d4473f3c2b61d1efdb7228a6b74c5dd7e1b5aea8cf1d170fab -DIST lrcalc-2.0.tar.gz 420728 BLAKE2B 4d14276cf04cb1655d74bf9b85e12379034f43232db9b1a77db8ca4a508e5b490845fe44f4cfd533990bc567e51e817ca82aa917fce40517b8c8c9fc7dd2b4d3 SHA512 9224d1be971f53c0428f6f9a25850a892596175a6b5d6ca90b06abed00a72998b54fdfcd2be62318af142595f752b3a9ccc2efc1816ba7ce3ae59ecb43c49f81 +DIST lrcalc-2.1.tar.gz 425484 BLAKE2B 3c9d33942f44f8f6cf29e1da36ad5072b49ea3dd949f8c3e96a2fd55deec566828736ccc1da0ef32e528b8f4967bedbd46ca84f144e022a6916451c02befccc3 SHA512 76db29af51fb97e582d37b92a426cacf85fd61b8e7c2a70dc99dec23b396d62d996f0c66b5bbbd8b6928b46fa1186c9bb3c28aa91646cdccd38bd9b783af44d7 EBUILD lrcalc-1.2.ebuild 592 BLAKE2B faf95fcf9ad635380d47df7f691346cf7507fa858b4ed608071b9e50007bf271905e2fd7bbbf8dc73e203f0bcb8f0474ad8836268e7fb3f8bd80d7cbb02669dc SHA512 256609e7771b5fa1125d464de13631b6b0244ad1f6a55614f9a436dfe35dfd8344160202db02b4ebb99b299ad4773d8b7c5147097f981cf6728b431cd7d721e8 -EBUILD lrcalc-2.0.ebuild 542 BLAKE2B 6d0391e8749c80a7de030593ebc68241114b03258f3175ffcae437167b8ba009c7141d69595b73b1126ef94a8b9acc3a6589b9f582d98496ed971b6fe7837915 SHA512 a079da9b2c0ac7d184cb34f7370a32dd5bdc62e1ca6a9f20c955baf0d6a1b21185bf2afa9c5d1e2ff40f03fd8dd513f8f00923a25394c0b23c668f6982139c7a +EBUILD lrcalc-2.1.ebuild 542 BLAKE2B 6d0391e8749c80a7de030593ebc68241114b03258f3175ffcae437167b8ba009c7141d69595b73b1126ef94a8b9acc3a6589b9f582d98496ed971b6fe7837915 SHA512 a079da9b2c0ac7d184cb34f7370a32dd5bdc62e1ca6a9f20c955baf0d6a1b21185bf2afa9c5d1e2ff40f03fd8dd513f8f00923a25394c0b23c668f6982139c7a MISC metadata.xml 865 BLAKE2B 59342f149f6ceb01b00073fa2714c268337bffe50d01b81ea8cf10b865d8c51112714932c92ed18373efc18d81ebf4d75446a0ec26b8cf5c6188eeffcdd79aab SHA512 3198cfa61428c86100f0e646f21460600afef73f83343799a903d6d43d1084eae08b135d74c302daf6d37eabb686d2413016c11b0b7c1e15a3907dd2b58f5146 diff --git a/sci-mathematics/lrcalc/lrcalc-2.0.ebuild b/sci-mathematics/lrcalc/lrcalc-2.1.ebuild index 194251793e74..194251793e74 100644 --- a/sci-mathematics/lrcalc/lrcalc-2.0.ebuild +++ b/sci-mathematics/lrcalc/lrcalc-2.1.ebuild diff --git a/sci-mathematics/singular/Manifest b/sci-mathematics/singular/Manifest index bcb110728034..5571db7e3268 100644 --- a/sci-mathematics/singular/Manifest +++ b/sci-mathematics/singular/Manifest @@ -9,5 +9,6 @@ DIST singular-4.2.0p3.tar.gz 16641923 BLAKE2B 4dd7e1a42c71bbba625e171aee656580b4 DIST singular-4.2.1.tar.gz 16643430 BLAKE2B 2cfc33bd59a5e8756c7ce022ad2b38477a0d7a6747b3c4fd4b1b168cfd179ace52121506cda2c4d5f318abca72231c74f649ede349b17b5f138083428d9da766 SHA512 48bebbe9c886ee56bb2f7bdd9e356bd33e357a2d707c976b8496200f422a2ba25d7c9bba22a261574428abf73a8b6b111d35236fca647e32619659059e861916 EBUILD singular-4.2.0_p1.ebuild 2259 BLAKE2B 2237245fe2550f398a20a14ae599bcc668288aa6312925cee725e2571dc53f8f62f88bdff0cdf8cd303c72baaf2861a2c560ce54978da720e93cbe459769b7d1 SHA512 2a6b8e478f32ff9e3df96e0188cd137b16d9be1a8c18c9f5367a81b96dc8b0cc01d34771246001eee9e8ec9832f8832539e921879ec56fe8a51ebb42c0d29389 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 -MISC metadata.xml 276 BLAKE2B ebfb8324de9ffc201d51a89c5c48054dad71e7ed3d0c012d20b4e24bdc18aef948acb61b87b4540808e7eeb07e99dca7e2d9b43123b8735e559427d5afc7a28f SHA512 615bf33cd754550bca58862b133795b54792f3253d1e80cf933a4094717e4a46acbd872d9373e0f25005843ff296ce3529d55acf38db43e9921220bdf0a3c2d1 +MISC metadata.xml 580 BLAKE2B 25a2f7adf99e9469811f49d1493b274298d2219874aca83e0569a8ca079514659338543a2dd002d5038b2c9b3cdae44772021e2bc1b0340c6237974744ade4a5 SHA512 385646f40f3a741faae6db06eacff9837608cd5860bbeadbbdfd7e0ff847f0a214a5b8373ea549f6463e0e29931b018af36c86394aa894dba10d1e691ada3902 diff --git a/sci-mathematics/singular/metadata.xml b/sci-mathematics/singular/metadata.xml index 098312eeb426..5d46057110ae 100644 --- a/sci-mathematics/singular/metadata.xml +++ b/sci-mathematics/singular/metadata.xml @@ -5,4 +5,12 @@ <email>sci-mathematics@gentoo.org</email> <name>Gentoo Mathematics Project</name> </maintainer> + <use> + <flag name="julia">Enables interface for Singular to julia</flag> + <flag name="polymake">Enable the interface to TOPCOM</flag> + </use> + <upstream> + <bugs-to>https://github.com/Singular/Singular/issues</bugs-to> + <remote-id type="github">Singular/Singular</remote-id> + </upstream> </pkgmetadata> diff --git a/sci-mathematics/singular/singular-4.2.1-r1.ebuild b/sci-mathematics/singular/singular-4.2.1-r1.ebuild new file mode 100644 index 000000000000..96abef3a90a3 --- /dev/null +++ b/sci-mathematics/singular/singular-4.2.1-r1.ebuild @@ -0,0 +1,122 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit autotools elisp-common flag-o-matic + +MY_PN=Singular +MY_PV=$(ver_rs 3 '') +# Consistency is different... +MY_DIR2=$(ver_cut 1-3 ${PV}) +MY_DIR=$(ver_rs 1- '-' ${MY_DIR2}) + +DESCRIPTION="Computer algebra system for polynomial computations" +HOMEPAGE="https://www.singular.uni-kl.de/ https://github.com/Singular/Singular" +SRC_URI="ftp://jim.mathematik.uni-kl.de/pub/Math/${MY_PN}/SOURCES/${MY_DIR}/${PN}-${MY_PV}.tar.gz" +S="${WORKDIR}/${PN}-${MY_DIR2}" + +LICENSE="BSD GPL-2 GPL-3" +SLOT="0" +KEYWORDS="~amd64 ~x86 ~x86-linux" +IUSE="emacs examples julia polymake +readline static-libs" + +RDEPEND=" + dev-lang/perl + dev-libs/gmp:0 + dev-libs/ntl:= + sci-libs/cddlib + sci-mathematics/flint + emacs? ( >=app-editors/emacs-23.1:* ) + julia? ( dev-lang/julia ) + polymake? ( sci-mathematics/polymake ) + readline? ( sys-libs/readline ) +" +DEPEND="${RDEPEND}" + +SITEFILE=60${PN}-gentoo.el + +PATCHES=( + "${FILESDIR}/${PN}-4.2.0-doc_install-v2.patch" +) + +src_prepare() { + default + + eautoreconf +} + +src_configure() { + # Needed to avoid segfaults in the test suite until + # + # https://github.com/Singular/Singular/issues/1105 + # + # makes its way into a release. + append-cxxflags $(test-flags-CXX -fno-delete-null-pointer-checks) + + local myconf=( + --disable-debug + --disable-doc + --disable-optimizationflags + --disable-pyobject-module + --disable-python + --disable-python-module + --disable-python_module + --enable-factory + --enable-gfanlib + --enable-libfac + --with-flint + --with-gmp + --with-libparse + --with-ntl + --without-python + --without-pythonmodule + $(use_enable emacs) + $(use_enable julia) + $(use_enable polymake polymake-module) + $(use_enable static-libs static) + $(use_with readline) + ) + econf "${myconf[@]}" +} + +src_compile() { + default + + if use emacs; then + pushd "${S}"/emacs + elisp-compile *.el || die "elisp-compile failed" + popd + fi +} + +src_install() { + # Do not compress singular's info file (singular.hlp) + # some consumer of that file do not know how to deal with compression + docompress -x /usr/share/info + + default + + dosym Singular /usr/bin/"${PN}" + + # purge .la file + find "${ED}" -name '*.la' -delete || die +} + +src_test() { + # SINGULAR_PROCS_DIR need to be set to "" otherwise plugins from + # an already installed version of singular may be used and cause segfault + # See https://github.com/Singular/Sources/issues/980 + SINGULAR_PROCS_DIR="" emake check +} + +pkg_postinst() { + einfo "Additional functionality can be enabled by installing" + einfo "sci-mathematics/4ti2" + + use emacs && elisp-site-regen +} + +pkg_postrm() { + use emacs && elisp-site-regen +} diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest new file mode 100644 index 000000000000..4d3c9fa18d67 --- /dev/null +++ b/sci-mathematics/vampire/Manifest @@ -0,0 +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 diff --git a/sci-mathematics/vampire/metadata.xml b/sci-mathematics/vampire/metadata.xml new file mode 100644 index 000000000000..4785a01c9b05 --- /dev/null +++ b/sci-mathematics/vampire/metadata.xml @@ -0,0 +1,25 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="person"> + <email>xgqt@gentoo.org</email> + <name>Maciej Barć</name> + </maintainer> + <longdescription> + Vampire is a theorem prover, that is, a system able to prove theorems — + although now it can do much more! Its main focus is in proving theorems in + first-order logic but it can also prove non-theorems and build finite + models, as well as reasoning in combinations of theories, such as + arithmetic, arrays, and datatypes, and with higher-order logic. + The development of Vampire began in 1994 and has survived a number of + rewritings. + </longdescription> + <upstream> + <bugs-to>https://github.com/vprover/vampire/issues/</bugs-to> + <remote-id type="github">vprover/vampire</remote-id> + </upstream> + <use> + <flag name="z3">Enable support for <pkg>sci-mathematics/z3</pkg></flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/vampire/vampire-4.6.1.ebuild b/sci-mathematics/vampire/vampire-4.6.1.ebuild new file mode 100644 index 000000000000..6c99ffab7e31 --- /dev/null +++ b/sci-mathematics/vampire/vampire-4.6.1.ebuild @@ -0,0 +1,53 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit cmake + +DESCRIPTION="The Vampire Prover, theorem prover for first-order logic" +HOMEPAGE="https://vprover.github.io" + +if [[ "${PV}" == *9999* ]]; then + inherit git-r3 + EGIT_REPO_URI="https://github.com/vprover/${PN}.git" + EGIT_SUBMODULES=() +else + SRC_URI="https://github.com/vprover/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="BSD" +SLOT="0/${PV}" +IUSE="debug +z3" +# debug mode needs to be enabled for tests +# https://github.com/vprover/vampire/blob/8197e1d2d86a0b276b5fcb6c02d8122f66b7277e/CMakeLists.txt#L38 +RESTRICT="!debug? ( test )" + +RDEPEND=" + z3? ( + dev-libs/gmp:= + sci-mathematics/z3:= + ) +" +DEPEND="${RDEPEND}" + +src_configure() { + local CMAKE_BUILD_TYPE + if use debug; then + CMAKE_BUILD_TYPE=Debug + else + CMAKE_BUILD_TYPE=Release + fi + + local mycmakeargs=( -DZ3_DIR=$(usex z3 "/usr/$(get_libdir)/cmake/z3/" "") ) + cmake_src_configure +} + +src_install() { + local bin_name=$(find "${BUILD_DIR}"/bin/ -type f -name "${PN}*") + dobin "${bin_name}" + dosym $(basename "${bin_name}") /usr/bin/${PN} + + einstalldocs +} diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest new file mode 100644 index 000000000000..56bc0cb38a09 --- /dev/null +++ b/sci-mathematics/why3/Manifest @@ -0,0 +1,3 @@ +DIST why3-1.4.0.tar.gz 6306524 BLAKE2B ade7803a608d090ea06d974ae47e920993de92a5849d60bd63dba68252919a8f4fd1f0f6a3c975fdb727c4ae3afe13921b5d31a14c005e0d08f518e64bcf05e5 SHA512 b492f08a3c7073782b143a4849c47766b12045ad53c56aa8d251fd5b6bc1863ddebe260c99b3ddb27c4e1e1e9ab986c8b02286ec24f4c30f99f81f5f13fdc90a +EBUILD why3-1.4.0-r1.ebuild 2089 BLAKE2B 5d3ccd3ab09f320640dc30b20d4dd0e4caad312bcbad1685507839f5803221ae8ac5da9e184aece2f77afa439e4e8cae5541f1ba02f71b0713ea9989f4758581 SHA512 6dc7c9572d02fccfec6445268f1f880f540c9cc53d618328865baf958dd6cc310904fe991341f2e7156c961ae38e6c73a3572a73cebb55937fa2055384a6a62a +MISC metadata.xml 1680 BLAKE2B 4443de2368a7003db59e341bc671c8aa4c664be935b65df1fd1af161900a977194e012ef3b486f877a77f6b32405d700ee814d7cdeb10703b2462f7337965fb5 SHA512 7cc8dbe476d891d1311cec6ea15b1c6e6391c32bdbe715fe1fb7d2549763384c148e0509fb2b7c68b98b70eec1feeb4d94271378a343d50ef58cb5bb8a07a109 diff --git a/sci-mathematics/why3/metadata.xml b/sci-mathematics/why3/metadata.xml new file mode 100644 index 000000000000..6c2999e4f4d7 --- /dev/null +++ b/sci-mathematics/why3/metadata.xml @@ -0,0 +1,33 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="person" proxied="yes"> + <name>François-Xavier Carton</name> + <email>fx.carton91@gmail.com</email> + </maintainer> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <longdescription> + Why3 is a platform for deductive program verification. It provides + a rich language for specification and programming, called WhyML, + and relies on external theorem provers, both automated and interactive, + to discharge verification conditions. Why3 comes with a standard + library of logical theories (integer and real arithmetic, Boolean + operations, sets and maps, etc.) and basic programming data structures + (arrays, queues, hash tables, etc.). A user can write WhyML programs + directly and get correct-by-construction OCaml programs through an + automated extraction mechanism. WhyML is also used as an intermediate + language for the verification of C, Java, or Ada programs. + </longdescription> + <use> + <flag name="coq">Add <pkg>sci-mathematics/coq</pkg> support</flag> + <flag name="gtk">Build the IDE <pkg>x11-libs/gtk+</pkg></flag> + <flag name="re">Use Re (<pkg>dev-ml/re</pkg>) instead of Str for regular expressions</flag> + <flag name="sexp">Add support for outputting S-expressions with <pkg>dev-ml/ppx_sexp_conv</pkg></flag> + <flag name="zarith">Use Zarith (<pkg>dev-ml/zarith</pkg>) instead of Nums (<pkg>dev-ml/num</pkg>) for computations</flag> + <flag name="zip">Enable compression of session files</flag> + </use> +</pkgmetadata> diff --git a/sci-mathematics/why3/why3-1.4.0-r1.ebuild b/sci-mathematics/why3/why3-1.4.0-r1.ebuild new file mode 100644 index 000000000000..badf49628e94 --- /dev/null +++ b/sci-mathematics/why3/why3-1.4.0-r1.ebuild @@ -0,0 +1,95 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +inherit autotools findlib + +DESCRIPTION="Platform for deductive program verification" +HOMEPAGE="http://why3.lri.fr/" +SRC_URI="https://why3.gitlabpages.inria.fr/releases/${P}.tar.gz" + +LICENSE="LGPL-2" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="coq doc emacs gtk +ocamlopt re sexp +zarith zip" + +RDEPEND=" + !sci-mathematics/why3-for-spark + >=dev-lang/ocaml-4.05.0:=[ocamlopt?] + >=dev-ml/menhir-20151112:= + dev-ml/num:= + coq? ( >=sci-mathematics/coq-8.6 ) + emacs? ( app-editors/emacs:* ) + gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] ) + re? ( dev-ml/re:= dev-ml/seq:= ) + sexp? ( + dev-ml/ppx_deriving:=[ocamlopt?] + dev-ml/ppx_sexp_conv:=[ocamlopt?] + dev-ml/sexplib:=[ocamlopt?] + ) + zarith? ( dev-ml/zarith:= ) + zip? ( dev-ml/camlzip:= ) +" +DEPEND="${RDEPEND}" +BDEPEND=" + doc? ( + dev-python/sphinx + dev-python/sphinxcontrib-bibtex + media-gfx/graphviz + || ( dev-texlive/texlive-latex dev-tex/latexmk dev-tex/rubber ) + ) +" + +DOCS=( CHANGES.md README.md ) + +src_prepare() { + mv configure.in configure.ac || die + sed -i 's/configure\.in/configure.ac/g' Makefile.in || die + sed -e '/^lib\/why3[a-z]*\$(EXE):/{n;s/-Wall/$(CFLAGS) $(LDFLAGS)/}' \ + -e '/^%.o: %.c/{n;s/\$(CC).*-o/$(CC) $(CFLAGS) -o/}' \ + -i Makefile.in || die + + eautoreconf + default +} + +src_configure() { + local myconf=( + --disable-hypothesis-selection + --disable-pvs-libs + --disable-isabelle-libs + --disable-frama-c + --disable-infer + --disable-web-ide + $(use_enable coq coq-libs) + $(use_enable doc) + $(use_enable emacs emacs-compilation) + $(use_enable gtk ide) + $(use_enable ocamlopt native-code) + $(use_enable re) + $(use_enable sexp pp-sexp) + $(use_enable zarith) + $(use_enable zip) + ) + econf "${myconf[@]}" +} + +src_compile() { + emake + emake plugins + use doc && emake doc +} + +src_install(){ + findlib_src_preinst + emake install install-lib DESTDIR="${ED}" + + einstalldocs + docompress -x /usr/share/doc/${PF}/examples + dodoc -r examples + if use doc; then + dodoc doc/latex/manual.pdf + dodoc -r doc/html + fi +} |