[Gsrc-commit] trunk r9410: update lean4 to 4

[Carl Hansen]

------------------------------------------------------------
revno: 9410
revision-id: carlhansen1234@gmail.com-20230710184843-ha06dzmz1eo9zubp
parent: carlhansen1234@gmail.com-20230710173720-z9hseqro392yvv5z
committer: carlhansen1234@gmail.com
branch nick: trunk
timestamp: Mon 2023-07-10 11:48:43 -0700
message:
  update lean4 to 4
added:
  pkg/other/lean4/               lean4-20230710184822-xw6fpmfpxysr7wef-1
  pkg/other/lean4/Makefile       makefile-20230710184822-xw6fpmfpxysr7wef-3
  pkg/other/lean4/config.mk      config.mk-20230710184822-xw6fpmfpxysr7wef-2
  pkg/other/lean4/sha256sums     sha256sums-20230710184822-xw6fpmfpxysr7wef-4

=== added directory 'pkg/other/lean4'
=== added file 'pkg/other/lean4/Makefile'
--- a/pkg/other/lean4/Makefile  1970-01-01 00:00:00 +0000
+++ b/pkg/other/lean4/Makefile  2023-07-10 18:48:43 +0000
@@ -0,0 +1,70 @@
+# Copyright ©2023 Carl Hansen <carlhansen@gnu.org>
+#
+# This file is part of GSRC, the GNU Source Release Collection.
+# http://www.gnu.org/software/gsrc
+#
+# GSRC is free software: you can redistribute it and/or modify it
+# under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# GSRC is distributed in the hope that it will be useful, but WITHOUT
+# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
+# or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+# License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GSRC.  If not, see <http://www.gnu.org/licenses/>.
+#
+#
+# Send bug reports and comments about GSRC problems to bug-gsrc@gnu.org
+
+NAME =    lean4
+GARNAME = lean4
+GARVERSION = 4
+# 4
+HOME_URL =  https://github.com/
+DESCRIPTION = theorem prover and functional language
+define BLURB
+Lean is a functional programming language that makes it easy to write
+correct and maintainable code. You can also use Lean as an interactive
+theorem prover. Lean programming primarily involves defining types
+and functions. source size is 1.3 gigabytes.
+endef
+
+######################################################################
+#  https://github.com/leanprover/lean4.git
+MASTER_SITES =  https://github.com/
+MASTER_SUBDIR =  leanprover
+DISTFILES = 
+SIGFILES  = 
+
+GIT_PATH = $(MASTER_SITES)/$(MASTER_SUBDIR)/$(GARNAME).git
+
+GIT_REVISION = master
+GITSRC =  $(BASEDIRABS)/$(DOWNLOADDIRGIT)/$(GARNAME)
+WORKSRC =               $(DOWNLOADDIRGIT)/$(GARNAME)
+
+WORKOBJ =  $(WORKDIR)/$(GARNAME)-$(GIT_REVISION)-build
+
+BUILDDEPS =
+LIBDEPS =
+
+BUILD_SCRIPTS = it
+######################################################################
+
+include ../../../gar/gar.lib/cmake.mk
+include ../../../gar/varb.mk
+include config.mk
+
+
+post-fetch:
+       $(MAKE) fetch-gitrecursive
+       cd $(WORKSRC) && git pull --recurse-submodules
+
+
+build-it:  post-fetch
+       mkdir -p $(WORKOBJ)
+       cd $(WORKOBJ)  && $(MAKE)
+       $(MAKECOOKIE)
+

=== added file 'pkg/other/lean4/config.mk'
--- a/pkg/other/lean4/config.mk 1970-01-01 00:00:00 +0000
+++ b/pkg/other/lean4/config.mk 2023-07-10 18:48:43 +0000
@@ -0,0 +1,5 @@
+## Configuration options  ##
+## adjust as needed
+
+CONFIGURE_OPTS ?= 
+BUILD_OPTS ?=

=== added file 'pkg/other/lean4/sha256sums'