-
Notifications
You must be signed in to change notification settings - Fork 1
/
cabal.project
206 lines (179 loc) · 4.16 KB
/
cabal.project
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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
-- SPDX-FileCopyrightText: 2022 Google LLC
--
-- SPDX-License-Identifier: CC0-1.0
packages:
bittide-experiments/
bittide-extra/
bittide-instances/
bittide-shake/
bittide-tools/
bittide/
clash-vexriscv/clash-vexriscv/
vivado-hs/
write-ghc-environment-files: always
-- index state, to go along with the cabal.project.freeze file. update the index
-- state by running `cabal update` twice and looking at the index state it
-- displays to you (as the second update will be a no-op)
index-state: 2024-08-07T03:18:13Z
with-compiler: ghc-9.6.5
tests: True
package bittide
-- Tweak haddock stylesheet to enable word wrapping of types.
-- We specify the default Linuwial theme as an alternate
-- so we're able to import its css file from the custom theme.
haddock-options: --theme=linuwial-wrap-types.css --theme=Linuwial
package zlib
flags: +pkg-config
package clash-prelude
flags: -multiple-hidden
ghc-options:
+RTS
-qn8
-A64M
-RTS
-j8
package clash-lib
ghc-options:
+RTS
-qn8
-A64M
-RTS
-j8
package clash-ghc
ghc-options:
+RTS
-qn8
-A64M
-RTS
-j8
package bittide
ghc-options:
+RTS
-xp
-qn8
-A64M
-RTS
-j8
package bittide-experiments
ghc-options:
+RTS
-xp
-qn8
-A64M
-RTS
-j8
package bittide-extra
ghc-options:
+RTS
-xp
-qn8
-A64M
-RTS
-j8
package bittide-instances
ghc-options:
+RTS
-xp
-qn8
-A64M
-RTS
-j8
package bittide-shake
ghc-options:
+RTS
-xp
-qn8
-A64M
-RTS
-j8
package bittide-tools
ghc-options:
+RTS
-xp
-qn8
-A64M
-RTS
-j8
package clash-vexriscv
ghc-options:
+RTS
-xp
-qn8
-A64M
-RTS
-j8
package clash-vexriscv-sim
ghc-options:
+RTS
-xp
-qn8
-A64M
-RTS
-j8
package vivado-hs
ghc-options:
+RTS
-xp
-qn8
-A64M
-RTS
-j8
-- index state, to go along with the cabal.project.freeze file. update the index
-- state by running `cabal update` twice and looking at the index state it
-- displays to you (as the second update will be a no-op)
index-state: 2023-12-05T05:33:28Z
-- We need an up-to-date Clash and libraries. Among other features, this adds
-- support for dynamic clocks and Xilinx primitive support.
source-repository-package
type: git
location: https://github.com/clash-lang/clash-compiler.git
tag: 20c17495e821faa2b8969db5cb3b3ebdc322b7f7
subdir: clash-prelude
source-repository-package
type: git
location: https://github.com/clash-lang/clash-compiler.git
tag: 20c17495e821faa2b8969db5cb3b3ebdc322b7f7
subdir: clash-ghc
source-repository-package
type: git
location: https://github.com/clash-lang/clash-compiler.git
tag: 20c17495e821faa2b8969db5cb3b3ebdc322b7f7
subdir: clash-lib
source-repository-package
type: git
location: https://github.com/clash-lang/clash-compiler.git
tag: 20c17495e821faa2b8969db5cb3b3ebdc322b7f7
subdir: clash-prelude-hedgehog
source-repository-package
type: git
location: https://github.com/clash-lang/clash-compiler.git
tag: 20c17495e821faa2b8969db5cb3b3ebdc322b7f7
subdir: clash-cores
source-repository-package
type: git
location: https://github.com/clash-lang/clash-protocols.git
tag: 0832a422e77422739401896f6612620d17baa289
subdir: clash-protocols
source-repository-package
type: git
location: https://github.com/clash-lang/clash-protocols.git
tag: 0832a422e77422739401896f6612620d17baa289
subdir: clash-protocols-base
source-repository-package
type: git
location: https://github.com/cchalmers/circuit-notation.git
tag: 19b386c4aa3ff690758ae089c7754303f3500cc9
source-repository-package
type: git
location: https://github.com/martijnbastiaan/haskell-hedgehog.git
tag: ddfa34501d16b12fb621efa72bed892910cb5475
subdir: hedgehog
-- TODO: remove once the fixed version has been released on hackage
source-repository-package
type: git
location: https://github.com/clash-lang/ghc-typelits-knownnat
tag: 30b72d5bd01b497ef4465ff51205e1ebe068e4f9
source-repository-package
type: git
location: https://github.com/clash-lang/ghc-typelits-extra
tag: 1eed8d3de637a115dad12e2cb722cb0a3bc761ea