mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-05 01:55:52 +00:00
15945f8122
to GCC 4.8.3. Part II, Bump PORTREVISIONs. PR: 192025 Tested by: antoine (-exp runs) Approved by: portmgr (implicit)
33 lines
884 B
Makefile
33 lines
884 B
Makefile
# Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= Agda
|
|
PORTVERSION= 2.4.0.2
|
|
PORTREVISION= 1
|
|
CATEGORIES= math haskell
|
|
|
|
MAINTAINER= haskell@FreeBSD.org
|
|
COMMENT= Dependently typed functional programming language and proof assistant
|
|
|
|
USE_CABAL= boxes>=0.1.3 data-hash>=0.2.0.0 equivalence>=0.2.4 \
|
|
geniplate>=0.6.0.3 hashable hashtables>=1.0 \
|
|
haskell-src-exts>=1.9.6 mtl>=2.1.1 parallel QuickCheck>=2.6 \
|
|
STMonadTrans>=0.3.2 strict>=0.3.2 text>=0.11 \
|
|
unordered-containers>=0.2 zlib>=0.4.0.1
|
|
USE_ALEX= yes
|
|
USE_HAPPY= yes
|
|
USES= iconv:translit
|
|
|
|
EXECUTABLE= agda-mode agda
|
|
|
|
INSTALL_PORTDATA= cd ${WRKSRC} && ${INSTALL_DATA} README ${STAGEDIR}${DATADIR}
|
|
|
|
FLAGS_DEFINE= EPIC
|
|
|
|
EPIC_DESC= Install the Epic compiler
|
|
EPIC_FLAG_ENABLE= epic
|
|
EPIC_FLAG_CABAL= epic>=0.1.13
|
|
|
|
.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk"
|
|
.include <bsd.port.mk>
|