forked from IntersectMBO/plutus
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathhie-cabal.yaml
69 lines (59 loc) · 2.34 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
cradle:
cabal:
- path: ./language-plutus-core/generators
component: "lib:language-plutus-core"
- path: ./language-plutus-core/prelude
component: "lib:language-plutus-core"
- path: ./language-plutus-core/src
component: "lib:language-plutus-core"
- path: ./language-plutus-core/plutus-ir
component: "lib:language-plutus-core"
- path: ./language-plutus-core/common
component: "lib:language-plutus-core"
- path: ./language-plutus-core/test
component: "language-plutus-core:language-plutus-core-test"
- path: ./language-plutus-core/plutus-ir-test
component: "language-plutus-core:plutus-ir-test"
- path: ./language-plutus-core/bench
component: "language-plutus-core:language-plutus-core-bench"
- path: ./language-plutus-core/weigh
component: "language-plutus-core:language-plutus-core-weigh"
- path: ./language-plutus-core/budgeting-bench
component: "language-plutus-core:language-plutus-core-budgeting-bench"
- path: ./plutus-tx/src
component: "lib:plutus-tx"
- path: ./plutus-tx-plugin/src
component: "lib:plutus-tx-plugin"
- path: ./plutus-tx-plugin/test
component: "plutus-tx-plugin:plutus-tx-test"
- path: ./playground-common/src
component: "lib:playground-common"
- path: ./playground-common/test
component: "playground-common:playground-common-test"
- path: ./marlowe-playground-server/src
component: "lib:marlowe-playground-server"
- path: ./marlowe-playground-server/test
component: "marlowe-playground-server:marlowe-playground-server-test"
- path: ./marlowe-symbolic/src
component: "lib:marlowe-symbolic"
- path: ./plutus-ledger/src
component: "lib:plutus-ledger"
- path: ./plutus-ledger/test
component: "plutus-ledger:plutus-ledger-test"
- path: ./plutus-contract/src
component: "lib:plutus-contract"
- path: ./plutus-contract/test
component: "plutus-contract:plutus-contract-test"
- path: ./deployment-server/src
component: "lib:deployment-server"
- path: ./deployment-server/test
component: "deployment-server:deployment-server-test"
- path: ./iots-export/src
component: "lib:iots-export"
- path: ./iots-export/test
component: "iots-export:iots-export-test"
- path: ./metatheory/src
component: "lib:metatheory"
- path: ./metatheory/test
component: "metatheory:metatheory-test"
# Add more as needed, I'm too lazy