-
Notifications
You must be signed in to change notification settings - Fork 18
/
kansas-lava.cabal
158 lines (144 loc) · 4.2 KB
/
kansas-lava.cabal
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
Name: kansas-lava
Version: 0.2.5
Synopsis: Kansas Lava is a hardware simulator and VHDL generator.
Description:
Kansas Lava is a Domain Specific Language (DSL) for expressing
hardware-oriented descriptions of computations, and is hosted inside
the language Haskell. Kansas Lava programs are descriptions of
specific hardware entities, the connections between them, and other
computational abstractions that can compile down to these entities.
Category: Language, Hardware
License: BSD3
License-file: LICENSE
Author: Andy Gill
Maintainer: Andy Gill <andygill@ku.edu>
Copyright: (c) 2009-2013 The University of Kansas
Homepage: http://www.ittc.ku.edu/csdl/fpg/software/kansas-lava.html
Stability: alpha
build-type: Simple
-- (We actually require >= ghc 7.6, because we the kind Nat.)
--
-- should be >= 1.12, but that will force
-- people to ghc 7.4. Don't try to run
-- 'cabal haddock' with 1.10.
-- TODO: change this when everyone on 7.4
--
Cabal-Version: >= 1.10
Data-files:
Prelude/VHDL/*.vhd,
Prelude/HTML/*.inc
extra-source-files:
tests/Makefile
README
Flag all
Description: Enable full development tree
Default: False
Flag unit
Description: Enable unit testing binary
Default: False
Flag tools
Description: Enable extra tool binary
Default: False
Library
Build-Depends:
base >= 4 && < 5,
containers,
array,
sized-types >= 0.4.1.1,
mtl >= 2.0,
data-default,
random,
strict,
stm >= 2.2,
transformers >= 0.2.2,
filepath,
directory,
process,
netlist >= 0.3.1,
netlist-to-vhdl >= 0.3.1,
template-haskell >= 2.4.0.0 && < 2.11.0.0,
bytestring,
data-reify >= 0.6,
deepseq >= 1.3,
Boolean >= 0.2,
singletons
Exposed-modules:
Language.KansasLava
Language.KansasLava.Fabric
Language.KansasLava.Optimization
Language.KansasLava.Probes
Language.KansasLava.Protocols
Language.KansasLava.Rep
Language.KansasLava.Signal
Language.KansasLava.Spark
Language.KansasLava.Types
Language.KansasLava.Utils
Language.KansasLava.Universal
Language.KansasLava.Internal
Language.KansasLava.VHDL
Language.KansasLava.Stream
Language.KansasLava.VCD
FED
Other-modules:
Language.KansasLava.Rep.TH
Language.KansasLava.Rep.Class
Language.KansasLava.Netlist.Decl
Language.KansasLava.Netlist.Inst
Language.KansasLava.Netlist.Utils
Language.KansasLava.Protocols.Enabled
Language.KansasLava.Protocols.Memory
Language.KansasLava.Protocols.Types
Paths_kansas_lava
-- need a module refactor to address the orphan warnings
Ghc-Options: -Wall -fno-warn-orphans -fcontext-stack=100
-- -Werror
default-language: Haskell2010
-- Ghc-Prof-options: -auto-all
Executable kansas-lava-test
if flag(unit) || flag(all)
buildable: True
Build-Depends:
base >= 4 && < 5,
containers,
array,
sized-types >= 0.4.1.1,
mtl >= 2.0,
data-default,
random,
strict,
stm >= 2.2,
transformers >= 0.2.2,
filepath,
directory,
process,
netlist >= 0.3.1,
netlist-to-vhdl >= 0.3.1,
template-haskell >= 2.4.0.0 && < 2.11.0.0,
bytestring,
data-reify >= 0.6,
deepseq >= 1.3,
Boolean >= 0.2,
sized-types >= 0.4.1.1,
array,
data-default,
random,
strict,
filepath,
directory,
cmdargs >= 0.8,
shake >= 0.8,
containers >= 0.5
Other-modules:
Test Coerce Matrix Memory Others Protocols Regression
else
Build-depends: base
buildable: False
Main-Is: Shake.hs
Hs-Source-Dirs: . tests
Ghc-Options: -Wall
-fno-warn-orphans -fcontext-stack=256
-threaded -rtsopts
default-language: Haskell2010
source-repository head
type: git
location: git://github.com/ku-fpg/kansas-lava.git