mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-26 05:02:18 +00:00
0c76a8384f
GHC in the ports tree has been updated to 7.0.3 and all other Haskell ports are also updated to their corresponding Haskell Platform versions, or latest versions. We would like to acknowledge the support of the FreeBSD Donations Team and Eotvos Lorand University, Faculty of Informatics who contributed to the server that we used for testing. We would also like to thank all the testers who tested FreeBSD Haskell ports and provided their feedback. PR: ports/156642 Approved by: tabthorpe (mentor) Obtained from: FreeBSD Haskell
34 lines
809 B
Makefile
34 lines
809 B
Makefile
# New ports collection makefile for: hs-Agda
|
|
# Date created: December 20 2009
|
|
# Whom: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= Agda
|
|
PORTVERSION= 2.2.10
|
|
CATEGORIES= math haskell
|
|
|
|
MAINTAINER= haskell@FreeBSD.org
|
|
COMMENT= A functional programming language and proof assistant
|
|
|
|
CABAL_SETUP= Setup.hs
|
|
USE_CABAL= binary>=0.4.4 haskeline>=0.6.3.2 haskell-src-exts>=1.9.6 \
|
|
mtl>=2 QuickCheck>=2.3 syb utf8-string>=0.3 xhtml>=3000.2 \
|
|
zlib>=0.4.0.1
|
|
|
|
USE_ALEX= yes
|
|
USE_HAPPY= yes
|
|
USE_ICONV= yes
|
|
|
|
EXECUTABLE= agda-mode
|
|
|
|
PORTDATA= *
|
|
INSTALL_PORTDATA= (cd ${WRKSRC} && ${INSTALL_DATA} README ${DATADIR}; \
|
|
cd ${WRKSRC}/doc && ${COPYTREE_SHARE} \* ${DATADIR})
|
|
|
|
SHOW_PKGMSG= yes
|
|
|
|
.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk"
|
|
.include <bsd.port.mk>
|