diff options
Diffstat (limited to 'math/hs-Agda/Makefile')
| -rw-r--r-- | math/hs-Agda/Makefile | 26 |
1 files changed, 9 insertions, 17 deletions
diff --git a/math/hs-Agda/Makefile b/math/hs-Agda/Makefile index c6ac1f1ad953..7568b0e790a6 100644 --- a/math/hs-Agda/Makefile +++ b/math/hs-Agda/Makefile @@ -2,36 +2,28 @@ # $FreeBSD$ PORTNAME= Agda -PORTVERSION= 2.4.2.3 +PORTVERSION= 2.5.2 CATEGORIES= math haskell MAINTAINER= haskell@FreeBSD.org COMMENT= Dependently typed functional programming language and proof assistant -USE_CABAL= base-orphans>=0.3.1 boxes>=0.1.3 cpphs data-hash>=0.2.0.0 \ - edit-distance>=0.2.1.2 equivalence>=0.2.5 \ - geniplate-mirror>=0.6.0.6 hashable>=1.1.2.3 hashtables>=1.0 \ - haskell-src-exts>=1.16.0.1 mtl>=2.1.1 parallel QuickCheck>=2.8 \ - strict>=0.3.2 text>=0.11 transformers-compat>=0.3.3.2 \ - unordered-containers>=0.2 zlib>=0.4.0.1 +USE_CABAL= EdisonCore boxes data-hash edit-distance equivalence \ + geniplate-mirror gitrev hashable hashtables ieee754 \ + monadplus mtl murmur-hash parallel regex-tdfa strict \ + text unordered-containers zlib USE_ALEX= yes USE_HAPPY= yes +USE_CPPHS= yes USES= iconv:translit EXECUTABLE= agda-mode agda -_PRIMITIVE= Primitive.agdai - -INSTALL_PORTDATA= ${INSTALL_DATA} \ - ${DISTDIR}/${DIST_SUBDIR}/${_PRIMITIVE}.${PORTVERSION} \ - ${STAGEDIR}${DATADIR}/lib/prim/Agda/${_PRIMITIVE} - FLAGS_ENABLE= cpphs -.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk" - -MASTER_SITES+= LOCAL/pgj:primitive -DISTFILES+= ${_PRIMITIVE}.${PORTVERSION}:primitive +SUB_FILES= pkg-install pkg-deinstall +SUB_LIST= DATADIR=${DATADIR} +.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk" .include <bsd.port.mk> |