Changeset View

Standalone View

	# $FreeBSD$			# $FreeBSD$

	PORTNAME= Agda-stdlib			PORTNAME= Agda-stdlib
	DISTVERSION= 0.16			DISTVERSION= 0.16

	DISTVERSIONPREFIX= v			DISTVERSIONPREFIX= v
	PORTREVISION= 1			PORTREVISION= 1
	CATEGORIES= math haskell			CATEGORIES= math haskell

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

	LICENSE= MIT			LICENSE= MIT

	DEPRECATED= Haskell libraries are getting pushed out of the ports tree. If you are using this port for development, consider switching to cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you believe this port shouldn't be removed, contact haskell@FreeBSD.org			DEPRECATED= Haskell libraries are getting pushed out of the ports tree. If you are using this port for development, consider switching to cabal sandboxes (old way), cabal new-build (new way), or use devel/stack. If you believe this port shouldn't be removed, contact haskell@FreeBSD.org
	EXPIRATION_DATE= 2019-04-14			EXPIRATION_DATE= 2019-04-14
				BROKEN= Broken by Haskell ports overhaul

	USE_GITHUB= yes			USE_GITHUB= yes

	GH_ACCOUNT= agda			GH_ACCOUNT= agda
	GH_PROJECT= agda-stdlib			GH_PROJECT= agda-stdlib

	USE_CABAL= Agda filemanip>=0.3			USE_CABAL= filemanip>=0.3

	STANDALONE= yes			STANDALONE= yes

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

	do-build:			do-build:
	cd ${WRKSRC} && ( \			cd ${WRKSRC} && ( \
	${SETENV} ${MAKE_ENV} ${SETUP_CMD} build; \			${SETENV} ${MAKE_ENV} ${SETUP_CMD} build; \
	Show All 19 Lines