mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-05 06:27:37 +00:00
72aec0acb1
- Update devel/hs-blaze-builder-enumerator to 0.2.0.1 - Update devel/hs-darcs to 2.5.2 - Update devel/hs-hashed-storage to 0.5.7 - Update devel/hs-haskeline to 0.6.4.0 - Update devel/hs-haskell-src-exts to 1.11.1 - Update devel/hs-hoogle to 4.2.5 - Update devel/hs-test-framework to 0.4.0 - Update devel/hs-test-framework-quickcheck2 to 0.2.10 - Update www/hs-wai to 0.4.0 - Update www/hs-warp to 0.4.0.1 - Bump PORTREVISION of devel/cvs2darcs, devel/hs-test-framework-hunit, devel/hs-uuagc, math/hs-Agda, math/hs-Agda-executable Obtained from: FreeBSD Haskell
35 lines
825 B
Makefile
35 lines
825 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
|
|
PORTREVISION= 2
|
|
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>
|