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
25 lines
569 B
Makefile
25 lines
569 B
Makefile
# New ports collection makefile for: hs-Agda-executable
|
|
# Date created: December 20 2009
|
|
# Whom: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= Agda-executable
|
|
PORTVERSION= 2.2.10
|
|
PORTREVISION= 1
|
|
CATEGORIES= math haskell
|
|
|
|
MAINTAINER= haskell@FreeBSD.org
|
|
COMMENT= Command-line program for type-checking and compiling Agda programs
|
|
|
|
CABAL_SETUP= Setup.hs
|
|
USE_CABAL= Agda>=2.2.10 Agda<2.2.11
|
|
|
|
USE_ICONV= yes
|
|
|
|
EXECUTABLE= agda
|
|
STANDALONE= yes
|
|
|
|
.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk"
|
|
.include <bsd.port.mk>
|