sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-04-28 09:36:41 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

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

Browse source 
See https://github.com/agda/agda/issues/7730
Reported by:	pkg-fallout

(cherry picked from commit e1197b1e58)
This commit is contained in:
Gleb Popov 2025-03-04 15:27:24 +03:00
parent 20ba05c2c7
commit 9eebe0d6a4
2 changed files with 3 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
math/hs-Agda/Makefile
View file

@ -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>

17
math/hs-Agda/pkg-plist
View file

@ -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