From 4ae4e74a3a13c7c5aaebf61e650538b005204fcb Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 19 Sep 2022 23:22:40 +0100 Subject: gentoo auto-resync : 19:09:2022 - 23:22:40 --- sci-mathematics/Manifest.gz | Bin 16205 -> 16203 bytes sci-mathematics/maxima/Manifest | 9 +- sci-mathematics/maxima/files/clozurecl-2.patch | 27 --- .../maxima/files/dont-hardcode-python.patch | 38 ---- sci-mathematics/maxima/files/ecls-3.patch | 48 ----- sci-mathematics/maxima/files/ecls-4.patch | 16 -- sci-mathematics/maxima/files/support-new-vtk.patch | 26 --- sci-mathematics/maxima/maxima-5.42.1-r1.ebuild | 213 --------------------- sci-mathematics/maxima/maxima-5.46.0.ebuild | 2 +- sci-mathematics/why3/Manifest | 2 + sci-mathematics/why3/why3-1.5.1.ebuild | 103 ++++++++++ 11 files changed, 107 insertions(+), 377 deletions(-) delete mode 100644 sci-mathematics/maxima/files/clozurecl-2.patch delete mode 100644 sci-mathematics/maxima/files/dont-hardcode-python.patch delete mode 100644 sci-mathematics/maxima/files/ecls-3.patch delete mode 100644 sci-mathematics/maxima/files/ecls-4.patch delete mode 100644 sci-mathematics/maxima/files/support-new-vtk.patch delete mode 100644 sci-mathematics/maxima/maxima-5.42.1-r1.ebuild create mode 100644 sci-mathematics/why3/why3-1.5.1.ebuild (limited to 'sci-mathematics') diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz index 95817904f8f8..04e00916e157 100644 Binary files a/sci-mathematics/Manifest.gz and b/sci-mathematics/Manifest.gz 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 -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 -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 ) -# supports readline: . - no, y - yes -SUPP_RL=( . . y . . y ) -# . - just --enable-, - --enable- -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 +} -- cgit v1.2.3