diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2025-03-04 15:27:24 +0300 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2025-04-02 09:09:22 +0300 |
| commit | 9eebe0d6a486f7600748c78bd28a9e347f963ea4 (patch) | |
| tree | b5f42ebf54a57b32e1aa8db84fb8b46ea33bbb22 | |
| parent | devel/electron33: update to 33.4.8 (diff) | |
math/hs-Agda: Disable building emacs mode files until upstream fixes it2025Q1
See https://github.com/agda/agda/issues/7730
Reported by: pkg-fallout
(cherry picked from commit e1197b1e58b2cdb5f98b4fd00db2e340800b444f)
| -rw-r--r-- | math/hs-Agda/Makefile | 5 | ||||
| -rw-r--r-- | 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 |