svn commit: r545318 - head/math/hs-Agda
Gleb Popov
arrowd at FreeBSD.org
Wed Aug 19 12:27:37 UTC 2020
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 at 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
More information about the svn-ports-head
mailing list