summaryrefslogtreecommitdiff
path: root/sci-mathematics
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-09-19 23:22:40 +0100
committerV3n3RiX <venerix@koprulu.sector>2022-09-19 23:22:40 +0100
commit4ae4e74a3a13c7c5aaebf61e650538b005204fcb (patch)
tree4abb4271a26b735b28a4eb8b69206cbcc8e7b4e2 /sci-mathematics
parentb2a3508c3634488d32ec5bbe6b4365ab27185ebd (diff)
gentoo auto-resync : 19:09:2022 - 23:22:40
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/Manifest.gzbin16205 -> 16203 bytes
-rw-r--r--sci-mathematics/maxima/Manifest9
-rw-r--r--sci-mathematics/maxima/files/clozurecl-2.patch27
-rw-r--r--sci-mathematics/maxima/files/dont-hardcode-python.patch38
-rw-r--r--sci-mathematics/maxima/files/ecls-3.patch48
-rw-r--r--sci-mathematics/maxima/files/ecls-4.patch16
-rw-r--r--sci-mathematics/maxima/files/support-new-vtk.patch26
-rw-r--r--sci-mathematics/maxima/maxima-5.42.1-r1.ebuild213
-rw-r--r--sci-mathematics/maxima/maxima-5.46.0.ebuild2
-rw-r--r--sci-mathematics/why3/Manifest2
-rw-r--r--sci-mathematics/why3/why3-1.5.1.ebuild103
11 files changed, 107 insertions, 377 deletions
diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 95817904f8f8..04e00916e157 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
Binary files differ
diff --git a/sci-mathematics/maxima/Manifest b/sci-mathematics/maxima/Manifest
index a2080a2720cc..29cf953a73d7 100644
--- a/sci-mathematics/maxima/Manifest
+++ b/sci-mathematics/maxima/Manifest
@@ -1,20 +1,13 @@
AUX 50maxima-gentoo-1.el 538 BLAKE2B 0c0810f90f3a64f5e576b9e3480032ad7aa52ede02b8c045ba43a41407d5ce05ece1186f4e7cb73429e82bb983043a07eb141bd8987c3a49694df9f5ae51f233 SHA512 e1325f0d401b80f302c3e6b5d6c0fe8f58a53336f670f73450ff7876ca1c25b8bacbaff49ce05ec1dec1dda08062986ba4b9988927fce835dfca9f24460a0ddd
AUX clisp-1.patch 1194 BLAKE2B b64764d80b5908a35081b9bb7114e18de266156cb80bae1c764af8c74594a5238e916ed34c547c3053804d68840f2106278dfc83c61445ee9ab9361539315ddc SHA512 05febcd92f6e9d667a8bc8c5c2bf7f02a1585cf5cff8add669716b6fc014ca603ee5bd72e2824db2b8d20cf3f7c9e5cc981c7bce7091c8f5f7ec002a20de40d3
-AUX clozurecl-2.patch 1505 BLAKE2B c5550f79e67dd007c970759c5e734009d1cb4fa0af728d414ce271175770ed32bd2cf5e58c9738e32afa76b0053b2eee77c886650b0ba99c7e0e3176bc946d69 SHA512 41664b77eae0f2c3cc0e551bd2c26c02769faed339b5725dc790691929094cd5d5008169eba9788515392d9fed00919aaacbb24ee91b76f5d51eb6468335cf9c
AUX clozurecl-3.patch 1499 BLAKE2B 080d9bdd90ba34f9b63e9a3409da90ec84e4de7f35dd0c1aff3be431a6b11c515e10c310a43f987f933d70923a21a5ee63920f88174eb840e2b653975e6512ef SHA512 c5f31f515e1a13d4e0f251e52d2f96142ff917c03e12c52c3463bc576a1add783d2cd4239f8f321495f0c4de5f93e0d4174a95e3c2bc0d63c88683250ac9cf18
AUX cmucl-1.patch 1336 BLAKE2B 59767907f9f2734fa43e8d9c0e876cf2bf1f2cb0e360976ddd08b4eda9685cd1b862aa072a2f0202733db5ab91958bf0d6b48af3d20e6748f4de2e6b366f49ed SHA512 3b8c01ecbbcd87101e4e31356293216d9c2a018ddabc076905a8b87eeda27bea6cd36242ab6b9caf7553fb9187544beb620b739211c63e21afa1b2f050ef318e
-AUX dont-hardcode-python.patch 1702 BLAKE2B 8d784d665840325f40db95c0f50158e1c89e90d1266b9ac41f7f1020c125a285d5b79281b8374d1b46dc153491b0ca13ed62ac5aade2bff9bfe19a569e8ab2b7 SHA512 c6100cca8bf0e652a7a4b4533558ada6193991a53f847662028056624937a3e4c583c20f1509a0f9e4e35bda3a49d913e0be2c56a602ec550210b1403e64af1c
-AUX ecls-3.patch 2147 BLAKE2B d454b620f01d734d6a774f64dbac67f0996aeacc2a029225cc8a9269211169e7b69237f8b734b92b1f037b5abdcd7ec3ba374924b498fdc63025a1eca5a0d9e6 SHA512 1fcaa4a79d4aaf08dd4162c6d59f8f168909320575a43dcb435cbd758338244ac3b89888501f4cb1fc0f9d8d43b3abe587bc898aacb45c19ba0858f74512366e
-AUX ecls-4.patch 726 BLAKE2B 7aa2520c10b1c142297791c0d87c9e65578ba6b2f3c7402f2c4bb2474fc1c22f85f0f27bed0530bd711e785a0bec500ef6a57b53d9481300901d11f1131126c9 SHA512 0d1616aba389a43e646ef99dd5d9176b2e49ad0569d9a63dea5562b829748f1a1e0d599fb0b359ffc7031ed43c7f08c4cea2ab9a3a97be49f09a7394a280aa15
AUX emacs-0.patch 807 BLAKE2B 82c879f9c252c4efefb007f8553e845ddc52d76af5cbeab740a1f2bde459b5e87957e0f3e5a9d76d5c1e879ddbebdfb9a6d6b80745cc40e3ddc4379887f4e9b2 SHA512 f62d364651838ed196a2e8965930b42313cb73f912b898b953b526ffc5dc0135841b53618fbbb6a32d21d3412ba5f2bfb253bf41c640a136f68d830f43628ac4
AUX imaxima-0.patch 598 BLAKE2B 1c7593840556e723660e735c7bffd706b365c76d18b0a1d7e07eb318794e9b7d4f54173fd2efca06c57e5a0713983e01fe86a24752df7cc1ea540101374ed922 SHA512 3c7d846197fa1996ae8cd4210cfb80e613bc659fd3086f0f8df381ab7ee12f329aba3ce616059afa35e378c26b28a653f7aaed7ff47e3b2febf2f98010252b71
AUX rmaxima-0.patch 552 BLAKE2B 8b8ceb5ea671049490ab006be31f6e81f85d9e43950296db920b3a0d4eb8b19cd14b8b599c98e1dc82f69d441d04c631c4aec2315eaee68f791ddce75dc7ed56 SHA512 a60c8c5ac23b0342823fbcd15e27f44ea85652640271ea845e383796422fa416b221dd036eb0a1639f70f9b09473471657612c7a5f99892cfb214d52156a6907
AUX sbcl-2.patch 1072 BLAKE2B 3e16339b7b9acbbfcd424780432be4a4267b994c3a7a8774c95ff8335d48565d15dae3cba16b127a9184e4fe20b5d6930df2e385c2a15b9f58e2d0fa597665a1 SHA512 b8df0b53f4ae04e175dfab8889206ea8ffa83c51b2408322423d5f52cf956b1084e7d1ba0c054032f9121cb1684fcc6bb9d48b1a967f9e01492ad25c035b1c62
-AUX support-new-vtk.patch 924 BLAKE2B 960c3342ca4374c03aff30d7d2326c6e826ffb2cb025952c8af381102ef2556b21e78ec9a4316740871ebf7afea1c8053f50342a7a66ad897fa6b79ac29b30fe SHA512 6cc8b0a67d6aa6bc87f003181a891c480420bed228ede8cd9f7143c5473f8e11a4fceb405e182ac00ce26f7380d714c6487ebb9fe4603d94e7e0111cbef68f75
AUX wish-2.patch 662 BLAKE2B ccc3879c7445fd916c921857ea9642fb54cc6b8eb647cb23c3f93b949a05de9226d19d7898daf998cbedc61a77556c923f3f6f8e57508b73f3cae117f62d214d SHA512 110db85899241e1f9ea8427ffb397737aefe0bb6286d037c2c04cfad9726838521ef6403242aeb1e4246d06f13cf83af84bba38567a99b00ed6a081f17b38ead
AUX xdg-utils-1.patch 1313 BLAKE2B 35d6f88c505c5b1bb5ecf5691e17522b427a3f035f64de095ba088fa9c6a6076e4c0f7f57794804b588798c2289d36397a95101bde890c363aee9675bf8401e7 SHA512 5e5ab3196cf012ee768d108cc47da25c5afbaffca6f9a1aed9338a7154d377e6baf791d2c7bbe9191b823e056056379f190d8bf7b8ce689f44db892f5e375116
-DIST maxima-5.42.1.tar.gz 41865510 BLAKE2B d3b8a50594dc0cef0c354c42be1aee96df77a4e222dbe457edeb47d7fe77a8fe376b10ce8da9e4ff6c447242e9c53a32286d09a64d8600112f6feda92f1fb58d SHA512 79c5e70119b0384d9dd8aa47c7e96a0ccb7e6367526b8a14d21f00137a1c2f0c8b7990bb7231d7c90ffa0090f67c1fa30a418d013d9c5982030ae68de9717f48
DIST maxima-5.46.0.tar.gz 47492457 BLAKE2B 3d709c1647357477ef8c92ce1f3b0789664fcd86ebe16cf68a89b84c019cb30bc4896409fbe5236bb4dbb25cf972c17cf612c602e57c4c6100b2d86737715f48 SHA512 6c76292ac270b9d8e91d13035733d12038a69ef3510e70a28793b6116208eccd7bf6387e246e9e8c0a22a2e793b948f1233a56fc863ad8712a35e5b1b92fbeef
-EBUILD maxima-5.42.1-r1.ebuild 4916 BLAKE2B 838203d4b4e1d417eb35a0891cb8b9801114f53fbce2ca9910e3ecfe53932a4be96e454721e46049a4fdd84b61eb447610eb028b33860fd34b0e2d60c9595bea SHA512 77184d89fa584f92da3e691ebddab58da12733c99742d6eb835d1be2d69ff0f11bdfffa40f3c7dfe537a4ee08fc34e8d269a5cec20c60a498eb9e77f92f137ce
-EBUILD maxima-5.46.0.ebuild 5956 BLAKE2B 311beeb13b2633ef6f1e4506ac30836fbeaf4d298a51943d61130163c452fbb4f67f2964a6d8c29979e76f28f81986e554ffdce9ddcb681974b00d9c67d0be86 SHA512 fd9cfd3c3772ebfb35bc77520d66fd6dcf535339325c114c691b01f3f88deffe597459fbd0fdfc4fb7e106bc4441c30fbfe88dca5737af6b58844110d0cc7571
+EBUILD maxima-5.46.0.ebuild 5961 BLAKE2B fc7096efa6a9b8c2037d4b42c4a0bf999a628697d8888af2132d82ec9680abb0d91a3fd61980ac0c22ee97526ac9633d776b0728532bc9ff5d4d21b49d91726f SHA512 d245be8f53d78a61fc14bd8ed23222d4a55554b13a992819ae8235b0d3be78ce1a2dd84b9f6d227e48d31b607e19506a08ff9933b79d08595352f98adf7a1102
MISC metadata.xml 1734 BLAKE2B a7f2d1c80272f79cce70c14b84b2c5bec1898f59464ce871a97ed4af1026b1d49622e865743002dbb7a9c91a878d2e8b4ae0302084f5bb2f7c75eedfd5370099 SHA512 2fbe921b196b17d6cf866f1193b4b83aa9974598f4b923acd7847dc1d327f5ab2b623ffd19bb772176740a96b1efb438f26c57a108151f0f18c720ce8b540bf7
diff --git a/sci-mathematics/maxima/files/clozurecl-2.patch b/sci-mathematics/maxima/files/clozurecl-2.patch
deleted file mode 100644
index 5c5189c7e051..000000000000
--- a/sci-mathematics/maxima/files/clozurecl-2.patch
+++ /dev/null
@@ -1,27 +0,0 @@
-diff -r -U1 maxima-5.37.1.orig/configure.ac maxima-5.37.1/configure.ac
---- maxima-5.37.1.orig/configure.ac 2015-09-01 02:28:02.000000000 +0600
-+++ maxima-5.37.1/configure.ac 2015-09-03 18:11:54.335618720 +0600
-@@ -386,3 +386,3 @@
- dnl n.b. openmcl_default_name is hardcoded in "with" message
--openmcl_default_name=openmcl
-+openmcl_default_name=ccl
- AC_ARG_ENABLE(openmcl,
-diff -r -U1 maxima-5.37.1.orig/src/Makefile.am maxima-5.37.1/src/Makefile.am
---- maxima-5.37.1.orig/src/Makefile.am 2015-08-11 02:44:21.000000000 +0600
-+++ maxima-5.37.1/src/Makefile.am 2015-09-03 17:26:12.849734012 +0600
-@@ -338,3 +338,3 @@
-
--EXECUTEOPENMCL = $(OPENMCL_NAME) -e
-+EXECUTEOPENMCL = $(OPENMCL_NAME) --no-init -e
- BUILT_FILES += $(OPENMCL_MAXIMA)
-diff -r -U1 maxima-5.37.1.orig/src/maxima.in maxima-5.37.1/src/maxima.in
---- maxima-5.37.1.orig/src/maxima.in 2015-05-22 04:40:03.000000000 +0600
-+++ maxima-5.37.1/src/maxima.in 2015-09-03 17:22:31.841743306 +0600
-@@ -182,5 +182,5 @@
- if [ -x "$MAXIMA_IMAGESDIR/binary-$MAXIMA_LISP/maxima" ]; then
-- exec "$MAXIMA_IMAGESDIR/binary-$MAXIMA_LISP/maxima" $MAXIMA_LISP_OPTIONS -e '(cl-user::run)' -- "$@"
-+ exec "$MAXIMA_IMAGESDIR/binary-$MAXIMA_LISP/maxima" $MAXIMA_LISP_OPTIONS --no-init -e '(cl-user::run)' -- "$@"
- else
-- exec "@OPENMCL_NAME@" -I "$maxima_image_base.image" $MAXIMA_LISP_OPTIONS -e '(cl-user::run)' -- "$@"
-+ exec "@OPENMCL_NAME@" -I "$maxima_image_base.image" $MAXIMA_LISP_OPTIONS --no-init -e '(cl-user::run)' -- "$@"
- fi
diff --git a/sci-mathematics/maxima/files/dont-hardcode-python.patch b/sci-mathematics/maxima/files/dont-hardcode-python.patch
deleted file mode 100644
index 63dea1ea1de7..000000000000
--- a/sci-mathematics/maxima/files/dont-hardcode-python.patch
+++ /dev/null
@@ -1,38 +0,0 @@
-From a640c5e357ce2aafb6edcba9b6c641cbc7753880 Mon Sep 17 00:00:00 2001
-From: Michael Orlitzky <michael@orlitzky.com>
-Date: Wed, 24 Mar 2021 20:57:44 -0400
-Subject: [PATCH 1/1] doc/info/build_html.sh.in: use @PYTHON@ for the python
- interpreter.
-
-Maxima's ./configure script already detects (or is prodded to use) a
-certain python interpreter. The build_html.sh script, however, is
-still using a hard-coded "python" command. On many systems, "python"
-will be different from the python interpreter that we want to use; for
-example when "python" is python-2.7.x and "python3" is what we want to
-use with Maxima.
-
-This commit tweaks doc/info/build_html.sh.in to use the value of the
-$PYTHON variable instead.
-
-Maxima-Bug: https://sourceforge.net/p/maxima/bugs/3754
-Gentoo-Bug: https://bugs.gentoo.org/766291
----
- doc/info/build_html.sh.in | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/doc/info/build_html.sh.in b/doc/info/build_html.sh.in
-index 37930e9..c10e38d 100755
---- a/doc/info/build_html.sh.in
-+++ b/doc/info/build_html.sh.in
-@@ -46,7 +46,7 @@ do
- echo "filenamebase = \"$filenamebase\""
- cat $f
- done | @AWK@ '!/^@c / && !/^@c$/ && (/^@deffn/ || /^@defvr/ || /^@end deffn/ || /^@end defvr/ || /@category/ || /@node/ || /^filenamebase/)' | @SED@ -f @abs_srcdir@/extract_categories1.sed | @AWK@ -f @abs_srcdir@/extract_categories1.awk > make-categories.py
--python make-categories.py
-+@PYTHON@ make-categories.py
- @SED@ -e 's/^@bye/@node Documentation Categories, , Function and Variable Index\n@chapter Documentation Categories/' @abs_srcdir@/maxima.texi > maxima.texi
- ( for f in Category-*.texi; do echo '@include' $f; done ; echo @bye ) >> maxima.texi
-
---
-2.26.2
-
diff --git a/sci-mathematics/maxima/files/ecls-3.patch b/sci-mathematics/maxima/files/ecls-3.patch
deleted file mode 100644
index b44dea4d09a8..000000000000
--- a/sci-mathematics/maxima/files/ecls-3.patch
+++ /dev/null
@@ -1,48 +0,0 @@
-diff -r -U3 maxima-5.42.0.orig/src/maxima.in maxima-5.42.0/src/maxima.in
---- maxima-5.42.0.orig/src/maxima.in 2018-09-21 08:21:11.000000000 +0700
-+++ maxima-5.42.0/src/maxima.in 2018-10-01 21:49:23.551633882 +0700
-@@ -236,7 +236,7 @@
- fi
-
- elif [ "$MAXIMA_LISP" = "ecl" ]; then
-- exec "$maxima_image_base" --frame-stack 4096 --lisp-stack 65536 $MAXIMA_LISP_OPTIONS -- "$@"
-+ exec "$maxima_image_base" --frame-stack 4096 --lisp-stack 65536 $MAXIMA_LISP_OPTIONS -norc -- "$@"
-
- elif [ "$MAXIMA_LISP" = "sbcl" ]; then
- # Use executable image if it exists.
-diff -r -U3 maxima-5.42.0.orig/src/maxima.system maxima-5.42.0/src/maxima.system
---- maxima-5.42.0.orig/src/maxima.system 2016-12-04 05:27:40.000000000 +0700
-+++ maxima-5.42.0/src/maxima.system 2018-10-01 22:01:08.068604254 +0700
-@@ -59,6 +59,14 @@
- (c:build-fasl output :lisp-files (list object-output)))))
-
- #+ecl
-+(defun split-ld-flags-for-ecl (string &aux space)
-+ (setf string (string-trim '(#\Space) string))
-+ (if (setf space (position #\Space string))
-+ (cons (subseq string 0 space)
-+ (split-ld-flags-for-ecl (subseq string (1+ space))))
-+ (cons string nil)))
-+
-+#+ecl
- (defun build-maxima-lib ()
- (labels ((list-all-objects (module)
- (if (eql (mk::component-type module) :file)
-@@ -75,11 +83,16 @@
- ;; Convert dir/foo.fas to dir/foo.o
- (make-pathname :type "o" :defaults p))
- files)))
-+ (c::build-fasl "binary-ecl/maxima" :lisp-files obj
-+ :ld-flags
-+ (let ((x (symbol-value (find-symbol "*AUTOCONF-LD-FLAGS*"
-+ (find-package "MAXIMA")))))
-+ (if (and x (not (string= x ""))) (split-ld-flags-for-ecl x))))
- (c::build-program "binary-ecl/maxima" :lisp-files obj
- :ld-flags
- (let ((x (symbol-value (find-symbol "*AUTOCONF-LD-FLAGS*"
- (find-package "MAXIMA")))))
-- (if (and x (not (string= x ""))) (list x)))
-+ (if (and x (not (string= x ""))) (split-ld-flags-for-ecl x)))
- :epilogue-code '(progn (require :defsystem)
- (cl-user::run)))))))
-
diff --git a/sci-mathematics/maxima/files/ecls-4.patch b/sci-mathematics/maxima/files/ecls-4.patch
deleted file mode 100644
index 7c597c223333..000000000000
--- a/sci-mathematics/maxima/files/ecls-4.patch
+++ /dev/null
@@ -1,16 +0,0 @@
-diff --git a/src/maxima.system b/src/maxima.system
-index ee7ca0f..85ec36f 100644
---- a/src/maxima.system
-+++ b/src/maxima.system
-@@ -75,6 +75,11 @@
- ;; Convert dir/foo.fas to dir/foo.o
- (make-pathname :type "o" :defaults p))
- files)))
-+ (c::build-fasl "binary-ecl/maxima" :lisp-files obj
-+ :ld-flags
-+ (let ((x (symbol-value (find-symbol "*AUTOCONF-LD-FLAGS*"
-+ (find-package "MAXIMA")))))
-+ (if (and x (not (string= x ""))) (list x))))
- (c::build-program "binary-ecl/maxima" :lisp-files obj
- :ld-flags
- (let ((x (symbol-value (find-symbol "*AUTOCONF-LD-FLAGS*"
diff --git a/sci-mathematics/maxima/files/support-new-vtk.patch b/sci-mathematics/maxima/files/support-new-vtk.patch
deleted file mode 100644
index 3296ce276467..000000000000
--- a/sci-mathematics/maxima/files/support-new-vtk.patch
+++ /dev/null
@@ -1,26 +0,0 @@
-commit c21598340008892173578718afa577f93ebfdd45
-Author: Leo Butler <l_butler@users.sourceforge.net>
-Date: Sat Feb 13 16:16:20 2021 -0600
-
- Fix SF Bug #3714, Update maxima to use vtk-8.2.0
-
- The GlobalImmediateModeRenderingOn method was deprecated in the VTK
- codebase in 2017,
-
- https://github.com/Kitware/VTK/commit/67e054c91063be30e8e991de489fdda3af668e22
-
- This commit may change or break draw-vtk user code that relies on
- older versions of vtk.
-
-diff --git a/share/draw/vtk.lisp b/share/draw/vtk.lisp
-index 6ff0f9586..1964048d2 100644
---- a/share/draw/vtk.lisp
-+++ b/share/draw/vtk.lisp
-@@ -224,7 +224,6 @@
- (defun vtkpolydatamapper-code (mn fn con)
- (concatenate 'string
- (format nil "~a=vtk.vtkPolyDataMapper()~%" mn)
-- (format nil "~a.GlobalImmediateModeRenderingOn()~%" mn)
- (if con
- (format nil "~a.SetInputConnection(~a.GetOutputPort())~%" mn fn)
- "") ))
diff --git a/sci-mathematics/maxima/maxima-5.42.1-r1.ebuild b/sci-mathematics/maxima/maxima-5.42.1-r1.ebuild
deleted file mode 100644
index e06559d09565..000000000000
--- a/sci-mathematics/maxima/maxima-5.42.1-r1.ebuild
+++ /dev/null
@@ -1,213 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-inherit autotools elisp-common eutils xdg-utils
-
-DESCRIPTION="Free computer algebra environment based on Macsyma"
-HOMEPAGE="http://maxima.sourceforge.net/"
-SRC_URI="mirror://sourceforge/${PN}/${P}.tar.gz"
-
-LICENSE="GPL-2 GPL-2+"
-SLOT="0"
-KEYWORDS="amd64 ~ppc x86 ~amd64-linux ~x86-linux"
-
-# Supported lisps
-LISPS=( sbcl cmucl gcl ecls clozurecl clisp )
-# <lisp> supports readline: . - no, y - yes
-SUPP_RL=( . . y . . y )
-# . - just --enable-<lisp>, <flag> - --enable-<flag>
-CONF_FLAG=( . . . ecl ccl . )
-# patch file version; . - no patch
-PATCH_V=( 2 1 . 3 2 1 )
-
-IUSE="emacs tk nls unicode X ${LISPS[*]}"
-
-# Languages
-LANGS="de es pt pt_BR"
-for lang in ${LANGS}; do
- IUSE="${IUSE} l10n_${lang/_/-}"
-done
-
-# texlive-latexrecommended needed by imaxima for breqn.sty
-RDEPEND="!app-emacs/imaxima
- virtual/libcrypt:=
- X? ( x11-misc/xdg-utils
- sci-visualization/gnuplot[gd]
- tk? ( dev-lang/tk:0 ) )
- emacs? ( >=app-editors/emacs-23.1:*
- virtual/latex-base
- app-emacs/auctex
- app-text/ghostscript-gpl
- dev-texlive/texlive-latexrecommended )"
-
-# generating lisp dependencies
-depends() {
- local LISP DEP
- LISP=${LISPS[$1]}
- DEP="dev-lisp/${LISP}:="
- if [ "${SUPP_RL[$1]}" = "." ]; then
- DEP="${DEP} app-misc/rlwrap"
- fi
- echo ${DEP}
-}
-
-n=${#LISPS[*]}
-for ((n--; n >= 0; n--)); do
- LISP=${LISPS[${n}]}
- RDEPEND="${RDEPEND} ${LISP}? ( $(depends ${n}) )"
- DEF_DEP="${DEF_DEP} !${LISP}? ( "
-done
-
-# default lisp
-DEF_LISP=0 # sbcl
-ARM_LISP=2 # gcl
-DEF_DEP="${DEF_DEP} arm? ( `depends ${ARM_LISP}` ) !arm? ( `depends ${DEF_LISP}` )"
-
-n=${#LISPS[*]}
-for ((n--; n >= 0; n--)); do
- DEF_DEP="${DEF_DEP} )"
-done
-
-unset LISP
-
-RDEPEND="${RDEPEND}
- ${DEF_DEP}"
-
-DEPEND="${RDEPEND}
- sys-apps/texinfo"
-
-TEXMF="${EPREFIX}"/usr/share/texmf-site
-
-pkg_setup() {
- local n=${#LISPS[*]}
-
- for ((n--; n >= 0; n--)); do
- use ${LISPS[${n}]} && NLISPS="${NLISPS} ${n}"
- done
-
- if [ -z "${NLISPS}" ]; then
- use arm && DEF_LISP=${ARM_LISP}
- ewarn "No lisp specified in USE flags, choosing ${LISPS[${DEF_LISP}]} as default"
- NLISPS=${DEF_LISP}
- fi
-}
-
-src_prepare() {
- local n PATCHES v
- PATCHES=( emacs-0 rmaxima-0 wish-2 xdg-utils-1 )
-
- n=${#PATCHES[*]}
- for ((n--; n >= 0; n--)); do
- eapply "${FILESDIR}"/${PATCHES[${n}]}.patch
- done
-
- n=${#LISPS[*]}
- for ((n--; n >= 0; n--)); do
- v=${PATCH_V[${n}]}
- if [ "${v}" != "." ]; then
- eapply "${FILESDIR}"/${LISPS[${n}]}-${v}.patch
- fi
- done
-
- eapply_user
-
- # bug #343331
- rm share/Makefile.in || die
- rm src/Makefile.in || die
- touch src/*.mk
- touch src/Makefile.am
- eautoreconf
-}
-
-src_configure() {
- local CONFS CONF n lang
- for n in ${NLISPS}; do
- CONF=${CONF_FLAG[${n}]}
- if [ ${CONF} = . ]; then
- CONF=${LISPS[${n}]}
- fi
- CONFS="${CONFS} --enable-${CONF}"
- done
-
- # enable existing translated doc
- if use nls; then
- for lang in ${LANGS}; do
- if use "l10n_${lang/_/-}"; then
- CONFS="${CONFS} --enable-lang-${lang}"
- use unicode && CONFS="${CONFS} --enable-lang-${lang}-utf8"
- fi
- done
- fi
-
- econf ${CONFS} \
- $(use_with tk wish) \
- $(use_enable emacs) \
- --with-lispdir="${EPREFIX}/${SITELISP}/${PN}"
-}
-
-src_compile() {
- emake
- if use emacs; then
- pushd interfaces/emacs/emaxima > /dev/null
- elisp-compile *.el
- popd > /dev/null
- pushd interfaces/emacs/imaxima > /dev/null
- BYTECOMPFLAGS="-L . -L ../emaxima"
- elisp-compile *.el
- popd > /dev/null
- fi
-}
-
-src_install() {
- docompress -x /usr/share/info
- emake DESTDIR="${D}" emacsdir="${EPREFIX}/${SITELISP}/${PN}" install
-
- use tk && make_desktop_entry xmaxima xmaxima \
- /usr/share/${PN}/${PV}/xmaxima/maxima-new.png \
- "Science;Math;Education"
-
- # do not use dodoc because interfaces can't read compressed files
- # read COPYING before attempt to remove it from dodoc
- insinto /usr/share/${PN}/${PV}/doc
- doins AUTHORS COPYING README README.lisps
- dodir /usr/share/doc
- dosym ../${PN}/${PV}/doc /usr/share/doc/${PF}
-
- if use emacs; then
- elisp-install ${PN} interfaces/emacs/{emaxima,imaxima}/*.{el,elc,lisp}
- elisp-site-file-install "${FILESDIR}"/50maxima-gentoo-1.el
-
- rm "${ED}"/${SITELISP}/${PN}/emaxima.sty || die
- insinto ${TEXMF}/tex/latex/emaxima
- doins interfaces/emacs/emaxima/emaxima.sty
-
- insinto /usr/share/${PN}/${PV}/doc/imaxima
- doins interfaces/emacs/imaxima/README
- doins -r interfaces/emacs/imaxima/imath-example
- fi
-
- # if we use ecls, build an ecls library for maxima
- if use ecls; then
- ECLLIB=`ecl -eval "(princ (SI:GET-LIBRARY-PATHNAME))" -eval "(quit)"`
- insinto "${ECLLIB#${EPREFIX}}"
- doins src/binary-ecl/maxima.fas
- fi
-}
-
-pkg_postinst() {
- xdg_mimeinfo_database_update
- if use emacs; then
- elisp-site-regen
- mktexlsr
- fi
-}
-
-pkg_postrm() {
- xdg_mimeinfo_database_update
- if use emacs; then
- elisp-site-regen
- mktexlsr
- fi
-}
diff --git a/sci-mathematics/maxima/maxima-5.46.0.ebuild b/sci-mathematics/maxima/maxima-5.46.0.ebuild
index 465a48416eb9..4e734d2aa344 100644
--- a/sci-mathematics/maxima/maxima-5.46.0.ebuild
+++ b/sci-mathematics/maxima/maxima-5.46.0.ebuild
@@ -13,7 +13,7 @@ SRC_URI="mirror://sourceforge/${PN}/${P}.tar.gz"
LICENSE="GPL-2 GPL-2+"
SLOT="0"
-KEYWORDS="amd64 x86 ~amd64-linux ~x86-linux"
+KEYWORDS="amd64 ~ppc x86 ~amd64-linux ~x86-linux"
IUSE="clisp clozurecl clozurecl64 cmucl ecls emacs gcl gui nls +sbcl vtk X test"
RESTRICT="test" # bug 838202
diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest
index 0860efd592c8..3617b3a6a835 100644
--- a/sci-mathematics/why3/Manifest
+++ b/sci-mathematics/why3/Manifest
@@ -1,7 +1,9 @@
DIST why3-1.4.0.tar.gz 6306524 BLAKE2B ade7803a608d090ea06d974ae47e920993de92a5849d60bd63dba68252919a8f4fd1f0f6a3c975fdb727c4ae3afe13921b5d31a14c005e0d08f518e64bcf05e5 SHA512 b492f08a3c7073782b143a4849c47766b12045ad53c56aa8d251fd5b6bc1863ddebe260c99b3ddb27c4e1e1e9ab986c8b02286ec24f4c30f99f81f5f13fdc90a
DIST why3-1.4.1.tar.gz 6305011 BLAKE2B 2d916fbf333550f8021bff9e7ccf4ca5685763ca7f82ae133298feaf96f3e8b36290a103fd27224fb6fb2dc36c8d7ad5d93ffc92e8cf7fe1a61abb5a40aecb39 SHA512 7990519179c088be1bc9b5b6d469f6d6fbd683445e20cbf5edd5c97682f2931b2657a92b60e539d7647033bfdc5a63401f28af61fd9b14b41011144afa2016e0
DIST why3-1.5.0.tar.gz 6723500 BLAKE2B e6ae5034cf0b3923dfaa760d604f754d4e385ea92ca1f70c7d4bd9985c75192ed381bb50d7211451f35d485e5c0969b3de4987603720b2fd6609cca5d074b85f SHA512 3ae443733321f2e487d6e503c4dbfe37d0e24c7dbe88eb94a3907775a1e6e30530b58ff835e3b2fff3fac5cd16622d758602e4f2b59aea567c7073199d67888c
+DIST why3-1.5.1.tar.gz 6727576 BLAKE2B db88dc011856bc779a917613adb20c14744f5491aba54e424909106a1133362ddf9eb22e4a05660cb3153bfddfa54c488e1f9df046e3c413732924e127975e82 SHA512 1452a21ea9191f57debcc082afe458aec503d6aa24f8bc83f734041cdd302c4f166c9c4fe5f9ec25369b6e83011bdd7b485d67b092efa71ff0c1b39447f4bdac
EBUILD why3-1.4.0-r3.ebuild 2158 BLAKE2B 6702941175fd4768951603bbeaa095a2e2cdc2181d8ac1f7cb3eb54269852510082ec35b26eafda6422d5b2f4ded36589d28010879b23a64868ad0b92297d44d SHA512 2baf6a0d90dd277922338645567dfe28a5eb159fc90e7991430b185171be5cf6cf1404cfd336c93b1ede56c4adda83268daab01b47f66961ad60da8b2f7cc19b
EBUILD why3-1.4.1-r1.ebuild 2158 BLAKE2B 6702941175fd4768951603bbeaa095a2e2cdc2181d8ac1f7cb3eb54269852510082ec35b26eafda6422d5b2f4ded36589d28010879b23a64868ad0b92297d44d SHA512 2baf6a0d90dd277922338645567dfe28a5eb159fc90e7991430b185171be5cf6cf1404cfd336c93b1ede56c4adda83268daab01b47f66961ad60da8b2f7cc19b
EBUILD why3-1.5.0-r1.ebuild 2340 BLAKE2B 4922cd324ab526cc24f27a81ffe92eafdb019ded5d32550ebac3f5ace92fddcd16f08238179080b20f05845eb78766e47bdf058b7c638313b4e474213799b350 SHA512 3e6d419d279f8343a2ca5ffaf6d0e29e723345c77fbd1aae1a522accc250dc56c4977378b41adc0c4731d5f086e85a014e646370378fff38cbb81eaf87494e6f
+EBUILD why3-1.5.1.ebuild 2340 BLAKE2B fb1e703be2a938d0b77eb7c3e32f4ee6a098df12dc933a7731697674e63e9f1878c0e87fd78f941e54002f97083fb7f8f9e100e40194e6deb41524b0ae358353 SHA512 a87f050be498502b7ff0b02948e37e1228cdba179aa7bf7908133af6c5c7123da3bf8be1c14b550ca0ff61fe745b5869d8b30c726cf2cad538230a09a381057d
MISC metadata.xml 1902 BLAKE2B 1868834e446b471f4b3f7b11fc987661dee83790110fa31c73f0060fd8340891ff85ec16591d1326977760c726ec04bd06a4cca46fb1a87f792340a002cba247 SHA512 4dc9408d44eafc037bfce9c996570e58c161e07c3ded2a052954c834fcf8c3a36cf8429493bc705ced7445d199eaf207cabb5df1b0ed6b625015af518e55d9e9
diff --git a/sci-mathematics/why3/why3-1.5.1.ebuild b/sci-mathematics/why3/why3-1.5.1.ebuild
new file mode 100644
index 000000000000..46885e778d78
--- /dev/null
+++ b/sci-mathematics/why3/why3-1.5.1.ebuild
@@ -0,0 +1,103 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit autotools findlib
+
+DESCRIPTION="Platform for deductive program verification"
+HOMEPAGE="https://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 stackify +zarith zip"
+
+RDEPEND="
+ !sci-mathematics/why3-for-spark
+ >=dev-lang/ocaml-4.05.0:=[ocamlopt?]
+ >=dev-ml/menhir-20170418:=
+ dev-ml/num:=
+ coq? ( >=sci-mathematics/coq-8.7 )
+ emacs? ( app-editors/emacs:* )
+ gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] )
+ re? ( dev-ml/re:= )
+ sexp? (
+ dev-ml/ppx_deriving:=[ocamlopt?]
+ dev-ml/ppx_sexp_conv:=[ocamlopt?]
+ dev-ml/sexplib:=[ocamlopt?]
+ )
+ stackify? ( dev-ml/ocamlgraph:=[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-texlive/texlive-fontsrecommended
+ dev-texlive/texlive-latexextra
+ )
+"
+
+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/}' \
+ -e '/\$(SPHINX)/s/ -d doc\/\.doctrees / /' \
+ -i Makefile.in || die
+
+ # remove QA warning about duplicated compressed file:
+ rm examples/mlcfg/basic/why3shapes.gz || 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 stackify)
+ $(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
+}