Date: Wed, 6 Sep 2023 19:22:56 GMT From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: fa64017c84e0 - main - math/hs-Agda: Unbreak emacs stuff. Message-ID: <202309061922.386JMuMT068306@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=fa64017c84e0d09ccca99a66dfffa2befbd9e139 commit fa64017c84e0d09ccca99a66dfffa2befbd9e139 Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2023-09-06 19:22:24 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2023-09-06 19:22:52 +0000 math/hs-Agda: Unbreak emacs stuff. Reported by: pkg-fallout --- math/hs-Agda/Makefile | 1 + .../files/patch-src_data_emacs-mode_agda2-mode.el | 57 ++++++++++++++++++++++ 2 files changed, 58 insertions(+) diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index 05efa5aacf69..bb6ed72f2ce6 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -1,5 +1,6 @@ PORTNAME= Agda PORTVERSION= 2.6.3 +PORTREVISION= 1 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org diff --git a/math/hs-Agda/files/patch-src_data_emacs-mode_agda2-mode.el b/math/hs-Agda/files/patch-src_data_emacs-mode_agda2-mode.el new file mode 100644 index 000000000000..8bca8c0cc516 --- /dev/null +++ b/math/hs-Agda/files/patch-src_data_emacs-mode_agda2-mode.el @@ -0,0 +1,57 @@ +https://github.com/agda/agda/pull/6735 + +--- src/data/emacs-mode/agda2-mode.el.orig 2001-09-09 01:46:40 UTC ++++ src/data/emacs-mode/agda2-mode.el +@@ -261,8 +261,8 @@ CMD is a command; KEYS is its key binding (if any); WH + "Table of commands, used to build keymaps and menus. + Each element has the form (CMD &optional KEYS WHERE DESC) where + CMD is a command; KEYS is its key binding (if any); WHERE is a +-list which should contain 'local if the command should exist in +-the goal menu and 'global if the command should exist in the main ++list which should contain \\='local if the command should exist in ++the goal menu and \\='global if the command should exist in the main + menu; and DESC is the description of the command used in the + menus.") + +@@ -530,7 +530,7 @@ for output and executes the responses, if any. + Sends the list of strings ARGS to the Agda2 interpreter, waits + for output and executes the responses, if any. + +-If SAVE is 'save, then the buffer is saved first. ++If SAVE is \\='save, then the buffer is saved first. + + If HIGHLIGHT is non-nil, then the buffer's syntax highlighting + may be updated. This is also the case if the Agda process is +@@ -759,13 +759,13 @@ The user input is computed as follows: + contains whitespace, then the input is taken from the + minibuffer. In this case WANT is used as the prompt string. + +-* Otherwise (including if WANT is 'goal) the goal contents are ++* Otherwise (including if WANT is \\='goal) the goal contents are + used. + + If the user input is not taken from the goal, then an empty goal + range is given. + +-If SAVE is 'save, then the buffer is saved just before the ++If SAVE is \\='save, then the buffer is saved just before the + command is sent to Agda (if it is sent)." + (cl-multiple-value-bind (o g) (agda2-goal-at (point)) + (unless g (error "For this command, please place the cursor in a goal")) +@@ -893,7 +893,6 @@ of new goals." + + (defun agda2-autoAll () + (interactive) +- "Solves all goals by simple proof search." + (agda2-go nil nil 'busy t "Cmd_autoAll") + ) + +@@ -1949,7 +1948,7 @@ the argument is a positive number, otherwise turn it o + + (defun agda2-get-agda-program-versions () + "Get \"version strings\" of executables starting with +-'agda-mode' in current path." ++\\='agda-mode' in current path." + (delete-dups + (mapcar (lambda (path) + ;; strip 'agda-mode' prefix
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202309061922.386JMuMT068306>