summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-03-27 22:40:05 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-03-27 22:40:05 +0100
commit8c364c784966be1700ea39ae45028f3e9be9cae0 (patch)
treec1971211069b79e3831b71accd52a67a9fdc77a3 /sci-mathematics
parent6bd95d1f6320b8666a31ec949183aaa3088aa16f (diff)
gentoo resync : 27.03.2018
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/Manifest.gzbin14831 -> 14832 bytes
-rw-r--r--sci-mathematics/fricas/Manifest6
-rw-r--r--sci-mathematics/fricas/fricas-1.3.0-r1.ebuild102
-rw-r--r--sci-mathematics/fricas/fricas-1.3.1.ebuild102
-rw-r--r--sci-mathematics/fricas/fricas-1.3.3.ebuild10
-rw-r--r--sci-mathematics/why3-for-spark/Manifest2
-rw-r--r--sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild7
7 files changed, 12 insertions, 217 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index f6e6e52f59e1..8444ddc8a74a 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/fricas/Manifest b/sci-mathematics/fricas/Manifest
index cfca3e1d8016..3aabefcd8bf0 100644
--- a/sci-mathematics/fricas/Manifest
+++ b/sci-mathematics/fricas/Manifest
@@ -1,10 +1,6 @@
AUX 64fricas-gentoo.el 101 BLAKE2B 7d2499931132bd7bf32b528cbc6b09127af060b879ebea93421206f6f5fbe685b070624e507390902d7cfc7cd06a5988ca2df9959b2549736be912b731990c21 SHA512 be36ef5bfb525aa054cd3881ece83d47ee3a9cb7ef1b0c26215d449ddcad8f9f57045b29ab9063a62f43caa764abb251e5fcd04cf1d15bcc423e40d9e69239ef
-DIST fricas-1.3.0-full.tar.bz2 10459788 BLAKE2B 93f57290fa17b25688454fba3f54bbc6de7aaf4e336fcd3117011a49a2d8705c3df07f1dd79472f7fe879bc8f2087c65eca6638229156e15b51534c5f054e09b SHA512 fd084c3d3ada76424b0159eff76660872da63c1e25f392d98bc7175b37c05fe23a117587addc89828ff38a368f5161d34febcc269f530710ff7da6b53860653f
-DIST fricas-1.3.1-full.tar.bz2 10522387 BLAKE2B c1315bbb30ac94fe2b1b612a053f378f7d044111ba8d0405fd35e80902cd269b515f61d184b025b707b01d74aed26bf093e9af166b8b4f10d50e2ce0357d26b2 SHA512 d492686fc03ed704cc015ec0ba250ab7928b637ff6ef8cf1aa924190e7fe22bd63a512074439dbf7ce44dce786d51ad5e27857522a1e21136b4b8d6cf014c486
DIST fricas-1.3.2-full.tar.bz2 10523665 BLAKE2B 23de3147177e7c3c75dafa6de0f4f17432f323512aa38aef85e27c8cf1b9e335009870dc608219f0e1c4f53f1790a41b00b915aedd71633459f789cfda9f5244 SHA512 679dffbe8a991d4ae3d6667a6163337ffa24d48b9d1d776ba1a39569cb3b9f17e8d484075746b75b7eb6bbe5b9d26af3e526850a19118274988b9e88ad52a679
DIST fricas-1.3.3-full.tar.bz2 10506559 BLAKE2B 1a9822f0a94db5c7e7a3e2a52287b475c382caaaf9c5e1830621a17b6634f6f72958f0c81995463d135b4567a74c588f33c88d51a83b0a8749479d65645de4bc SHA512 74ac88ffbbacba33883498a75382ef351003ce8499f6b458367ca0de3041a9bba496693eb90f798945aa6e11c5072137227efa385ee6d8e2051f93dfea6d7fbe
-EBUILD fricas-1.3.0-r1.ebuild 2322 BLAKE2B b2078111ec3527e042b7c179f484b90ae01f1865965ad924c5046fd92178603def67a9d628bd2ad27d65a58b0db2addc36d7ce9b75aa1403283fea0b00a451e3 SHA512 4b72e71db211c6cd967e6b8a7f43cb8aa98c52386670e8df74ffae7b0828aebfee7dafd0522d33864f06a75bea7eaa373043ababa1aa65aafb115ec38d2580ab
-EBUILD fricas-1.3.1.ebuild 2275 BLAKE2B e62916911609c835507f0d2a31d9707c6d183896d5ef21df6fbdcb9dfa9c405f3f4f5a876366719a6a1dd81ef62fd47cd021d329777cb6a50f4a5203226179d6 SHA512 d80fb7f6677b064ad61e022c654c6a9123cec5082ca62f7b3dd594484cd3d532609dcc9a23b9dcb3a32bec14d65f857d74b122f371d8da9b41e833193cdc3150
EBUILD fricas-1.3.2.ebuild 2275 BLAKE2B e62916911609c835507f0d2a31d9707c6d183896d5ef21df6fbdcb9dfa9c405f3f4f5a876366719a6a1dd81ef62fd47cd021d329777cb6a50f4a5203226179d6 SHA512 d80fb7f6677b064ad61e022c654c6a9123cec5082ca62f7b3dd594484cd3d532609dcc9a23b9dcb3a32bec14d65f857d74b122f371d8da9b41e833193cdc3150
-EBUILD fricas-1.3.3.ebuild 2275 BLAKE2B f9e69a6855f9b6158145224507ff002742e090e9d6a596f4530ff941413f3822af58c26f980b73a733f534a1d74d12076e92d2f57c59c2d7a0d840f9881e379b SHA512 63b4ff19b45aec4ec25e6aa5e75295cc79a42a03f9d1581520249cb038216080f42b51bfe4c4a1d1d7f981a8401cd7ef4d0010de637645e2beefffdc6f58399d
+EBUILD fricas-1.3.3.ebuild 2371 BLAKE2B 43f02e6bc5ba5ae728b4f207c15fbcab4147ec4f889e4f7f20d0383e7a6c2667fe77e69f6cd6864e2afd0bfccd4f375a38e02fc49175101fae8cafdd385b2b02 SHA512 5c3e9f6ad5dde530f6ced61868499332f4d5ba1a51e1629314bdc8829d2d3ecf71fa2a86c5901d42465c6917656e894a309ffb97f88609668fc7491afa8d1ad7
MISC metadata.xml 1161 BLAKE2B 24d65236e4ad6534747f7295730f0e4a37e6c1a49faf1cef8ca2ed3a87459a21f77a3ff7d69b8487c86bac4cef4300607fac89faf57d3d99c8b6e86d9c7679e9 SHA512 c0555d42cc2d50498b1fa4bbf0fd658332f6ad79aaf0ab207ded28f7463401c901b67f53a1274794db2c0927806501493f99277f5325d52ccfacf5e522cfdfc5
diff --git a/sci-mathematics/fricas/fricas-1.3.0-r1.ebuild b/sci-mathematics/fricas/fricas-1.3.0-r1.ebuild
deleted file mode 100644
index 236d30d11c9b..000000000000
--- a/sci-mathematics/fricas/fricas-1.3.0-r1.ebuild
+++ /dev/null
@@ -1,102 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-inherit multilib elisp-common
-
-DESCRIPTION="FriCAS is a fork of Axiom computer algebra system"
-HOMEPAGE="http://${PN}.sourceforge.net/"
-SRC_URI="mirror://sourceforge/${PN}/${P}-full.tar.bz2"
-LICENSE="BSD-2"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-
-# Supported lisps, number 0 is the default
-LISPS=( sbcl cmucl gcl ecls clisp clozurecl )
-# Version restrictions, . means no restrictions
-REST=( ">=dev-lisp/sbcl-1.3.6:= <dev-lisp/sbcl-1.3.13" . . . . . )
-# command name: . means just ${LISP}
-COMS=( . lisp . ecl . ccl )
-
-IUSE="${LISPS[*]} X emacs gmp"
-RDEPEND="X? ( x11-libs/libXpm x11-libs/libICE )
- emacs? ( virtual/emacs )
- gmp? ( dev-libs/gmp:= )"
-
-# Generating lisp deps
-n=${#LISPS[*]}
-for ((n--; n > 0; n--)); do
- LISP=${LISPS[$n]}
- if [ "${REST[$n]}" = "." ]; then
- DEP="dev-lisp/${LISP}"
- else
- DEP="${REST[$n]}"
- fi
- RDEPEND="${RDEPEND} ${LISP}? ( ${DEP}:= ) !${LISP}? ("
-done
-if [ "${REST[0]}" = "." ]; then
- DEP="dev-lisp/${LISPS[0]}"
-else
- DEP="${REST[0]}"
-fi
-RDEPEND="${RDEPEND} ${DEP}:="
-n=${#LISPS[*]}
-for ((n--; n > 0; n--)); do
- RDEPEND="${RDEPEND} )"
-done
-
-DEPEND="${RDEPEND}"
-
-# necessary for clisp and gcl
-RESTRICT="strip"
-
-src_configure() {
- local LISP n
- LISP=sbcl
- n=${#LISPS[*]}
- for ((n--; n > 0; n--)); do
- if use ${LISPS[$n]}; then
- LISP=${COMS[$n]}
- if [ "${LISP}" = "." ]; then
- LISP=${LISPS[$n]}
- fi
- fi
- done
- einfo "Using lisp: ${LISP}"
-
- # aldor is not yet in portage
- econf --disable-aldor --with-lisp=${LISP} $(use_with X x) $(use_with gmp)
-}
-
-src_compile() {
- # bug #300132
- emake -j1
-}
-
-src_test() {
- emake -j1 all-input
-}
-
-src_install() {
- emake -j1 DESTDIR="${D}" install
- dodoc README FAQ
-
- if use emacs; then
- sed -e "s|(setq load-path (cons (quote \"/usr/$(get_libdir)/fricas/emacs\") load-path)) ||" \
- -i "${D}"/usr/bin/efricas \
- || die "sed efricas failed"
- elisp-install ${PN} "${D}"/usr/$(get_libdir)/${PN}/emacs/*.el
- elisp-site-file-install "${FILESDIR}"/64${PN}-gentoo.el
- else
- rm "${D}"/usr/bin/efricas || die "rm efricas failed"
- fi
- rm -r "${D}"/usr/$(get_libdir)/${PN}/emacs || die "rm -r emacs failed"
-}
-
-pkg_postinst() {
- use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
- use emacs && elisp-site-regen
-}
diff --git a/sci-mathematics/fricas/fricas-1.3.1.ebuild b/sci-mathematics/fricas/fricas-1.3.1.ebuild
deleted file mode 100644
index 7006655bdef7..000000000000
--- a/sci-mathematics/fricas/fricas-1.3.1.ebuild
+++ /dev/null
@@ -1,102 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-inherit multilib elisp-common
-
-DESCRIPTION="FriCAS is a fork of Axiom computer algebra system"
-HOMEPAGE="http://${PN}.sourceforge.net/"
-SRC_URI="mirror://sourceforge/${PN}/${P}-full.tar.bz2"
-LICENSE="BSD-2"
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-
-# Supported lisps, number 0 is the default
-LISPS=( sbcl cmucl gcl ecls clisp clozurecl )
-# Version restrictions, . means no restrictions
-REST=( . . . . . . )
-# command name: . means just ${LISP}
-COMS=( . lisp . ecl . ccl )
-
-IUSE="${LISPS[*]} X emacs gmp"
-RDEPEND="X? ( x11-libs/libXpm x11-libs/libICE )
- emacs? ( virtual/emacs )
- gmp? ( dev-libs/gmp:= )"
-
-# Generating lisp deps
-n=${#LISPS[*]}
-for ((n--; n > 0; n--)); do
- LISP=${LISPS[$n]}
- if [ "${REST[$n]}" = "." ]; then
- DEP="dev-lisp/${LISP}"
- else
- DEP="${REST[$n]}"
- fi
- RDEPEND="${RDEPEND} ${LISP}? ( ${DEP}:= ) !${LISP}? ("
-done
-if [ "${REST[0]}" = "." ]; then
- DEP="dev-lisp/${LISPS[0]}"
-else
- DEP="${REST[0]}"
-fi
-RDEPEND="${RDEPEND} ${DEP}:="
-n=${#LISPS[*]}
-for ((n--; n > 0; n--)); do
- RDEPEND="${RDEPEND} )"
-done
-
-DEPEND="${RDEPEND}"
-
-# necessary for clisp and gcl
-RESTRICT="strip"
-
-src_configure() {
- local LISP n
- LISP=sbcl
- n=${#LISPS[*]}
- for ((n--; n > 0; n--)); do
- if use ${LISPS[$n]}; then
- LISP=${COMS[$n]}
- if [ "${LISP}" = "." ]; then
- LISP=${LISPS[$n]}
- fi
- fi
- done
- einfo "Using lisp: ${LISP}"
-
- # aldor is not yet in portage
- econf --disable-aldor --with-lisp=${LISP} $(use_with X x) $(use_with gmp)
-}
-
-src_compile() {
- # bug #300132
- emake -j1
-}
-
-src_test() {
- emake -j1 all-input
-}
-
-src_install() {
- emake -j1 DESTDIR="${D}" install
- dodoc README FAQ
-
- if use emacs; then
- sed -e "s|(setq load-path (cons (quote \"/usr/$(get_libdir)/fricas/emacs\") load-path)) ||" \
- -i "${D}"/usr/bin/efricas \
- || die "sed efricas failed"
- elisp-install ${PN} "${D}"/usr/$(get_libdir)/${PN}/emacs/*.el
- elisp-site-file-install "${FILESDIR}"/64${PN}-gentoo.el
- else
- rm "${D}"/usr/bin/efricas || die "rm efricas failed"
- fi
- rm -r "${D}"/usr/$(get_libdir)/${PN}/emacs || die "rm -r emacs failed"
-}
-
-pkg_postinst() {
- use emacs && elisp-site-regen
-}
-
-pkg_postrm() {
- use emacs && elisp-site-regen
-}
diff --git a/sci-mathematics/fricas/fricas-1.3.3.ebuild b/sci-mathematics/fricas/fricas-1.3.3.ebuild
index 1be321f3f7bd..b844cb78f7b6 100644
--- a/sci-mathematics/fricas/fricas-1.3.3.ebuild
+++ b/sci-mathematics/fricas/fricas-1.3.3.ebuild
@@ -51,7 +51,7 @@ DEPEND="${RDEPEND}"
RESTRICT="strip"
src_configure() {
- local LISP n
+ local LISP n GMP
LISP=sbcl
n=${#LISPS[*]}
for ((n--; n > 0; n--)); do
@@ -64,8 +64,14 @@ src_configure() {
done
einfo "Using lisp: ${LISP}"
+ # bug #650788
+ if [[ ${LISP} = sbcl || ${LISP} = ccl ]]
+ then GMP=$(use_with gmp)
+ else GMP=''
+ fi
+
# aldor is not yet in portage
- econf --disable-aldor --with-lisp=${LISP} $(use_with X x) $(use_with gmp)
+ econf --disable-aldor --with-lisp=${LISP} $(use_with X x) ${GMP}
}
src_compile() {
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest
index 1d89a6dcfc17..d1fd3138ac77 100644
--- a/sci-mathematics/why3-for-spark/Manifest
+++ b/sci-mathematics/why3-for-spark/Manifest
@@ -1,4 +1,4 @@
AUX why3-for-spark-2017-gentoo.patch 1300 BLAKE2B 616ed7cf1d5c8494a0b9f724ef1b011ad51e9f7edfb8bc88892902ad0cdc23793c8f8cd0e491757be08d90cb1159878d8bd3a34e1ebba62c927b9f676f58c241 SHA512 7ec992b1d0f0f285903b69876b853a8d368c73f4ed3dfccc25f5ae18e72e0c6f71ce9b81e18f2a685d19a7bfa8e69571cb71d4faa5ec67e0fbf2231202c2ea3d
DIST why3-for-spark-gpl-2017-src.tar.gz 9248235 BLAKE2B d9eb7201dfd5962c88ac8995e3cd800bf318f575a5e6ff7d0219941c0f0c9052e6b2c95c7c16fcd81b90cac647d503041bf16560bd44b58e7e0ced1ef2314bd2 SHA512 8f444402f6c1744cd7c565117732935791b1ae7996a94314c40a66d125eae8a81f2257314246c94fd29d3cd16abcff6a50a152a1191a4aae39a2c8a8d7c3b9e1
-EBUILD why3-for-spark-2017.ebuild 1936 BLAKE2B 6240a4d731d81817b8ab6ed55ffdb2863a1996043ddf5400452c601244d9bc995283ef84a6364c73f2f97405ed87347a3e06107a2c482d31c8d48f77810fcd59 SHA512 b92abe2231e661b256d8b6607458d01ebac30236f723e472f88adcacee917feb8d56d129328ec0875fca52778dfaeaecab62d73443c8de37012b18aef5a38aed
+EBUILD why3-for-spark-2017.ebuild 1797 BLAKE2B 8ca7d6ea2787bbe271924d1cecb1807da5c26f7e6342cac62c53d3c9f451c21eb892b8528900ea61fc54aa00bf5fa503dc4a77c7a13fcfceb342c6344d7d3bdc SHA512 b033c9f507637dfd10b759f9f7ffe89a1e7516d43fba2b1ad5e2cf4769d61fce9c6c61c6743ef54f5277994e9aec1656c981eac540b777d085232bcb79d2bd37
MISC metadata.xml 1363 BLAKE2B 820bfc974ca6984f78340f223f8f19d12f0313016118110a35cfe149129c2dc189d6f03f34bf3d30c9d3e5d9c9ab90bba33dca4320c034821a7a89f97b92a7f9 SHA512 ee8323cc37fdea800e355fc14ba67cac66c3ec3c41528d481a7e938b1d3e23859bdddfb06d3b6653725cdcfcc0d07e66ba1d3cc80b3637a781db7bab5f7dc677
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
index 1fa2034863d2..f79b8ccbe05c 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
EAPI=6
@@ -16,6 +16,7 @@ LICENSE="GPL-3"
SLOT="0"
KEYWORDS="~amd64"
IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt profiling zarith zip"
+RESTRICT=strip
DEPEND=">=dev-lang/ocaml-4.02.3[ocamlopt?]
dev-ml/menhir
@@ -65,10 +66,6 @@ src_compile() {
default
if use ocamlopt; then
emake byte
- else
- # If using bytecode we dont want to strip the binary as it would remove
- # the bytecode and only leave ocamlrun...
- export STRIP_MASK="*/bin/*"
fi
use doc && emake doc
}