blob: 7a2202817ce9c3b613fbeca618eddd5bff99de92 (
plain)
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
PORTNAME= Agda
DISTVERSION= 2.7.0.1
PORTREVISION= 1
CATEGORIES= math haskell
MAINTAINER= haskell@FreeBSD.org
COMMENT= Dependently typed functional programming language and proof assistant
WWW= https://wiki.portal.chalmers.se/agda/
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE
BROKEN_i386= compiler goes out of memory
BUILD_DEPENDS= emacs:editors/emacs@nox
USES= cabal
USE_LOCALE= en_US.UTF-8
USE_CABAL= OneTuple-0.4.2 \
QuickCheck-2.15.0.1 \
STMonadTrans-0.4.8_1 \
StateVar-1.2.2 \
aeson-2.2.3.0_2 \
alex-3.5.1.0 \
ansi-terminal-1.1.1 \
ansi-terminal-types-1.1 \
assoc-1.1.1 \
async-2.2.5_2 \
base-compat-0.14.0 \
base-orphans-0.9.2 \
bifunctors-5.6.2 \
blaze-builder-0.4.2.3 \
blaze-html-0.9.2.0_1 \
blaze-markup-0.8.3.0_2 \
boxes-0.1.5 \
case-insensitive-1.2.1.0 \
character-ps-0.1 \
colour-2.3.6 \
comonad-5.0.8_2 \
contravariant-1.5.5 \
data-fix-0.3.4 \
data-hash-0.2.0.1 \
distributive-0.6.2.1_1 \
dlist-1.0_2 \
edit-distance-0.2.2.1_1 \
equivalence-0.4.1 \
generically-0.1.1_3 \
gitrev-1.3.1 \
happy-1.20.1.1 \
hashable-1.5.0.0 \
hsc2hs-0.68.10_2 \
indexed-traversable-0.1.4 \
indexed-traversable-instances-0.1.2 \
integer-conversion-0.1.1 \
integer-logarithms-1.0.3.1_6 \
monad-control-1.0.3.1 \
murmur-hash-0.1.0.10_1 \
network-uri-2.6.4.2_1 \
os-string-2.0.6 \
parallel-3.2.2.0_8 \
peano-0.1.0.2 \
pqueue-1.5.0.0_2 \
primitive-0.9.0.0_1 \
random-1.2.1.2 \
regex-base-0.94.0.2_4 \
regex-tdfa-1.3.2.2_3 \
scientific-0.3.8.0_1 \
semialign-1.3.1_1 \
semigroupoids-6.0.1_1 \
split-0.2.5 \
splitmix-0.1.0.5_1 \
strict-0.5.1_1 \
tagged-0.8.8_1 \
text-iso8601-0.1.1_1 \
text-short-0.1.6_2 \
th-abstraction-0.7.0.0 \
th-compat-0.1.5_2 \
these-1.2.1_1 \
time-compat-1.9.7_2 \
transformers-base-0.4.6 \
transformers-compat-0.7.2 \
unordered-containers-0.2.20_3 \
uri-encode-1.5.0.7_3 \
utf8-string-1.0.2 \
uuid-types-1.0.6_1 \
vector-0.13.1.0_1 \
vector-hashtables-0.1.2.0 \
vector-stream-0.1.0.1_1 \
witherable-0.5_1 \
zlib-0.7.1.0_1
CABAL_EXECUTABLES= agda-mode agda
CABAL_WRAPPER_SCRIPTS= ${CABAL_EXECUTABLES}
agda_DATADIR_VARS= Agda
agda-mode_DATADIR_VARS= Agda
PLIST_SUB= AGDA_VER=${PORTVERSION}
post-install:
#${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda-mode compile
${FIND} ${WRKSRC}/src/data/lib/prim/Agda -name '*.agda' -exec ${SETENV} Agda_datadir=${WRKSRC}/src/data ${STAGEDIR}${PREFIX}/libexec/cabal/agda {} \;
${MKDIR} ${STAGEDIR}${DATADIR}/lib/prim/Agda
cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} lib ${STAGEDIR}${DATADIR}
#cd ${WRKSRC}/src/data && ${COPYTREE_SHARE} emacs-mode ${STAGEDIR}${DATADIR}
.include <bsd.port.mk>
|
