From 78117fb96d1802318b3dbd141a8eb74874777505 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: lean-community-3.40.0

---
 srcpkgs/lean-community/template | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 srcpkgs/lean-community/template

diff --git a/srcpkgs/lean-community/template b/srcpkgs/lean-community/template
new file mode 100644
index 000000000000..1ff836ce7dea
--- /dev/null
+++ b/srcpkgs/lean-community/template
@@ -0,0 +1,21 @@
+# Template file for 'lean-community'
+pkgname=lean-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