git: e1197b1e58b2 - main - math/hs-Agda: Disable building emacs mode files until upstream fixes it

The branch main has been updated by arrowd:

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

commit e1197b1e58b2cdb5f98b4fd00db2e340800b444f
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2025-03-04 12:27:24 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2025-03-04 12:28:48 +0000

    math/hs-Agda: Disable building emacs mode files until upstream fixes it
    
    See https://github.com/agda/agda/issues/7730
    Reported by:    pkg-fallout
---
 math/hs-Agda/Makefile  |  5 +++--
 math/hs-Agda/pkg-plist | 17 -----------------
 2 files changed, 3 insertions(+), 19 deletions(-)

diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index edf538a2c39c..7a2202817ce9 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	Agda
 DISTVERSION=	2.7.0.1
+PORTREVISION=	1
 CATEGORIES=	math haskell
 
 MAINTAINER=	haskell@FreeBSD.org
@@ -98,10 +99,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 b603c42f016d..94f70a8087c2 100644
--- a/math/hs-Agda/pkg-plist
+++ b/math/hs-Agda/pkg-plist
@@ -1,20 +1,3 @@
-%%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