gentoo resync : 05.04.2019

9 files changed, 4 insertions, 56 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 238087eb8c34..2d2b0e620ad6 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/maxima/Manifest b/sci-mathematics/maxima/Manifest
index df7074cdf4ce..7e50f9f0f104 100644
--- a/sci-mathematics/maxima/Manifest
+++ b/sci-mathematics/maxima/Manifest
@@ -5,7 +5,6 @@ AUX cmucl-1.patch 1336 BLAKE2B 59767907f9f2734fa43e8d9c0e876cf2bf1f2cb0e360976dd
 AUX ecls-2.patch 1612 BLAKE2B 1f06a895ed09844e8d42f462e4541a49de46762a3e9189073a7624785937da2b5ec0e5c54e230652f80bc47a359793c1ed25209061787c3e2b0da76025bdbc86 SHA512 cd37e62c24f24e49f264d63526615537cb088386cfc48f3eac8fcc746d16f6d79c585dee6f24c664fca355f539728a1a23cc75f3672c240a210a407e87b73141
 AUX ecls-3.patch 2147 BLAKE2B d454b620f01d734d6a774f64dbac67f0996aeacc2a029225cc8a9269211169e7b69237f8b734b92b1f037b5abdcd7ec3ba374924b498fdc63025a1eca5a0d9e6 SHA512 1fcaa4a79d4aaf08dd4162c6d59f8f168909320575a43dcb435cbd758338244ac3b89888501f4cb1fc0f9d8d43b3abe587bc898aacb45c19ba0858f74512366e
 AUX emacs-0.patch 807 BLAKE2B 82c879f9c252c4efefb007f8553e845ddc52d76af5cbeab740a1f2bde459b5e87957e0f3e5a9d76d5c1e879ddbebdfb9a6d6b80745cc40e3ddc4379887f4e9b2 SHA512 f62d364651838ed196a2e8965930b42313cb73f912b898b953b526ffc5dc0135841b53618fbbb6a32d21d3412ba5f2bfb253bf41c640a136f68d830f43628ac4
-AUX emacs-27.patch 667 BLAKE2B 2482b30a6940b4d217c9e19485c825435ec37bd030a835ce6aaad3cf3c50170c14cb831a0aef246e75c1b5508a1a6d2e5a6e2642d2a03cea58d0ac482e254125 SHA512 8dc34146327e5ff2ab0fb84e39b240e6ee25ee4457e756e6fba6d521615b2fa9c0c86d1bd3980db6153ea1651399d359aac7a17189ad8a7f40f76392aade8bb2
 AUX rmaxima-0.patch 552 BLAKE2B 8b8ceb5ea671049490ab006be31f6e81f85d9e43950296db920b3a0d4eb8b19cd14b8b599c98e1dc82f69d441d04c631c4aec2315eaee68f791ddce75dc7ed56 SHA512 a60c8c5ac23b0342823fbcd15e27f44ea85652640271ea845e383796422fa416b221dd036eb0a1639f70f9b09473471657612c7a5f99892cfb214d52156a6907
 AUX sbcl-2.patch 1072 BLAKE2B 3e16339b7b9acbbfcd424780432be4a4267b994c3a7a8774c95ff8335d48565d15dae3cba16b127a9184e4fe20b5d6930df2e385c2a15b9f58e2d0fa597665a1 SHA512 b8df0b53f4ae04e175dfab8889206ea8ffa83c51b2408322423d5f52cf956b1084e7d1ba0c054032f9121cb1684fcc6bb9d48b1a967f9e01492ad25c035b1c62
 AUX wish-2.patch 662 BLAKE2B ccc3879c7445fd916c921857ea9642fb54cc6b8eb647cb23c3f93b949a05de9226d19d7898daf998cbedc61a77556c923f3f6f8e57508b73f3cae117f62d214d SHA512 110db85899241e1f9ea8427ffb397737aefe0bb6286d037c2c04cfad9726838521ef6403242aeb1e4246d06f13cf83af84bba38567a99b00ed6a081f17b38ead
diff --git a/sci-mathematics/maxima/files/emacs-27.patch b/sci-mathematics/maxima/files/emacs-27.patch
deleted file mode 100644
index ded116599008..000000000000
--- a/sci-mathematics/maxima/files/emacs-27.patch
+++ /dev/null
@@ -1,10 +0,0 @@
-diff -r -U2 maxima-5.41.0.orig/interfaces/emacs/imaxima/imaxima.el maxima-5.41.0/interfaces/emacs/imaxima/imaxima.el
---- maxima-5.41.0.orig/interfaces/emacs/imaxima/imaxima.el	2016-04-03 03:42:45.000000000 +0600
-+++ maxima-5.41.0/interfaces/emacs/imaxima/imaxima.el	2018-09-05 20:29:46.843231210 +0700
-@@ -528,5 +528,5 @@
-     (set-process-filter imaxima-gs-process 'imaxima-gs-filter)
-     (imaxima-gs-wait)
--    (process-kill-without-query imaxima-gs-process nil)
-+    (set-process-query-on-exit-flag imaxima-gs-process nil)
-     (unless (eq (process-status imaxima-gs-process) 'run)
-       (setq output (shell-command-to-string (concat imaxima-gs-program " -h")))
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest
index d474f2c83362..7cc82b66300b 100644
--- a/sci-mathematics/why3-for-spark/Manifest
+++ b/sci-mathematics/why3-for-spark/Manifest
@@ -1,4 +1,3 @@
-AUX why3-for-spark-2017-gentoo.patch 1300 BLAKE2B 616ed7cf1d5c8494a0b9f724ef1b011ad51e9f7edfb8bc88892902ad0cdc23793c8f8cd0e491757be08d90cb1159878d8bd3a34e1ebba62c927b9f676f58c241 SHA512 7ec992b1d0f0f285903b69876b853a8d368c73f4ed3dfccc25f5ae18e72e0c6f71ce9b81e18f2a685d19a7bfa8e69571cb71d4faa5ec67e0fbf2231202c2ea3d
 AUX why3-for-spark-2018-gentoo.patch 1015 BLAKE2B 201846ae0ef17bc6d777b7c1a8baddd1f684e82b811b16d2cce447423189a899f3e599cbf5cbd01630e2b246f8257ba5a890b20aaf62b0c1bc24e46642a37600 SHA512 871534c90f4f7c680f07dcd0bcacc4ce75c43b3132e8570b73e66316fe4333c244b9c443998916af7ff8fd297c20f7079ec5e8bf4c97207d0b7537722cd010a6
 DIST why3-for-spark-gpl-2018-src.tar.gz 7682767 BLAKE2B 0b0272ca4d5519ca402990b234d0847378bcd2a0949fea78ea10e355233a16aebe79b938cdf8e4daadabb909171cab83b9d6ccacf9f2dc1c0b57bb6da6fd1fe0 SHA512 fc798acf343484fd8e70f470a318753c9a0e9967ff579f20ec185bf3c2a75e7a4a556388fc86a378610ce4a467f3e722c6f610da34d4c33bc3d6b10551731f07
 EBUILD why3-for-spark-2018.ebuild 1699 BLAKE2B 5d648c18c5c77e02afab395c874a769042acc6b705901477c016bd3ab77c02a892116d3a0d85631a67a2ffacc7cf044a4de3547b20deb3e2fdabdafd6648d6ca SHA512 271340f364718d8a29b36b4def19806d8428d7b84c0b8e882898018c91cfc892ae2f6d3d0dc74e05a5788ba0d73810ca1537b4f2ebb1f84f21f2cb588246a607
diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2017-gentoo.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2017-gentoo.patch
deleted file mode 100644
index 225d081ca7f9..000000000000
--- a/sci-mathematics/why3-for-spark/files/why3-for-spark-2017-gentoo.patch
+++ /dev/null
@@ -1,40 +0,0 @@
---- why3-for-spark-gpl-2017-src/src/gnat/gnat_config.ml.old	2017-10-18 09:07:03.118919785 +0200
-+++ why3-for-spark-gpl-2017-src/src/gnat/gnat_config.ml	2017-10-18 09:07:45.198216939 +0200
-@@ -12,10 +12,7 @@
-   | Limit_Check of Gnat_expl.check
-   | Limit_Line of Gnat_loc.loc
- 
--let spark_prefix =
--  (Filename.dirname
--          (Filename.dirname (Filename.dirname
--          (Filename.dirname Sys.executable_name))))
-+let spark_prefix = "/usr"
- 
- let rec file_concat l =
-   match l with
---- why3-for-spark-gpl-2017-src/src/coq-tactic/why3tac.ml4.old	2017-10-26 22:25:55.289094778 +0200
-+++ why3-for-spark-gpl-2017-src/src/coq-tactic/why3tac.ml4	2017-10-26 22:26:10.719807270 +0200
-@@ -1352,7 +1352,7 @@
-     let limit =
-     { Call_provers.empty_limit with Call_provers.limit_time = timelimit } in
-     let call = Driver.prove_task ~command ~limit drv !task in
--    wait_on_call call
-+    wait_on_call (ServerCall call)
-   with
-     | NotFO ->
-         if debug then Printexc.print_backtrace stderr; flush stderr;
-@@ -1399,14 +1399,8 @@
-   | StepLimitExceeded -> error "Step Limit Exceeded"
-   | HighFailure -> error ("Prover failure\n" ^ res.pr_output ^ "\n")
- 
--IFDEF COQ84 THEN
--
--ELSE
--
- let why3tac ?timelimit s = Proofview.V82.tactic (why3tac ?timelimit s)
- 
--END
--
- end
- 
- TACTIC EXTEND Why3
diff --git a/sci-mathematics/wxmaxima/Manifest b/sci-mathematics/wxmaxima/Manifest
index 7c2c66b1b6a5..d122dbccfedd 100644
--- a/sci-mathematics/wxmaxima/Manifest
+++ b/sci-mathematics/wxmaxima/Manifest
@@ -2,6 +2,6 @@ DIST wxmaxima-15.08.2.tar.gz 5592673 BLAKE2B cacb508cbcb24e27a43998ba0079b141179
 DIST wxmaxima-18.11.4.tar.gz 12156776 BLAKE2B 75be0fb88402af011885616a646f7abcad25516ea9b0b375daf02edac5518b113188290262bc431e8bfb4836fc1f731982a1c41c62871818e4d2cc68c96ccb31 SHA512 964de93edc5c46e98de3de405b1873fa0ed594d54f1ddc030377b023110261cb1e6b0b08dbf210551888bf890e28d16e9b1698768c93dde413d5e1918cbd234e
 DIST wxmaxima-19.03.1.tar.gz 12065575 BLAKE2B a376ac6f8dafd8779b6161695595a3f2fc87e8242086a0f97bfb2823151c198a94c824baa9297dd586271ef121fc9af692b33ac06b2266d58dbbab9212c14d98 SHA512 7aa9e03104d276a1cc753a4edfdc0948822efe3ef93b08090a91efc50efe4ec0d913ff5f87069c1433c18f5b8bf086d025dd6bf7560f3b42a70e883914cc995a
 EBUILD wxmaxima-15.08.2.ebuild 1653 BLAKE2B 1822797d2cf9afbd98b08d4ad3384c118c592e3bf0a40af159bcf9793ec1f18a9e4019e94a270908942101b90b53564ac7c135b8c8ed65a169f70cdfad29c3af SHA512 2cdc1c72257ffe6cbcb6c833f6c0c91b857e784d8df6abb595cf9f6172abc78dbbb558a8835e8781d0fd493f2b18358c6ee7260200c524796c2b61f607b597ae
-EBUILD wxmaxima-18.11.4.ebuild 1325 BLAKE2B 0bb0a389fdada309652292dd5477c0bc77835bdea898b8bdb0552dd1a61497542af2e8fd1f756d890bf3439c1e8d659b6f26e32036fcd41b4f121053b9ddad46 SHA512 563121eba0859f7dd14de81d80deb4f5e0597e214636be44704c36f3624f7e8543e0b55f31c5777459d066b304daf5e05fd6c221d302da29ae7f5aef83ffd3df
+EBUILD wxmaxima-18.11.4.ebuild 1324 BLAKE2B 1f6c20362bc7403da290ae6ae0bfa898b611d2986f770523d24780682562fa5c60a853697dda8507fe1ede01410b140bd6518cf1f5b0a65502fc36a9f0486a7d SHA512 e6102de11417007556f36485d8c37c100c0bc2f5df0cb39750ef5bda82d4c7a71d4036f7879e066dc407f45eab3e92122ae2c0494cbc94e607daf3982ea1702a
 EBUILD wxmaxima-19.03.1.ebuild 1457 BLAKE2B 9808b0a528d892427606f7a96bb08bbe42c4d1f6c0ff6905554a6302d15905a4c0c7cfe4bf54ad4a982a0fe3973455ad48846a46b59bbc0d23ddebfe23dc9ee5 SHA512 223884373b3919e5c5ee9b6f4a3ab488722db92ca3b964b7b09dcc842bd348a9d218b30f73acedef2492234061bcc2787b6fdb3c8110129e93c454a92aa019d2
 MISC metadata.xml 711 BLAKE2B 00c54141e803d86fb20dc4f058fe99f6bbc2fd067175af6d0a5f893dc5a0b523fdd9116341ba33f991b11538989869337e1ce36c2259cfdb284725fed1aeaf60 SHA512 30a578958cbc4813e2615d0c3d7c4a1349f408933f285d3a43a382bf90bdf5c985ef1b844c4f8391205be643961de0335536ee800e1be24bf358bb4ead736fe5
diff --git a/sci-mathematics/wxmaxima/wxmaxima-18.11.4.ebuild b/sci-mathematics/wxmaxima/wxmaxima-18.11.4.ebuild
index a1d603f91425..786a11df35cd 100644
--- a/sci-mathematics/wxmaxima/wxmaxima-18.11.4.ebuild
+++ b/sci-mathematics/wxmaxima/wxmaxima-18.11.4.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/wxMaxima-developers/wxmaxima/archive/Version-${PV}.t
 
 LICENSE="GPL-2"
 SLOT="0"
-KEYWORDS="amd64 ppc ~x86"
+KEYWORDS="amd64 ppc x86"
 IUSE=""
 S="${WORKDIR}"/${PN}-Version-${PV}
 
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest
index ec786c82c424..4d13f7e9b16c 100644
--- a/sci-mathematics/z3/Manifest
+++ b/sci-mathematics/z3/Manifest
@@ -4,5 +4,5 @@ DIST z3-4.5.0.tar.gz 3573695 BLAKE2B 285cc4d1f998d61ddb0b854044b7c79c1bb4cccf51b
 DIST z3-4.8.4.tar.gz 4117081 BLAKE2B 6912defbae0e5444c451c4d7c6fb5d51167a1ae166257c7bfc53044ce7e9b9c4bd9824986c2ae1e6abfd6fef495234c9bea60078f8db2c1faaae11f34d666831 SHA512 4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4
 EBUILD z3-4.4.1.ebuild 4306 BLAKE2B 7e81603d96667c8e5748467668615f07a9e2194be963b67ae94eb90b29252d7fb53be373df21efbbea007aa8671609f2199fcb8a5f866b1f284228ad0d6e9d00 SHA512 1a370b019b33e83d5984b6abf321b39ff25f3b633ca60b2c48ddf9e33b30252389b5cb6f2e34e0dc1103730c9e5bf60ac688d67914d9c5dae52cf5fc5354620c
 EBUILD z3-4.5.0.ebuild 4721 BLAKE2B 8d0dab01c8c06bb07462bb51311520bb9f600b64ab43dd1ad5975c39554416d1a019665d30079535f5e20cefa5d65c6e6eb7140fd2ebc90cd2c363e9c732421c SHA512 e52d01917d884d10c24bf081303bdef7b1efa3b042f838ebc7de678a473fdd01d7738a216c9e14c4929b847fe7e5c3abe7a92bdafc827a1c1aa54b86abe46664
-EBUILD z3-4.8.4.ebuild 2636 BLAKE2B f22553c8f6a408a464a1f6473dc32b9e634899095543c9555e442ad17ca414463625299ccaa3f458416d53841d95ec3139221f0af52ace8630c7849e7cc82b6d SHA512 ef7623e11f3bcee40e5e5cca3ce3e24ec9c1a2053c27857fe8e6713a287c50cee52522042479e7936b299da322a5be3164d6ea19861627b1eab49f7388787a4c
+EBUILD z3-4.8.4.ebuild 2643 BLAKE2B dba8258fb0652ebd0b510363d8ba8075c46fdebfabd6ba275a681413f6e3994e7a73871d5473e26be0bcf08e87b73ec28d72be75cd8635a828ac8fd9ef84f2cd SHA512 90ce2c246f218b2a5d676dcf866e6f31d4cc0d938494471d0a26c366984662a7efbd2ca2743fb959241a2061dab13cc1d754cc2936119daaf1a0d7d7a8615fae
 MISC metadata.xml 862 BLAKE2B 1d219fcfb0772a48ec398a51b8916748db336730b91b66e336e8df0b8522b9a47df718d6303aff5f305b699e9297aaad9b352c69d529a93f66cf2a1b76c8f094 SHA512 2a5cc11ae87199a23c72ffb7366c65cbb33683bb6ad142d1df84a65b56bd69f50907bca69f066a1c860947254c241089521c026bac9ff92bd405038c266907ef
diff --git a/sci-mathematics/z3/z3-4.8.4.ebuild b/sci-mathematics/z3/z3-4.8.4.ebuild
index 810edb13ba96..c6c048fd6b75 100644
--- a/sci-mathematics/z3/z3-4.8.4.ebuild
+++ b/sci-mathematics/z3/z3-4.8.4.ebuild
@@ -13,7 +13,7 @@ SRC_URI="https://github.com/Z3Prover/z3/archive/${P}.tar.gz"
 
 SLOT="0/4.8"
 LICENSE="MIT"
-KEYWORDS="~amd64 ~arm ~ppc64 ~x86"
+KEYWORDS="~amd64 ~arm ~arm64 ~ppc64 ~x86"
 IUSE="doc examples gmp isabelle java openmp python"
 REQUIRED_USE="${PYTHON_REQUIRED_USE}"