[Gsrc-commit] trunk r10168: update lean4 to 4.7.0

[Carl Hansen]

------------------------------------------------------------
revno: 10168
revision-id: carlhansen@gnu.org-20240426192426-bdwji23pf3b1qjct
parent: carlhansen@gnu.org-20240426192230-d51edvzb29ac2ewv
committer: carlhansen@gnu.org
branch nick: trunk
timestamp: Fri 2024-04-26 19:24:26 +0000
message:
  update lean4 to 4.7.0
modified:
  pkg/other/lean4/Makefile       makefile-20230710184822-xw6fpmfpxysr7wef-3
  pkg/other/lean4/sha256sums     sha256sums-20230710184822-xw6fpmfpxysr7wef-4

=== modified file 'pkg/other/lean4/Makefile'
--- a/pkg/other/lean4/Makefile  2024-04-18 15:10:48 +0000
+++ b/pkg/other/lean4/Makefile  2024-04-26 19:24:26 +0000
@@ -1,6 +1,6 @@
-# Copyright ©2023 Carl Hansen <carlhansen@gnu.org>
+# Copyright ©2023-2024 Carl Hansen <carlhansen@gnu.org>
 #
-# This file is part of GSRC, the GNU Source Release Collection.
+# This file is part of GSRC, the GNU 
 # http://www.gnu.org/software/gsrc
 #
 # GSRC is free software: you can redistribute it and/or modify it
@@ -21,55 +21,59 @@
 
 NAME =    lean4
 GARNAME = lean4
-GARVERSION = 4.4
+GARVERSION = 4.7.0
 
 HOME_URL =  https://github.com/
-DESCRIPTION = theorem prover and functional language
+DESCRIPTION = Lean4 theorem prover and functional language
 define BLURB
+1P
 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.
+and functions. 
 endef
 
 ######################################################################
+# Gave up on git. Too many git fetch problems.
 #  https://github.com/leanprover/lean4.git
+#  https://github.com/leanprover/lean4/archive/refs/tags/v4.7.0.tar.gz
 MASTER_SITES =  https://github.com/
-MASTER_SUBDIR =  leanprover
-DISTFILES = 
+       # problems with git, go with the tar.gz
+#MASTER_SUBDIR =  leanprover
+MASTER_SUBDIR =  leanprover/lean4/archive/refs/tags/
+# FIXME:
+DISTFILES = v$(GARVERSION).tar.gz
 SIGFILES  = 
 
-GIT_PATH = $(MASTER_SITES)/$(MASTER_SUBDIR)/$(GARNAME).git
-
-GIT_REVISION = master
-#GITSRC =  $(BASEDIRABS)/$(DOWNLOADDIRGIT)/$(GARNAME)
-# FIX, cp....
-GITSRC =               $(DOWNLOADDIRGIT)/$(GARNAME)
-WORKSRC =               $(DOWNLOADDIRGIT)/$(GARNAME)
-
-WORKOBJ =  $(WORKDIR)/$(GARNAME)-$(GIT_REVISION)-build
+#GIT_PATH = $(MASTER_SITES)/$(MASTER_SUBDIR)/$(GARNAME).git
+
+#GIT_REVISION = master
+#GITSRC =               $(DOWNLOADDIRGIT)/$(GARNAME)
+#fix this, do cp instead
+#WORKSRC =               $(DOWNLOADDIRGIT)/$(GARNAME)
+
+#WORKOBJ =  $(WORKDIR)/$(GARNAME)-$(GIT_REVISION)-build
 
 BUILDDEPS =
 LIBDEPS =
 
-BUILD_SCRIPTS = it
+#BUILD_SCRIPTS = it
 ######################################################################
 
 include ../../../gar/gar.lib/cmake.mk
 include ../../../gar/varb.mk
 include config.mk
 
-.PHONY: build-it
-
-fetch: fetch-git
-
-post-fetch:
-       $(MAKE) fetch-gitrecursive
-       cd $(GITSRC) && git pull --recurse-submodules
-
-
-build-it:  post-fetch
-       mkdir -p $(WORKOBJ)
-       cd $(WORKOBJ)  && $(MAKE)
-       $(MAKECOOKIE)
+#.PHONY: build-it
+# abandon git approach for now:
+#fetch: fetch-git
+
+#post-fetch:
+#      $(MAKE) fetch-gitrecursive
+#      #cd $(GITSRC) && git pull --recurse-submodules
+
+#build-it:  post-fetch
+#      mkdir -p $(WORKOBJ)
+#      cd $(WORKOBJ)  && $(MAKE)
+#      $(MAKECOOKIE)
 

=== modified file 'pkg/other/lean4/sha256sums'
--- a/pkg/other/lean4/sha256sums        2023-07-10 18:48:43 +0000
+++ b/pkg/other/lean4/sha256sums        2024-04-26 19:24:26 +0000
@@ -0,0 +1,1 @@
+b1f00b5f2431b34aeacba993c4f4675211a3827e96c4b1a06054c58188ae72c8  
download/v4.7.0.tar.gz