Merge pull request #846 from iwahbe/lexical-autoloads

Matafou · web-flow · commit c3895abfb584 · 2026-01-07T09:38:35.000+01:00
Lexical autoloads
diff --git a/Makefile.devel b/Makefile.devel
@@ -246,7 +246,7 @@ distclean: devclean clean
 #
 autoloads: $(EL)
 	@echo "***** MAKING AUTOGENERATED AUTOLOADS  ****"
-	$(BATCHEMACS) -eval '(setq autoload-package-name "proof" generated-autoload-file "$(PWD)/generic/proof-autoloads.el")' -f batch-update-autoloads  generic/ lib/ coq/ qrhl/
+	$(BATCHEMACS) -eval '(setq autoload-package-name "proof" generated-autoload-file "$(PWD)/generic/proof-autoloads.el")' -eval "(require 'autoload)" -f batch-update-autoloads  generic/ lib/ coq/ qrhl/
 
 ############################################################
 #
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el
@@ -1,4 +1,4 @@
-;;; proof-autoloads.el --- automatically extracted autoloads
+;;; proof-autoloads.el --- automatically extracted autoloads  -*- lexical-binding: t; -*-
 
 ;; This file is part of Proof General.
 

Original file line number	Diff line number	Diff line change
`@@ -246,7 +246,7 @@ distclean: devclean clean`
`246`	`246`	`#`
`247`	`247`	`autoloads: $(EL)`
`248`	`248`	`@echo "*** MAKING AUTOGENERATED AUTOLOADS **"`
`249`		`- $(BATCHEMACS) -eval '(setq autoload-package-name "proof" generated-autoload-file "$(PWD)/generic/proof-autoloads.el")' -f batch-update-autoloads generic/ lib/ coq/ qrhl/`
	`249`	`+ $(BATCHEMACS) -eval '(setq autoload-package-name "proof" generated-autoload-file "$(PWD)/generic/proof-autoloads.el")' -eval "(require 'autoload)" -f batch-update-autoloads generic/ lib/ coq/ qrhl/`
`250`	`250`
`251`	`251`	`############################################################`
`252`	`252`	`#`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-;;; proof-autoloads.el --- automatically extracted autoloads`
	`1`	`+;;; proof-autoloads.el --- automatically extracted autoloads -- lexical-binding: t; --`
`2`	`2`
`3`	`3`	`;; This file is part of Proof General.`
`4`	`4`