From e1197b1e58b2cdb5f98b4fd00db2e340800b444f Mon Sep 17 00:00:00 2001
From: Gleb Popov <arrowd@FreeBSD.org>
Date: Tue, 4 Mar 2025 15:27:24 +0300
Subject: [PATCH] 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