After FreeBSD updated the Emacs port to 30.1 the Agda port started failing to build with following error:
/usr/bin/env Agda_datadir=/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data /wrkdirs/usr/ports/math/hs-Agda/work/stage/usr/local/libexec/cabal/agda-mode compile
In toplevel form:
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/agda2-abbrevs.el:1:1: Error: file has no `lexical-binding' directive on its first line
In toplevel form:
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/annotation.el:1:1: Error: file has no `lexical-binding' directive on its first line
In toplevel form:
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/agda2-queue.el:1:1: Error: file has no `lexical-binding' directive on its first line
In toplevel form:
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/eri.el:1:1: Error: file has no `lexical-binding' directive on its first line
In toplevel form:
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/agda2.el:1:1: Error: file has no `lexical-binding' directive on its first line
In toplevel form:
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/agda2-highlight.el:1:1: Error: file has no `lexical-binding' directive on its first line
In toplevel form:
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/agda2-mode.el:1:1: Error: file has no `lexical-binding' directive on its first line
Loading quail/latin-ltx (native compiled elisp)...
Unable to compile the following Emacs Lisp files:
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/agda2-abbrevs.el
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/annotation.el
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/agda2-queue.el
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/eri.el
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/agda2.el
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/agda2-highlight.el
/wrkdirs/usr/ports/math/hs-Agda/work/Agda-2.7.0.1/src/data/emacs-mode/agda2-mode.el
*** Error code 1
Se full build log is here: https://pkg-status.freebsd.org/package19/data/141amd64-default-build-as-user/f9fbe03c698b/logs/hs-Agda-2.7.0.1.log
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4