From 4a4a0eabbc8828ae2491e8836125c35573a26398 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= Date: Tue, 1 Mar 2022 12:58:43 -0300 Subject: [PATCH 1/2] New package: lean3-community-3.40.0 --- srcpkgs/lean3-community/template | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 srcpkgs/lean3-community/template diff --git a/srcpkgs/lean3-community/template b/srcpkgs/lean3-community/template new file mode 100644 index 000000000000..ee03962f5ee3 --- /dev/null +++ b/srcpkgs/lean3-community/template @@ -0,0 +1,31 @@ +# Template file for 'lean3-community' +pkgname=lean3-community +version=3.40.0 +revision=1 +wrksrc="lean-$version" +build_wrksrc=src +build_style=cmake +configure_args="-DUSE_GITHASH=OFF" +hostmakedepends="python3" +makedepends="gmp-devel" +short_desc="Lean Theorem Prover, maintained by the Lean community" +maintainer="Gonzalo Tornaría " +license="Apache-2.0" +homepage="https://leanprover-community.github.io/" +changelog="https://raw.githubusercontent.com/leanprover-community/lean/master/doc/changes.md" +distfiles="https://github.com/leanprover-community/lean/archive/v${version}.tar.gz" +checksum=955496d97b2193fea3609a3f3f7ad9cab6413e0d0ea6c1a03d6c1656a2ec08ef + +if [ -n "$CROSS_BUILD" ]; then + configure_args+=" -DCROSS_COMPILE=ON" +fi + +do_check() { + cd ${cmake_builddir:=build} + # style_check: fails on (generated file) + # CMakeFiles/3.22.2/CompilerIdCXX/CMakeCXXCompilerId.cpp + # See: https://github.com/void-linux/void-packages/pull/35907 + # complete_trailing_period: fails on i686 + # See: https://github.com/leanprover-community/lean/issues/685 + ctest -E 'style_check|complete_trailing_period' +} From 77889c1422eb7366a651e0fca62b3cac8e72b289 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= Date: Mon, 9 May 2022 22:13:05 -0300 Subject: [PATCH 2/2] lean3-community: update to 3.42.1. --- srcpkgs/lean3-community/template | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/srcpkgs/lean3-community/template b/srcpkgs/lean3-community/template index ee03962f5ee3..7ca58b1bf52d 100644 --- a/srcpkgs/lean3-community/template +++ b/srcpkgs/lean3-community/template @@ -1,6 +1,6 @@ # Template file for 'lean3-community' pkgname=lean3-community -version=3.40.0 +version=3.42.1 revision=1 wrksrc="lean-$version" build_wrksrc=src @@ -14,7 +14,8 @@ license="Apache-2.0" homepage="https://leanprover-community.github.io/" changelog="https://raw.githubusercontent.com/leanprover-community/lean/master/doc/changes.md" distfiles="https://github.com/leanprover-community/lean/archive/v${version}.tar.gz" -checksum=955496d97b2193fea3609a3f3f7ad9cab6413e0d0ea6c1a03d6c1656a2ec08ef +checksum=5b8cbfdea6cf4de5488467297958876aa0b3a79ed5806f7d0f01a0c396beb4e2 +nocross=yes # runs binaries built for target (TODO) if [ -n "$CROSS_BUILD" ]; then configure_args+=" -DCROSS_COMPILE=ON" @@ -27,5 +28,5 @@ do_check() { # See: https://github.com/void-linux/void-packages/pull/35907 # complete_trailing_period: fails on i686 # See: https://github.com/leanprover-community/lean/issues/685 - ctest -E 'style_check|complete_trailing_period' + ctest -E 'style_check|complete_trailing_period' ${makejobs} }