Changeset View

Standalone View

	# Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>			# Created by: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
	# $FreeBSD$			# $FreeBSD$

	PORTNAME= Agda			PORTNAME= Agda
	PORTVERSION= 2.5.4.2			PORTVERSION= 2.5.4.2
	PORTREVISION= 1			PORTREVISION= 1
	CATEGORIES= math haskell			CATEGORIES= math haskell

	MAINTAINER= haskell@FreeBSD.org			MAINTAINER= haskell@FreeBSD.org
	COMMENT= Dependently typed functional programming language and proof assistant			COMMENT= Dependently typed functional programming language and proof assistant

	BROKEN= Doesn't build with recent GHC			BROKEN= Doesn't build with recent GHC

	USE_CABAL= async EdisonCore blaze-html boxes data-hash edit-distance \			USES= cabal
	equivalence filemanip geniplate-mirror gitrev hashable \
	hashtables ieee754 mtl murmur-hash parallel regex-tdfa strict \
	unordered-containers uri-encode zlib

	USE_ALEX= yes
	USE_HAPPY= yes
	USE_CPPHS= yes
	USES= iconv:translit

	EXECUTABLE= agda-mode agda			EXECUTABLE= agda-mode agda

	FLAGS_ENABLE= cpphs


	SUB_FILES= pkg-install pkg-deinstall			SUB_FILES= pkg-install pkg-deinstall
	SUB_LIST= DATADIR=${DATADIR}			SUB_LIST= DATADIR=${DATADIR}

	.include "${.CURDIR}/../../lang/ghc/bsd.cabal.mk"
	.include <bsd.port.mk>			.include <bsd.port.mk>