summaryrefslogtreecommitdiff
path: root/src/trace_viewer/tsconfig.json
diff options
context:
space:
mode:
authorAlasdair Armstrong2017-10-31 17:32:33 +0000
committerAlasdair Armstrong2017-10-31 17:32:33 +0000
commite8de662b4d8d5e4bcc7368277d8607f9a8bc3405 (patch)
treef28380e9ef17f317da223fa535d52078edb49655 /src/trace_viewer/tsconfig.json
parenta82fcc52ee1145f61698ea7e71141ebd76ff04d2 (diff)
Added trace viewer application for traces produced by sail -ocaml_trace
See README file for how to set up and use
Diffstat (limited to 'src/trace_viewer/tsconfig.json')
-rw-r--r--src/trace_viewer/tsconfig.json18
1 files changed, 18 insertions, 0 deletions
diff --git a/src/trace_viewer/tsconfig.json b/src/trace_viewer/tsconfig.json
new file mode 100644
index 00000000..e66156b3
--- /dev/null
+++ b/src/trace_viewer/tsconfig.json
@@ -0,0 +1,18 @@
+{
+ "compileOnSave": true,
+ "compilerOptions": {
+ "target": "es5",
+ "moduleResolution": "node",
+ "pretty": true,
+ "newLine": "LF",
+ "allowSyntheticDefaultImports": true,
+ "strict": true,
+ "noUnusedLocals": true,
+ "noUnusedParameters": true,
+ "sourceMap": true,
+ "strictNullChecks": true,
+ "skipLibCheck": true,
+ "allowJs": true,
+ "jsx": "preserve"
+ }
+} \ No newline at end of file