svn commit: r534200 - head/math/hs-Agda
Gleb Popov
arrowd at FreeBSD.org
Wed May 6 20:31:29 UTC 2020
Author: arrowd
Date: Wed May 6 20:31:28 2020
New Revision: 534200
URL: https://svnweb.freebsd.org/changeset/ports/534200
Log:
math/hs-Agda: Install emacs mode files.
PR: 246254
Modified:
head/math/hs-Agda/Makefile
head/math/hs-Agda/pkg-plist
Modified: head/math/hs-Agda/Makefile
==============================================================================
--- head/math/hs-Agda/Makefile Wed May 6 20:25:10 2020 (r534199)
+++ head/math/hs-Agda/Makefile Wed May 6 20:31:28 2020 (r534200)
@@ -3,11 +3,14 @@
PORTNAME= Agda
PORTVERSION= 2.6.1
+PORTREVISION= 1
CATEGORIES= math haskell
MAINTAINER= haskell at FreeBSD.org
COMMENT= Dependently typed functional programming language and proof assistant
+BUILD_DEPENDS= emacs:editors/emacs
+
USES= cabal
USE_LOCALE= en_US.UTF-8
@@ -58,10 +61,15 @@ USE_CABAL= STMonadTrans-0.4.4 \
EXECUTABLES= agda-mode agda
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
+
post-install:
${MKDIR} ${STAGEDIR}${DATADIR}/lib/prim/Agda
find ${WRKSRC}/src/data/lib/prim/Agda -name '*.agda' -exec ${SETENV} ${PORTNAME}_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda {} \;
cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} lib ${STAGEDIR}${DATADIR}
+ cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} emacs-mode ${STAGEDIR}${DATADIR}
.include <bsd.port.mk>
Modified: head/math/hs-Agda/pkg-plist
==============================================================================
--- head/math/hs-Agda/pkg-plist Wed May 6 20:25:10 2020 (r534199)
+++ head/math/hs-Agda/pkg-plist Wed May 6 20:31:28 2020 (r534200)
@@ -1,3 +1,20 @@
+%%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-all
mailing list