40 lines
1,003 B
Makefile
40 lines
1,003 B
Makefile
# Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= Agda
|
|
PORTVERSION= 2.3.2
|
|
PORTREVISION= 2
|
|
CATEGORIES= math haskell
|
|
|
|
MAINTAINER= haskell@FreeBSD.org
|
|
COMMENT= Dependently typed functional programming language and proof assistant
|
|
|
|
USE_CABAL= geniplate>=0.6.0.3 hashable>=1.1 hashtables \
|
|
haskeline>=0.6.3.2 haskell-src-exts>=1.9.6 mtl \
|
|
QuickCheck>=2.3 parallel syb>=0.1 unordered-containers>=0.2 \
|
|
xhtml zlib>=0.4.0.1
|
|
USE_ALEX= yes
|
|
USE_HAPPY= yes
|
|
USES= iconv
|
|
|
|
EXECUTABLE= agda-mode agda
|
|
|
|
INSTALL_PORTDATA= (cd ${WRKSRC} && ${INSTALL_DATA} README ${DATADIR}; \
|
|
cd ${WRKSRC}/doc && ${COPYTREE_SHARE} \* ${DATADIR})
|
|
|
|
OPTIONS_DEFINE= EPIC
|
|
|
|
EPIC_DESC= Install the Epic compiler
|
|
|
|
NO_STAGE= yes
|
|
.include "${.CURDIR}/../../lang/ghc/bsd.cabal.options.mk"
|
|
|
|
.if ${PORT_OPTIONS:MEPIC}
|
|
CONFIGURE_ARGS+= --flags="epic"
|
|
USE_CABAL+= epic>=0.1.13
|
|
.else
|
|
CONFIGURE_ARGS+= --flags="-epic"
|
|
.endif
|
|
|
|
.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk"
|
|
.include <bsd.port.mk>
|