From 12795ed0561fe52503d6aa3a1c60888553a03bd2 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Thu, 26 Oct 2023 20:41:49 +0100 Subject: gentoo auto-resync : 26:10:2023 - 20:41:49 --- sci-mathematics/Manifest.gz | Bin 18832 -> 18836 bytes sci-mathematics/lean/Manifest | 3 +- sci-mathematics/lean/lean-3.9999.ebuild | 80 ----------------------------- sci-mathematics/lean/lean-4.2.0_rc4.ebuild | 78 ++++++++++++++++++++++++++++ 4 files changed, 80 insertions(+), 81 deletions(-) delete mode 100644 sci-mathematics/lean/lean-3.9999.ebuild create mode 100644 sci-mathematics/lean/lean-4.2.0_rc4.ebuild (limited to 'sci-mathematics') diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz index 38bc65ec7aba..abaf0649bf41 100644 Binary files a/sci-mathematics/Manifest.gz and b/sci-mathematics/Manifest.gz differ diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest index ae7c64e9f71b..9b5cd8b0a85f 100644 --- a/sci-mathematics/lean/Manifest +++ b/sci-mathematics/lean/Manifest @@ -1,6 +1,7 @@ AUX lean-3.50.3-gcc-13.patch 263 BLAKE2B cf589616f4612319bbe1d21e798787a72da3d0f319cef3ef0042b8baa89d87066867311fd804862d43599a262c64e2b747a6c21415bb69137a3e8e59dd332155 SHA512 013fe4ec983c8ca612621319fad5fe66e081516979e4dace71f24ec72cac8d7fe2a021e701b2bcae1e87209783330c02b799cdb6c1274f7f8d3dc51efaf130b6 AUX lean-CMakeLists-fix_flags.patch 1285 BLAKE2B 0507e553c1acf2a53c5267932127117d5ae5ba9015a08c88748b3d82c041f8d904d15cd033dd7934ac55c474fa75a5d4a46f680cc887fee37c05c3f5f3832839 SHA512 11a5918847e45aac7bf79e48d8f881ef5cd3e6b09dbb0979f3f0b88fd36458be21ebeb530158da801399a0cdc8fe382444ff338cd793cd9f1bfced90c5d5a71b DIST lean-3.51.1.tar.gz 1918894 BLAKE2B 9a240fe73193794a57001582c0623052cfc1c08ef3b155cac2d9dfc029202cb79b85e844fdf068e454498a35522ec3e18330da8c644bba3c6f708cbde04816f7 SHA512 dccdf6c3fbcd98115e62b9944645af6a2ce21412d63baa9565871807862e8d83cc6f29d1fb687f19b802240a5f9c019443caa00412ecfabe621744dff900e3ee +DIST lean-4.2.0_rc4.tar.gz 16386559 BLAKE2B 4eb0bb47cd09ec7ccb04870a08b13c8b9c73a296b42e9c92c9f9885dfe416e75352db7c41725446dd27a0a9a68f3979fa91dadb93aba1af1321df94312d7fa99 SHA512 4d08bf182eb3822f12ec69af9aa0527581fe7f3ff4a10836b866622146b3572ced3635fdf0179a8764d233de427094f47219d619d205971794b41f1c1fc4b06d EBUILD lean-3.51.1.ebuild 1815 BLAKE2B 767ff4cc188049e3b54d903ff3a314012997369beadf7335a33e01193b0da69707e4b845946afde25a617e9e344df479adb70c8937e84dc1854fe2db9b0d979b SHA512 630f5690c1a4321e56d640186b894623fa5551de17af21793b4a66c32ccfb66697b4144ada36742262e5bd037d094b0448511433e73affdac36ad7e06874635d -EBUILD lean-3.9999.ebuild 1816 BLAKE2B f3d86e33359cb09f3d671218ddbf41a17a360f09bdf1af55e721357b043f337106897628b31a159b791cdfb7afcaf56aff065be16260669529c3b9376643927c SHA512 87d6e40d19b301555f281e330118ff2312abf5e8bbc260b89219e75287c34017a697521e7962e6df914155bc5b84606b32eeec1a53a57413661f5eefc186155e +EBUILD lean-4.2.0_rc4.ebuild 1320 BLAKE2B 14ea248c9a6f0170f8abfca47ce379a6c48c6a2e216cfa8ef0e0ce259eeafad3ce68ca1bec290ddd521b24bb0797d3158dc3596c495a6ce728fbc88b86c95ffc SHA512 f3af28b8f952d86180af364a0f3eb611761a1573b3d41e18a6921f83c826a41cd9d94dd603214f6b6a80b0e6ae119e90310b76deff8ea621b5912f023dfbfb15 MISC metadata.xml 606 BLAKE2B 6478d84a762a59082fdea0a11a95b27c093782228c48dba58dc490ea9ac2cecef54cc3101dc98e385f3a29f85d84af21b7d2ae1a9f089ee0313158ecb44eb0e7 SHA512 02d2ac07b155c7a04c857d397d476a39864d02b10dd81c5830db5e21eb86c6dcff26da552a04717f5f587b326ddf8e2e8d27f1a138f88b391f0199d8004d8cb7 diff --git a/sci-mathematics/lean/lean-3.9999.ebuild b/sci-mathematics/lean/lean-3.9999.ebuild deleted file mode 100644 index 72a23985077c..000000000000 --- a/sci-mathematics/lean/lean-3.9999.ebuild +++ /dev/null @@ -1,80 +0,0 @@ -# Copyright 1999-2023 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=8 - -MAJOR=$(ver_cut 1) -CMAKE_IN_SOURCE_BUILD="ON" - -inherit flag-o-matic cmake readme.gentoo-r1 - -DESCRIPTION="The Lean Theorem Prover" -HOMEPAGE="https://leanprover-community.github.io/" - -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="${S}/src" - -LICENSE="Apache-2.0" -SLOT="0/${MAJOR}" -IUSE="debug +threads" - -RDEPEND="dev-libs/gmp:=" -DEPEND="${RDEPEND}" - -PATCHES=( - "${FILESDIR}"/${PN}-3.50.3-gcc-13.patch - "${FILESDIR}"/${PN}-CMakeLists-fix_flags.patch -) - -src_configure() { - local CMAKE_BUILD_TYPE - if use debug; then - CMAKE_BUILD_TYPE="Debug" - else - CMAKE_BUILD_TYPE="Release" - fi - - filter-lto - - local -a mycmakeargs=( - -DALPHA=ON - -DAUTO_THREAD_FINALIZATION=ON - -DJSON=ON # bug 833900 - -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}" - -DMULTI_THREAD=$(usex threads) - -DUSE_GITHASH=OFF - ) - cmake_src_configure -} - -src_test() { - local -a myctestargs=( - # Disable problematic "style_check" cpplint test, - # this also removes the python test dependency - --exclude-regex style_check - ) - cmake_src_test -} - -src_install() { - cmake_src_install - - local DISABLE_AUTOFORMATTING="yes" - local DOC_CONTENTS="You probably want to use lean with mathlib, you can either: - - Do not install mathlib globally and use local versions - - Use leanproject from sci-mathematics/mathlib-tools - $ leanproject global-install - - Use leanpkg and compile mathlib (which will take some time) - $ leanpkg install https://github.com/leanprover-community/mathlib" - readme.gentoo_create_doc -} - -pkg_postinst() { - readme.gentoo_print_elog -} diff --git a/sci-mathematics/lean/lean-4.2.0_rc4.ebuild b/sci-mathematics/lean/lean-4.2.0_rc4.ebuild new file mode 100644 index 000000000000..30fd5379373b --- /dev/null +++ b/sci-mathematics/lean/lean-4.2.0_rc4.ebuild @@ -0,0 +1,78 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +MAJOR="$(ver_cut 1)" + +CMAKE_MAKEFILE_GENERATOR="emake" +PYTHON_COMPAT=( python3_{10..12} ) + +inherit cmake flag-o-matic python-any-r1 + +DESCRIPTION="The Lean Theorem Prover" +HOMEPAGE="https://leanprover-community.github.io/" + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/leanprover/${PN}${MAJOR}.git" +else + SRC_URI="https://github.com/leanprover/${PN}${MAJOR}/archive/refs/tags/v${PV/_/-}.tar.gz + -> ${P}.tar.gz" + S="${WORKDIR}/${PN}${MAJOR}-${PV/_/-}" + + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="Apache-2.0" +SLOT="0/${MAJOR}" +IUSE="debug source" + +RDEPEND=" + dev-libs/gmp:= +" +DEPEND=" + ${RDEPEND} +" +BDEPEND=" + ${PYTHON_DEPS} +" + +pkg_setup() { + python-any-r1_pkg_setup +} + +src_prepare() { + filter-lto + + sed -e "s|-O[23]|${CFLAGS}|g" -i src/CMakeLists.txt || die + + cmake_src_prepare +} + +src_configure() { + local CMAKE_BUILD_TYPE + + if use debug ; then + CMAKE_BUILD_TYPE="Debug" + else + CMAKE_BUILD_TYPE="Release" + fi + + local -a mycmakeargs=( + -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}" + -DLEAN_EXTRA_LINKER_FLAGS="${LDFLAGS}" + ) + cmake_src_configure +} + +src_install() { + cmake_src_install + + rm "${ED}/usr/LICENSE"* || die + + if ! use source ; then + rm -r "${ED}/usr/src" || die + fi +} -- cgit v1.2.3