24 lines
550 B
Makefile
24 lines
550 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.3.0
|
|
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.3.0 Agda<2.3.1
|
|
|
|
USE_ICONV= yes
|
|
|
|
EXECUTABLE= agda
|
|
STANDALONE= yes
|
|
|
|
.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk"
|
|
.include <bsd.port.mk>
|