git: 18b47fc3ace9 - 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=18b47fc3ace9e3bf64d0c9deaf72b848baf41947

commit 18b47fc3ace9e3bf64d0c9deaf72b848baf41947
Author:     Gleb Popov <[email protected]>
AuthorDate: 2026-08-15 12:34:41 +0000
Commit:     Gleb Popov <[email protected]>
CommitDate: 2026-08-15 13:54:34 +0000

    math/hs-Agda: Disable building emacs mode files until upstream fixes it
    
    Reported by:    pkg-fallout
---
 math/hs-Agda/Makefile  |  6 +++---
 math/hs-Agda/pkg-plist | 34 +++++++++++++++++-----------------
 2 files changed, 20 insertions(+), 20 deletions(-)

diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile
index 81b3d77ba1dd..181e5b2be2aa 100644
--- a/math/hs-Agda/Makefile
+++ b/math/hs-Agda/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	Agda
 DISTVERSION=	2.8.0
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	math haskell
 
 MAINTAINER=	[email protected]
@@ -117,10 +117,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 4afff3ab8434..f96654720a36 100644
--- a/math/hs-Agda/pkg-plist
+++ b/math/hs-Agda/pkg-plist
@@ -1,20 +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
+@comment %%DATADIR%%/emacs-mode/agda-input.el
+@comment %%DATADIR%%/emacs-mode/agda-input.elc
+@comment %%DATADIR%%/emacs-mode/agda2-abbrevs.el
+@comment %%DATADIR%%/emacs-mode/agda2-abbrevs.elc
+@comment %%DATADIR%%/emacs-mode/agda2-highlight.el
+@comment %%DATADIR%%/emacs-mode/agda2-highlight.elc
+@comment %%DATADIR%%/emacs-mode/agda2-mode-pkg.el
+@comment %%DATADIR%%/emacs-mode/agda2-mode.el
+@comment %%DATADIR%%/emacs-mode/agda2-mode.elc
+@comment %%DATADIR%%/emacs-mode/agda2-queue.el
+@comment %%DATADIR%%/emacs-mode/agda2-queue.elc
+@comment %%DATADIR%%/emacs-mode/agda2.el
+@comment %%DATADIR%%/emacs-mode/agda2.elc
+@comment %%DATADIR%%/emacs-mode/annotation.el
+@comment %%DATADIR%%/emacs-mode/annotation.elc
+@comment %%DATADIR%%/emacs-mode/eri.el
+@comment %%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