blob: a12c5af58d1a70001556ed6cf39e121019a27b4b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
# $FreeBSD$
PORTNAME= Agda-stdlib
DISTVERSION= 0.16
DISTVERSIONPREFIX= v
PORTREVISION= 1
CATEGORIES= math haskell
MAINTAINER= haskell@FreeBSD.org
COMMENT= Agda standard library
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
EXPIRATION_DATE= 2019-04-14
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>
|
