New package: lean4-4.26.0

Author: mmdbalkhi

srcpkgs/lean4-devel

@@ -0,0 +1 @@
+lean4

srcpkgs/lean4/template

@@ -0,0 +1,32 @@
+# Template file for 'lean4'
+pkgname=lean4
+version=4.26.0
+revision=1
+build_style=cmake
+make_cmd=make
+hostmakedepends="pkg-config"
+makedepends="gmp-devel libuv-devel git make mimalloc"
+short_desc="Lean 4 programming language and theorem prover"
+maintainer="Komeil Parseh <[email protected]>"
+license="Apache-2.0 WITH LLVM-exception"
+homepage="https://lean-lang.org/"
+changelog="https://lean-lang.org/doc/reference/latest/releases/v${version}"
+distfiles="https://github.com/leanprover/lean4/archive/refs/tags/v${version}.tar.gz"
+checksum=668b8a0e717a5bffbf049125185ca1162c6960ee0387b24d95691f181e8a77c3
+
+export CMAKE_GENERATOR="Unix Makefiles"
+
+post_install() {
+	vlicense LICENSE
+	vlicense LICENSES
+}
+
+lean4-devel_package() {
+	depends="${sourcepkg}>=${version}_${revision}"
+	short_desc+=" - development files"
+	pkg_install() {
+		vmove usr/include
+		vmove usr/src
+		vmove "usr/lib/*.a"
+	}
+}