diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-03-12 11:14:36 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-03-12 11:15:11 +0100 |
| commit | 3f0b44230b3002df360b247e3906e3c23d701f5a (patch) | |
| tree | 4b18d8acc3cd1d9e5eff4cfcb801b82c1315df47 /sci-mathematics/lean | |
| parent | dev-libs/libdispatch: Keyword 5.5 arm64, #834854 (diff) | |
| download | gentoo-3f0b44230b3002df360b247e3906e3c23d701f5a.tar.gz gentoo-3f0b44230b3002df360b247e3906e3c23d701f5a.tar.bz2 gentoo-3f0b44230b3002df360b247e3906e3c23d701f5a.zip | |
sci-mathematics/lean: drop old 3.38.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/lean')
| -rw-r--r-- | sci-mathematics/lean/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/lean/lean-3.38.0.ebuild | 75 |
2 files changed, 0 insertions, 76 deletions
diff --git a/sci-mathematics/lean/Manifest b/sci-mathematics/lean/Manifest index d6c9758bdc2e..3ef12ca10328 100644 --- a/sci-mathematics/lean/Manifest +++ b/sci-mathematics/lean/Manifest @@ -1,4 +1,3 @@ -DIST lean-3.38.0.tar.gz 1877265 BLAKE2B 30d4364ee9d788ed128b63c42b5f7d55b91721ca74a6bc847e33f0d7be800cd2d3d90b4964e398f9116375afe6447a3f10f25ab716445aa9b7a5458d534bbf09 SHA512 441889f561a1fd369d2a4bc305e936834bb6c11ef85cfb4b69a5649226b405340fa787eb2ff73e44d2da6bb25a7819af70cf465abdf323777601c9f619c58508 DIST lean-3.39.1.tar.gz 1878481 BLAKE2B b3d1760594751418d6ebb7754d733e8fdebc5e0eba25e8d4993280325ec9d40e9083af155d388d52b5edfff2e9dffbeff91caa68ccb76500dcd88ebac2af4444 SHA512 5839eb7b5f7cd2d93ab603f1a5121e0a6b55850686677f103c16ec2157dc19479f1909ea056b54e41331c28fd59a4a825741384fa431473924381b72640a04dd DIST lean-3.40.0.tar.gz 1878547 BLAKE2B 762c12b9fee9ac405730fb4a748326e7c9603c50f44512166f94df51e8cde0096803f11d0201980e1a1c0121a2b278075bf238452254d83e2d8b7b5566355416 SHA512 4daa32b60195a9776019c3c13c3765a1f5a817d78f189c3f92859298118815af4cb47359816ebbb977f35453be358956f3680b06b5930d5cf3a4245599602873 DIST lean-3.41.0.tar.gz 1905966 BLAKE2B 1921ba4a975ed8fc6001695151bb366341e0895989a570bb7fbef1e719685945d0b7c51ed0716ff29daaf81af24ce2e289cab41b251c686a286cd94a0cf708f8 SHA512 855a56812ba5dc7cf431490957570d0fcbc4760faa1602095e708ddcc4e5a3c6aeac42133c210375d4538d97c8ae90df3ab3c7e7840e8896b8d0db439e925fbf diff --git a/sci-mathematics/lean/lean-3.38.0.ebuild b/sci-mathematics/lean/lean-3.38.0.ebuild deleted file mode 100644 index 5d8ee8eecd4b..000000000000 --- a/sci-mathematics/lean/lean-3.38.0.ebuild +++ /dev/null @@ -1,75 +0,0 @@ -# Copyright 1999-2022 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 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="${WORKDIR}/lean-${PV}/src" - -LICENSE="Apache-2.0" -SLOT="0/${MAJOR}" -IUSE="debug +threads" - -RDEPEND="dev-libs/gmp:=" -DEPEND="${RDEPEND}" - -PATCHES=( "${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 - - local 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 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 -} |