From ea74c88e0d3c31b86015d9cc3d6178c97bb10a93 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gonzalo=20Tornar=C3=ADa?= <tornaria@cmat.edu.uy>
Date: Tue, 1 Mar 2022 12:58:43 -0300
Subject: [PATCH] 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 <tornaria@cmat.edu.uy>"
+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'
+}