gentoo auto-resync : 26:08:2022 - 02:51:21

6 files changed, 61 insertions, 9 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 7dfd964ef619..4168a53229cf 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest
index 3a662a610337..6a88caa709d1 100644
--- a/sci-mathematics/lean/Manifest
+++ b/sci-mathematics/lean/Manifest
@@ -1,9 +1,9 @@
 AUX lean-CMakeLists-fix_flags.patch 1285 BLAKE2B 0507e553c1acf2a53c5267932127117d5ae5ba9015a08c88748b3d82c041f8d904d15cd033dd7934ac55c474fa75a5d4a46f680cc887fee37c05c3f5f3832839 SHA512 11a5918847e45aac7bf79e48d8f881ef5cd3e6b09dbb0979f3f0b88fd36458be21ebeb530158da801399a0cdc8fe382444ff338cd793cd9f1bfced90c5d5a71b
-DIST lean-3.44.1.tar.gz 1911708 BLAKE2B 33dc94fb1f1eac2684b7a37fda3545ad6d4f6d703e7914c44b9a05fb57e55d4b9bef484ff1f6608f9bb0fe453ca28b7fa5c74e6bce135df06fb25ad6d9d3a37b SHA512 69ffd1a8519b476dd1879bfe2f8f8f4268a5490f11b581ee1e583382e6f03f947d958e8b5ee8ceead562945a406ee2dc9b0ae2da6f29f03a38828eadab88a4f8
 DIST lean-3.45.0.tar.gz 1913638 BLAKE2B f36548be556407cbf7b30a7988bb2454542543cafcd2d0f2af90f75f886d4b711c6955503f7241844ffff69400ec354a194cc345feca8f0dbcb06a673cc2d3d4 SHA512 c97c1dc6004823c73d8e40b5587ebbee7bd7a90b65ecdd3a976510d0d335b6df9a26916eedd5524f7137a32254a59dd5a6f15ce67f77d500926c9bc781aa5526
 DIST lean-3.46.0.tar.gz 1913857 BLAKE2B de0a48ab3cff934d6a9583833a94a409a6351bd8433dbf47dbb510620a6c27aae26891472b4f1443e0f833b1c13de8653f0ea4edf61d14d43cfdb1aa25a555bf SHA512 d4487154cf6364b49ce19d1946a0bf0af6faeb1276ef08754a3dbed9bf071c2873eebdb1d6bcbe39ab2aaf5e93a97007ce954fd7c1ca4062fb2e6214e75e3b2b
-EBUILD lean-3.44.1.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
+DIST lean-3.47.0.tar.gz 1917990 BLAKE2B 1249654b3a71d1a3b601c79915232d5f53335cd4a5b3c41f97dd5cb39e86bc5ea3c4208b5ebca9fae43c01b7da64579cdf6bcec12b8861ca69339277efe7431d SHA512 11879e4bc324e036b917af0761d918eb393aa3226a36b305dbcd233988504178082290dab2d2e25bc3b7732cb5246a397e29fbd4c956efa9ea454cb46568d942
 EBUILD lean-3.45.0.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
 EBUILD lean-3.46.0.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
-EBUILD lean-3.9999.ebuild 1786 BLAKE2B b487fa10df236d03e46cdfe785e06337d2b6b2f98c8492573e5f3196bd49d6331f69cc3fb232adfe7ebfb0a46e779e7b5b8d6efb4875fe1e5eaa90f7c56e8d60 SHA512 09c7d71a12e09d83c362c21c2f5f6958c1777a4553e585214e908ced9b1080d0c22abf050b22393030e00651bb6f156d7f108c3389bd03267383d4748d5ce661
+EBUILD lean-3.47.0.ebuild 1768 BLAKE2B 79dc1a54bd55667913f1dba0204ea845e3ae707f4dfdcbd7c8274d3fe00db9292228975dddfadcac6f068d65b49f076ac47480a3a394f294c40b7174c81b2b40 SHA512 28c85c3af753322f828f05ae20e14a8545a4ef5913572c8c998a4699a7fb3d7092b7bc5f9d2b045f8550b20b6c0ba967c9e9944753ff775a827c15b11c8e2198
+EBUILD lean-3.9999.ebuild 1767 BLAKE2B 39700411a69b0ac91dbb14ef4c12979ca94c6529b7c085bb04b29b667d7852983fcc90519748a506b547141a53a88de196bc693e2c40cc12ea438a383b302728 SHA512 6075af9174d9487b82557cdf4641848fc98de380e77f47308649eb3fac0c32193a92c47223a7146f3ccdc6db1b4d4e1987dd560b44081dfdda3c00c69fd10026
 MISC metadata.xml 606 BLAKE2B 6478d84a762a59082fdea0a11a95b27c093782228c48dba58dc490ea9ac2cecef54cc3101dc98e385f3a29f85d84af21b7d2ae1a9f089ee0313158ecb44eb0e7 SHA512 02d2ac07b155c7a04c857d397d476a39864d02b10dd81c5830db5e21eb86c6dcff26da552a04717f5f587b326ddf8e2e8d27f1a138f88b391f0199d8004d8cb7
diff --git a/sci-mathematics/lean/lean-3.44.1.ebuild b/sci-mathematics/lean/lean-3.47.0.ebuild
index 6623228581a0..e008b81cf582 100644
--- a/sci-mathematics/lean/lean-3.44.1.ebuild
+++ b/sci-mathematics/lean/lean-3.47.0.ebuild
@@ -11,14 +11,14 @@ inherit flag-o-matic cmake readme.gentoo-r1
 DESCRIPTION="The Lean Theorem Prover"
 HOMEPAGE="https://leanprover-community.github.io/"
 
-if [[ "${PV}" == *9999* ]]; then
+if [[ ${PV} == *9999* ]] ; then
 	inherit git-r3
 	EGIT_REPO_URI="https://github.com/leanprover-community/lean.git"
 else
 	SRC_URI="https://github.com/leanprover-community/lean/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
 	KEYWORDS="~amd64 ~x86"
 fi
-S="${WORKDIR}/lean-${PV}/src"
+S="${S}/src"
 
 LICENSE="Apache-2.0"
 SLOT="0/${MAJOR}"
@@ -27,7 +27,7 @@ IUSE="debug +threads"
 RDEPEND="dev-libs/gmp:="
 DEPEND="${RDEPEND}"
 
-PATCHES=( "${FILESDIR}/${PN}-CMakeLists-fix_flags.patch" )
+PATCHES=( "${FILESDIR}"/${PN}-CMakeLists-fix_flags.patch )
 
 src_configure() {
 	local CMAKE_BUILD_TYPE
diff --git a/sci-mathematics/lean/lean-3.9999.ebuild b/sci-mathematics/lean/lean-3.9999.ebuild
index 6623228581a0..307c5b95bc1b 100644
--- a/sci-mathematics/lean/lean-3.9999.ebuild
+++ b/sci-mathematics/lean/lean-3.9999.ebuild
@@ -11,14 +11,14 @@ inherit flag-o-matic cmake readme.gentoo-r1
 DESCRIPTION="The Lean Theorem Prover"
 HOMEPAGE="https://leanprover-community.github.io/"
 
-if [[ "${PV}" == *9999* ]]; then
+if [[ ${PV} == *9999* ]]; then
 	inherit git-r3
 	EGIT_REPO_URI="https://github.com/leanprover-community/lean.git"
 else
 	SRC_URI="https://github.com/leanprover-community/lean/archive/refs/tags/v${PV}.tar.gz -> ${P}.tar.gz"
 	KEYWORDS="~amd64 ~x86"
 fi
-S="${WORKDIR}/lean-${PV}/src"
+S="${S}/src"
 
 LICENSE="Apache-2.0"
 SLOT="0/${MAJOR}"
@@ -27,7 +27,7 @@ IUSE="debug +threads"
 RDEPEND="dev-libs/gmp:="
 DEPEND="${RDEPEND}"
 
-PATCHES=( "${FILESDIR}/${PN}-CMakeLists-fix_flags.patch" )
+PATCHES=( "${FILESDIR}"/${PN}-CMakeLists-fix_flags.patch )
 
 src_configure() {
 	local CMAKE_BUILD_TYPE
diff --git a/sci-mathematics/mathlib-tools/Manifest b/sci-mathematics/mathlib-tools/Manifest
index 49b13fc3a289..dc5eb1b20c3c 100644
--- a/sci-mathematics/mathlib-tools/Manifest
+++ b/sci-mathematics/mathlib-tools/Manifest
@@ -1,5 +1,7 @@
 DIST mathlib-tools-1.1.0.tar.gz 32374 BLAKE2B f470927cae1dc66478efd44de6a5fd7c8df9656351ee342d14a1e75e8774383616cedf01b21ef1b92220fb03b1f1ccb326e3363dd0fec4fb5876f43c5ddb4010 SHA512 bc59d2e41c42ecc22c5768ac3adb209f0b170e2e97fe68483d8518b78a6b4fa163c1d46e4e3996c6f3e0aaa329c642fd111b3e16d850f40b6edc81c81215d03f
 DIST mathlib-tools-1.1.1.tar.gz 32456 BLAKE2B 2cb81a6072aecc8a9c298c8bd0ac2edc7f44fecd290add5254a0c35b5e16fca4cfef32727acff883366d99101f7e62ad12709e59b317e34547fa49c404600366 SHA512 17e6105d48071ab41aaa436d3fd35774227b242e6026b30ac82fd0b4f7ea8310a9bc0abe6abe5eca3e77ec62d6a48e7584222381dc7071803215cc3189ce973b
+DIST mathlib-tools-1.1.2.tar.gz 32477 BLAKE2B d49d8b05974b70db52e55dea7fdd91f82b05266a6ab2db50e12963b1d9991500088d4aa897a65c391b82e0996d57f5cad5ade8cc85ae85fccb0a03ed63a2f2c8 SHA512 2c0d4faa7a7610f16eca539f1ee369a18ffb6b947bd0ac55983dee8b651c258b9d1819d066dafcfdaf23e612c6e9fb7a3239ccb0b6ca5e51dabcc761bf9b815a
 EBUILD mathlib-tools-1.1.0-r1.ebuild 1245 BLAKE2B 543109635a01058d7b49271efcc17288d9502d77cafd2e3bda97f23b710fdd3adce018988e757ff63168df5fe6b11a062f7ffbb12ed6fec29f7f295b5b589717 SHA512 9cf8558b5c565dcc93c535ce91047eeafcb6a4ff24a1fda339721c7bb3afcf57b33a57dc27906afec12bab3af553d4fe73572c150e54d4f0b5332cd71a3a1c5f
 EBUILD mathlib-tools-1.1.1.ebuild 1245 BLAKE2B 543109635a01058d7b49271efcc17288d9502d77cafd2e3bda97f23b710fdd3adce018988e757ff63168df5fe6b11a062f7ffbb12ed6fec29f7f295b5b589717 SHA512 9cf8558b5c565dcc93c535ce91047eeafcb6a4ff24a1fda339721c7bb3afcf57b33a57dc27906afec12bab3af553d4fe73572c150e54d4f0b5332cd71a3a1c5f
+EBUILD mathlib-tools-1.1.2.ebuild 1238 BLAKE2B 52929c990d2c29de6c0cf63b1025e5e4920d859b14d23d1a01d54da67c9588347f7091d1105f721fc35421acb2e50078a0157aa29b384c3e1b938b8d6e591ac3 SHA512 5e01752e58bd8db0751585262ea0f26489cd977186f58adcd9615c832ca07274a79d062fa02c3be4cb217c8207b4a4e798d3b24f73c8b0f976cca65a0bb5df6c
 MISC metadata.xml 845 BLAKE2B 8d01442128f49f1c8c0c29cf4469d775936149cdde77d7e96a6825bc631119a4e83932bc67f9e60781128f0c179ef7e622edcc9836d7fb3f4240b356e92caf8b SHA512 8add0a2a70e219d5581ef7fdcd0125ab1375c65d631093df02559e462974b07cef0bf1fe75919707be026b91e77131b24d3b197a5c332961c6a573ddf899c939
diff --git a/sci-mathematics/mathlib-tools/mathlib-tools-1.1.2.ebuild b/sci-mathematics/mathlib-tools/mathlib-tools-1.1.2.ebuild
new file mode 100644
index 000000000000..bc7818d3db62
--- /dev/null
+++ b/sci-mathematics/mathlib-tools/mathlib-tools-1.1.2.ebuild
@@ -0,0 +1,50 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{8..10} )
+
+inherit distutils-r1
+
+DESCRIPTION="Development tools for Lean's mathlib"
+HOMEPAGE="https://github.com/leanprover-community/mathlib-tools"
+
+if [[ ${PV} == *9999* ]] ; then
+	inherit git-r3
+	EGIT_REPO_URI="https://github.com/leanprover-community/${PN}.git"
+else
+	SRC_URI="https://github.com/leanprover-community/${PN}/archive/v${PV}.tar.gz
+		-> ${P}.tar.gz"
+	KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="Apache-2.0"
+SLOT="0"
+
+BDEPEND="
+	>=dev-python/GitPython-2.1.11[${PYTHON_USEDEP}]
+	>=dev-python/toml-0.10.0[${PYTHON_USEDEP}]
+	dev-python/PyGithub[${PYTHON_USEDEP}]
+	dev-python/atomicwrites[${PYTHON_USEDEP}]
+	dev-python/certifi[${PYTHON_USEDEP}]
+	dev-python/click[${PYTHON_USEDEP}]
+	dev-python/networkx[${PYTHON_USEDEP}]
+	dev-python/pydot[${PYTHON_USEDEP}]
+	dev-python/pyyaml[${PYTHON_USEDEP}]
+	dev-python/requests[${PYTHON_USEDEP}]
+	dev-python/tqdm[${PYTHON_USEDEP}]
+"
+RDEPEND="
+	${BDEPEND}
+	sci-mathematics/lean:0/3
+"
+
+distutils_enable_tests pytest
+
+src_prepare() {
+	# Remove problematic tests (mainly issues with network)
+	rm ./tests/test_functional.py || die
+
+	distutils-r1_python_prepare_all
+}