Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 6 May 2020 20:31:28 +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: r534200 - head/math/hs-Agda
Message-ID:  <202005062031.046KVSFa072140@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
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@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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202005062031.046KVSFa072140>