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

[Carl Hansen]

------------------------------------------------------------
revno: 9679
revision-id: carlhansen@gnu.org-20231107095511-z5u40uwj1pxze9hg
parent: carlhansen@gnu.org-20231107025449-7p6whsdwvd22a522
committer: carlhansen@gnu.org
branch nick: trunk
timestamp: Tue 2023-11-07 01:55:11 -0800
message:
  update lean4 to 4
modified:
  pkg/other/lean4/Makefile       makefile-20230710184822-xw6fpmfpxysr7wef-3

=== modified file 'pkg/other/lean4/Makefile'
--- a/pkg/other/lean4/Makefile  2023-07-10 18:48:43 +0000
+++ b/pkg/other/lean4/Makefile  2023-11-07 09:55:11 +0000
@@ -22,7 +22,7 @@
 NAME =    lean4
 GARNAME = lean4
 GARVERSION = 4
-# 4
+
 HOME_URL =  https://github.com/
 DESCRIPTION = theorem prover and functional language
 define BLURB
@@ -42,7 +42,7 @@
 GIT_PATH = $(MASTER_SITES)/$(MASTER_SUBDIR)/$(GARNAME).git
 
 GIT_REVISION = master
-GITSRC =  $(BASEDIRABS)/$(DOWNLOADDIRGIT)/$(GARNAME)
+#GITSRC =  $(BASEDIRABS)/$(DOWNLOADDIRGIT)/$(GARNAME)
 WORKSRC =               $(DOWNLOADDIRGIT)/$(GARNAME)
 
 WORKOBJ =  $(WORKDIR)/$(GARNAME)-$(GIT_REVISION)-build
@@ -57,6 +57,7 @@
 include ../../../gar/varb.mk
 include config.mk
 
+.PHONY: build-it
 
 post-fetch:
        $(MAKE) fetch-gitrecursive