/
tasks.json
113 lines (113 loc) · 3.53 KB
/
tasks.json
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
{
"version": "2.0.0",
"tasks": [
{
"label": "0 CLEAN SOURCE",
"type": "shell",
"command": "rm -rf annotated partitioned divvied refactored jsons verifier *working *.json log; mkdir log",
"args": [],
"group": {
"kind": "build",
"isDefault": true
},
"problemMatcher": []
},
{
"label": "1 ANNOTATE",
"type": "shell",
"command": "mkdir annotated; cp -R plain/* annotated; echo Prepared sources for CLE annotation by developer under ./annotated; echo Move to Conflict Analysis when done annotating",
"args": [],
"group": {
"kind": "build",
"isDefault": true
},
"problemMatcher": []
},
{
"label": "2 ANALYZE PARTITION CONFLICTS",
"type": "shell",
"command": "source .make/closure_env.sh; make -f .make/conflicts.make assignments && mkdir -p ./refactored && cp -r ./annotated/* ./refactored",
"args": [],
"group": {
"kind": "build",
"isDefault": true
},
"problemMatcher": []
},
{
"label": "3 AUTOMAGIC",
"type": "shell",
"command": "",
"args": [],
"group": {
"kind": "build",
"isDefault": true
},
"dependsOrder": "sequence",
"dependsOn": [
"9a DIVIDE",
"9b AUTOGEN GEDL, RPCs, IDL, Codecs",
"9d BUILD",
"9c VERIFY",
"9e EMULATE"
],
"problemMatcher": []
},
{
"label": "9a DIVIDE",
"type": "shell",
"command": "source .make/closure_env.sh; make -f .make/divvied.make",
"args": [],
"group": "build",
"problemMatcher": []
},
{
"label": "9b AUTOGEN GEDL, RPCs, IDL, Codecs",
"type": "shell",
"command": "source .make/closure_env.sh && mkdir -p partitioned && cp -r $CLOSURE_PYTHON/gedl/heuristics/ ./partitioned && make -f .make/gedl.make gedl && make -f .make/gedl.make rautogen && make -f .make/gedl.make rpc",
"args": [],
"group": "build",
"problemMatcher": []
},
{
"label": "OLD-9c VERIFY",
"type": "shell",
"command": "source .make/closure_env.sh; make -f .make/verifier.make verify; make -f .make/verifier.make analyze; make -f .make/ect.make ect",
"args": [],
"group": "build",
"problemMatcher": []
},
{
"label": "9c VERIFY",
"type": "shell",
"command": "source .make/closure_env.sh; make -f .make/verifier.make analyze;",
"args": [],
"group": "build",
"problemMatcher": []
},
{
"label": "9d BUILD",
"type": "shell",
"command": "source .make/closure_env.sh && for e in ${ENCLAVES}; do make -C partitioned/${IPCMODE}/$e -f ../../../.make/${PROG}.make; done",
"args": [],
"group": "build",
"problemMatcher": []
},
{
"label": "9e EMULATE",
"type": "shell",
"command": "source .make/closure_env.sh; make -f .make/mbig.make pkg; cd /opt/closure/emu/; ./start.sh ${PROG}",
"args": [],
"group": "build",
"problemMatcher": []
},
{
"label": "4 BUILD PLAIN",
"type": "shell",
"command": "source .make/closure_env.sh; cd plain; make -f plain.make clean; make -f plain.make; ./${PROG}; make -f plain.make clean",
"args": [],
"group": "build",
"problemMatcher": []
}
]
}