git: 4ef4c3591377 - main - Revert "math/hs-Agda: Disable building emacs mode files until upstream fixes it"

The branch main has been updated by alven:

URL: https://cgit.FreeBSD.org/ports/commit/?id=4ef4c35913777b98e2d4dda5525b5fd59062d9a6

commit 4ef4c35913777b98e2d4dda5525b5fd59062d9a6
Author:     Älven <alven@FreeBSD.org>
AuthorDate: 2025-07-31 18:39:01 +0000
Commit:     Älven <alven@FreeBSD.org>
CommitDate: 2025-08-02 10:27:11 +0000

    Revert "math/hs-Agda: Disable building emacs mode files until upstream fixes it"
    
    This reverts commit e1197b1e58b2cdb5f98b4fd00db2e340800b444f.
    
    Upstream bug [0] was fixed/closed 2025-03-28
    
    [0] https://github.com/agda/agda/issues/7730
    
    PR:             288578
    Approved by:    alven (maintainer, with haskell@ hat)
    Approved by:    yuri  (Mentor)
---
 math/hs-Agda/Makefile  |  5 ++---
 math/hs-Agda/pkg-plist | 17 +++++++++++++++++
 2 files changed, 19 insertions(+), 3 deletions(-)

diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index 7a2202817ce9..edf538a2c39c 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	Agda
 DISTVERSION=	2.7.0.1
-PORTREVISION=	1
 CATEGORIES=	math haskell
 
 MAINTAINER=	haskell@FreeBSD.org
@@ -99,10 +98,10 @@ agda-mode_DATADIR_VARS=	Agda
 PLIST_SUB=	AGDA_VER=${PORTVERSION}
 
 post-install:
-	#${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda-mode compile
+	${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda-mode compile
 	${FIND} ${WRKSRC}/src/data/lib/prim/Agda -name '*.agda' -exec ${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda {} \;
 	${MKDIR} ${STAGEDIR}${DATADIR}/lib/prim/Agda
 	cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} lib ${STAGEDIR}${DATADIR}
-	#cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} emacs-mode ${STAGEDIR}${DATADIR}
+	cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} emacs-mode ${STAGEDIR}${DATADIR}
 
 .include <bsd.port.mk>
diff --git a/math/hs-Agda/pkg-plist b/math/hs-Agda/pkg-plist
index 94f70a8087c2..b603c42f016d 100644
--- a/math/hs-Agda/pkg-plist
+++ b/math/hs-Agda/pkg-plist
@@ -1,3 +1,20 @@
+%%DATADIR%%/emacs-mode/agda-input.el
+%%DATADIR%%/emacs-mode/agda-input.elc
+%%DATADIR%%/emacs-mode/agda2-abbrevs.el
+%%DATADIR%%/emacs-mode/agda2-abbrevs.elc
+%%DATADIR%%/emacs-mode/agda2-highlight.el
+%%DATADIR%%/emacs-mode/agda2-highlight.elc
+%%DATADIR%%/emacs-mode/agda2-mode-pkg.el
+%%DATADIR%%/emacs-mode/agda2-mode.el
+%%DATADIR%%/emacs-mode/agda2-mode.elc
+%%DATADIR%%/emacs-mode/agda2-queue.el
+%%DATADIR%%/emacs-mode/agda2-queue.elc
+%%DATADIR%%/emacs-mode/agda2.el
+%%DATADIR%%/emacs-mode/agda2.elc
+%%DATADIR%%/emacs-mode/annotation.el
+%%DATADIR%%/emacs-mode/annotation.elc
+%%DATADIR%%/emacs-mode/eri.el
+%%DATADIR%%/emacs-mode/eri.elc
 %%DATADIR%%/lib/prim/Agda/Builtin/Bool.agda
 %%DATADIR%%/lib/prim/Agda/Builtin/Char.agda
 %%DATADIR%%/lib/prim/Agda/Builtin/Char/Properties.agda