Date: Wed, 19 Aug 2020 12:27:37 +0000 (UTC) From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r545318 - head/math/hs-Agda Message-ID: <202008191227.07JCRbR2021819@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: arrowd Date: Wed Aug 19 12:27:36 2020 New Revision: 545318 URL: https://svnweb.freebsd.org/changeset/ports/545318 Log: math/hs-Agda: Do not compile Emacs mode files, because they are incompatible with our new Emacs. Modified: head/math/hs-Agda/Makefile head/math/hs-Agda/pkg-plist Modified: head/math/hs-Agda/Makefile ============================================================================== --- head/math/hs-Agda/Makefile Wed Aug 19 12:25:54 2020 (r545317) +++ head/math/hs-Agda/Makefile Wed Aug 19 12:27:36 2020 (r545318) @@ -3,7 +3,7 @@ PORTNAME= Agda PORTVERSION= 2.6.1 -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org @@ -65,7 +65,8 @@ agda_DATADIR_VARS= Agda agda-mode_DATADIR_VARS= Agda post-build: - ${SETENV} Agda_datadir=${WRKSRC}/src/data $$(find ${WRKSRC}/dist-newstyle -name agda-mode -type f -perm +111) compile +# Do not compile Emacs mode files until https://github.com/agda/agda/issues/4610 is fixed +# ${SETENV} Agda_datadir=${WRKSRC}/src/data $$(find ${WRKSRC}/dist-newstyle -name agda-mode -type f -perm +111) compile post-install: ${MKDIR} ${STAGEDIR}${DATADIR}/lib/prim/Agda Modified: head/math/hs-Agda/pkg-plist ============================================================================== --- head/math/hs-Agda/pkg-plist Wed Aug 19 12:25:54 2020 (r545317) +++ head/math/hs-Agda/pkg-plist Wed Aug 19 12:27:36 2020 (r545318) @@ -1,20 +1,12 @@ %%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/Bool.agdai %%DATADIR%%/lib/prim/Agda/Builtin/Char.agda
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202008191227.07JCRbR2021819>