From 75fa23724acc37de279d8f21d6ee2808a15df568 Mon Sep 17 00:00:00 2001 From: Ian Wahbe Date: Tue, 23 Sep 2025 10:50:39 +0200 Subject: [PATCH 1/2] Add `-*- lexical-binding: t; -*-` to `generic/proof-autoloads.el` Fixes #845 --- generic/proof-autoloads.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index 8090aa0c9..13cac4fa3 100644 --- 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. From d20009c902ecbb24660e01beb1f1ad5ef0560410 Mon Sep 17 00:00:00 2001 From: Ian Wahbe Date: Tue, 23 Sep 2025 10:51:12 +0200 Subject: [PATCH 2/2] Explicitly require `'autoload` for generating `autoloads` MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Without this, Emacs 31 fails to apply `make autoloads` with the following error. $ make autoloads ***** MAKING AUTOGENERATED AUTOLOADS **** emacs -batch -q -no-site-file -eval '(setq autoload-package-name "proof" generated-autoload-file "/Users/ianwahbe/.emacs.d/.cache/elpaca/repos/PG/generic/proof-autoloads.el")' -f batch-update-autoloads generic/ lib/ coq/ qrhl/ Error: void-function (batch-update-autoloads) batch-update-autoloads() command-line-1(("-eval" "(setq autoload-package-name \"proof\" generated-autoload-file \"/Users/ianwahbe/.emacs.d/.cache/elpaca/repos/PG/generic/proof-autoloads.el\")" "-f" "batch-update-autoloads" "generic/" "lib/" "coq/" "qrhl/")) command-line() normal-top-level() debug-early-backtrace...done Symbol’s function definition is void: batch-update-autoloads gmake: *** [Makefile.devel:249: autoloads] Error 255 --- Makefile.devel | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.devel b/Makefile.devel index bdd3d4237..a3e89ddc1 100644 --- 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/ ############################################################ #