# $FreeBSD$

PORTNAME=	Agda-stdlib
PORTVERSION=	0.9
PORTREVISION=	1

DISTVERSIONPREFIX=	v
CATEGORIES=	math haskell

MAINTAINER=	haskell@FreeBSD.org
COMMENT=	Agda standard library

LICENSE=	MIT

USE_GITHUB=	yes

GH_ACCOUNT=	agda
GH_PROJECT=	agda-stdlib

USE_CABAL=	Agda filemanip>=0.3

STANDALONE=	yes

.include "${.CURDIR}/../../lang/ghc/bsd.cabal.options.mk"

do-build:
	cd ${WRKSRC} && ( \
	    ${SETENV} ${MAKE_ENV} ${SETUP_CMD} build; \
	    dist/build/GenerateEverything/GenerateEverything; \
	    agda -i. -isrc README.agda \
	)
.if ${PORT_OPTIONS:MDOCS}
	cd ${WRKSRC} && agda -i. -isrc --html README.agda -v0
.endif

do-install:
	cd ${WRKSRC} && ( \
	    ${MKDIR} ${STAGEDIR}${DOCSDIR} ${STAGEDIR}${DATADIR}; \
	    ${INSTALL_DATA} LICENCE ${STAGEDIR}${DOCSDIR}; \
	    cd src && ${COPYTREE_SHARE} \* ${STAGEDIR}${DATADIR} \
	)
.if ${PORT_OPTIONS:MDOCS}
	cd ${WRKSRC} && ${COPYTREE_SHARE} html ${STAGEDIR}${DOCSDIR}
.endif

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