Changeset View
Changeset View
Standalone View
Standalone View
math/hs-Agda-stdlib/Makefile
# $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 |