-
Notifications
You must be signed in to change notification settings - Fork 463
/
hie-cabal.yaml
86 lines (75 loc) · 3.86 KB
/
hie-cabal.yaml
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
cradle:
multi:
- path: ./plutus-core/generators
config: { cradle: { cabal: { component: "lib:plutus-core" } } }
- path: ./plutus-core/prelude
config: { cradle: { cabal: { component: "lib:plutus-core" } } }
- path: ./plutus-core/src
config: { cradle: { cabal: { component: "lib:plutus-core" } } }
- path: ./plutus-core/untyped-plutus-core
config: { cradle: { cabal: { component: "lib:untyped-plutus-core" } } }
- path: ./plutus-core/plutus-ir
config: { cradle: { cabal: { component: "lib:plutus-core" } } }
- path: ./plutus-core/common
config: { cradle: { cabal: { component: "lib:plutus-core" } } }
- path: ./plutus-core/test
config: { cradle: { cabal: { component: "plutus-core:plutus-core-test" } } }
- path: ./plutus-core/untyped-plutus-core-test
config: { cradle: { cabal: { component: "lib:untyped-plutus-core-test" } } }
- path: ./plutus-core/plutus-ir-test
config: { cradle: { cabal: { component: "plutus-core:plutus-ir-test" } } }
- path: ./plutus-core/bench
config: { cradle: { cabal: { component: "plutus-core:plutus-core-bench" } } }
- path: ./plutus-core/weigh
config: { cradle: { cabal: { component: "plutus-core:plutus-core-weigh" } } }
- path: ./plutus-core/budgeting-bench
config: { cradle: { cabal: { component: "plutus-core:plutus-core-budgeting-bench" } } }
- path: ./plutus-core/cost-model-creation
config: { cradle: { none: } } # inline-r makes hls segfault
- path: ./plutus-core/create-cost-model
config: { cradle: { none: } }
- path: ./plutus-core/test-cost-model
config: { cradle: { none: } }
- path: ./plutus-tx/src
config: { cradle: { cabal: { component: "lib:plutus-tx" } } }
- path: ./plutus-tx-plugin/src
config: { cradle: { cabal: { component: "lib:plutus-tx-plugin" } } }
- path: ./plutus-tx-plugin/test
config: { cradle: { cabal: { component: "plutus-tx-plugin:plutus-tx-test" } } }
- path: ./playground-common/src
config: { cradle: { cabal: { component: "lib:playground-common" } } }
- path: ./playground-common/test
config: { cradle: { cabal: { component: "playground-common:playground-common-test" } } }
- path: ./marlowe-playground-server/src
config: { cradle: { cabal: { component: "lib:marlowe-playground-server" } } }
- path: ./marlowe-playground-server/test
config: { cradle: { cabal: { component: "marlowe-playground-server:marlowe-playground-server-test" } } }
- path: ./marlowe-symbolic/src
config: { cradle: { cabal: { component: "lib:marlowe-symbolic" } } }
- path: ./plutus-ledger/src
config: { cradle: { cabal: { component: "lib:plutus-ledger" } } }
- path: ./plutus-ledger/test
config: { cradle: { cabal: { component: "plutus-ledger:plutus-ledger-test" } } }
- path: ./plutus-contract/src
config: { cradle: { cabal: { component: "lib:plutus-contract" } } }
- path: ./plutus-contract/test
config: { cradle: { cabal: { component: "plutus-contract:plutus-contract-test" } } }
- path: ./deployment-server/src
config: { cradle: { cabal: { component: "lib:deployment-server" } } }
- path: ./deployment-server/test
config: { cradle: { cabal: { component: "deployment-server:deployment-server-test" } } }
- path: ./iots-export/src
config: { cradle: { cabal: { component: "lib:iots-export" } } }
- path: ./iots-export/test
config: { cradle: { cabal: { component: "iots-export:iots-export-test" } } }
- path: ./metatheory/src
config: { cradle: { cabal: { component: "lib:metatheory" } } }
- path: ./metatheory/test
config: { cradle: { cabal: { component: "metatheory:metatheory-test" } } }
- path: ./web-ghc/src
config: { cradle: { cabal: { component: "lib:web-ghc" } } }
- path: ./web-ghc/src
config: { cradle: { cabal: { component: "exe:web-ghc-server" } } }
- path: ./web-ghc/test
config: { cradle: { cabal: { component: "web-ghc:web-ghc-test" } } }
# Add more as needed, I'm too lazy