-
Notifications
You must be signed in to change notification settings - Fork 18
/
elba.toml
49 lines (44 loc) · 1.5 KB
/
elba.toml
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
[package]
name = "typedefs/typedefs"
version = "0.2.0"
authors = []
[dependencies]
"gallais/idris-tparsec" = { git = "https://github.com/gallais/idris-tparsec/", tag = "943c64dfcb4e1582696f68312fad88145dc3a8e4"}
"HuwCampbell/optparse-idris" = { git = "https://github.com/statebox/optparse-idris" }
"ziman/idris-bytes" = { git = "https://github.com/statebox/idris-bytes/" }
"HuwCampbell/idris-lens" = { git = "https://github.com/andrevidela/idris-lens" }
[dev_dependencies]
"pheymann/specdris" = { git = "https://github.com/pheymann/specdris/" }
[targets.lib]
path = "src"
mods = [ "Typedefs.Names"
, "Typedefs.Text"
, "Typedefs.Parse"
, "Typedefs.Idris"
, "Typedefs.DependentLookup"
, "Typedefs.Typedefs"
, "Typedefs.Library"
, "Typedefs.TypedefsDecEq"
, "Typedefs.TermParse"
, "Typedefs.TermWrite"
, "Typedefs.Backend"
, "Typedefs.Backend.Data"
, "Typedefs.Backend.Effects"
, "Typedefs.Backend.Utils"
, "Typedefs.Backend.Haskell"
, "Typedefs.Backend.Haskell.Data"
, "Typedefs.Backend.Haskell.Termgen"
, "Typedefs.Backend.Haskell.Typegen"
, "Typedefs.Backend.JSON"
, "Typedefs.Backend.ReasonML"
]
idris_opts = ["-p","contrib","-p","effects"]
[[targets.bin]]
path = "src"
name = "typedefs"
main = "CLI/Main.idr"
idris_opts = ["-p","contrib","-p","effects"]
[[targets.test]]
path = "src"
main = "Typedefs.Test.TypedefsSuite.testSuite"
idris_opts = ["-p","contrib","-p","effects","--total"]