Changeset View
Changeset View
Standalone View
Standalone View
head/math/hs-Agda/Makefile
# Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com> | # Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com> | ||||
# $FreeBSD$ | # $FreeBSD$ | ||||
PORTNAME= Agda | PORTNAME= Agda | ||||
PORTVERSION= 2.5.2 | PORTVERSION= 2.5.4 | ||||
PORTREVISION= 2 | |||||
CATEGORIES= math haskell | CATEGORIES= math haskell | ||||
MAINTAINER= haskell@FreeBSD.org | MAINTAINER= haskell@FreeBSD.org | ||||
COMMENT= Dependently typed functional programming language and proof assistant | COMMENT= Dependently typed functional programming language and proof assistant | ||||
USE_CABAL= EdisonCore boxes data-hash edit-distance equivalence \ | USE_CABAL= async EdisonCore blaze-html boxes data-hash edit-distance \ | ||||
geniplate-mirror gitrev hashable hashtables ieee754 \ | equivalence geniplate-mirror gitrev hashable hashtables ieee754 \ | ||||
mtl murmur-hash parallel regex-tdfa strict \ | mtl murmur-hash parallel regex-tdfa strict \ | ||||
unordered-containers zlib | unordered-containers uri-encode zlib | ||||
USE_ALEX= yes | USE_ALEX= yes | ||||
USE_HAPPY= yes | USE_HAPPY= yes | ||||
USE_CPPHS= yes | USE_CPPHS= yes | ||||
USES= iconv:translit | USES= iconv:translit | ||||
EXECUTABLE= agda-mode agda | EXECUTABLE= agda-mode agda | ||||
FLAGS_ENABLE= cpphs | FLAGS_ENABLE= cpphs | ||||
SUB_FILES= pkg-install pkg-deinstall | SUB_FILES= pkg-install pkg-deinstall | ||||
SUB_LIST= DATADIR=${DATADIR} | SUB_LIST= DATADIR=${DATADIR} | ||||
IGNORE= Doesn't build with recent GHC version | |||||
.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk" | .include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk" | ||||
.include <bsd.port.mk> | .include <bsd.port.mk> |