Add debugger launch definition for VS Code

Signed-off-by: Andrew Helwer <[email protected]>
tlaplus · Jul 27, 2024 · 6f39ea4 · 6f39ea4
1 parent 2233540
commit 6f39ea4
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -0,0 +1,15 @@
+{
+    "version": "0.2.0",
+    "configurations": [
+        {
+            "name": "TLAPM Debug",
+            "type": "ocaml.earlybird",
+            "request": "launch",
+            "program": "${workspaceFolder}/src/tlapm.bc",
+            "stopOnEntry": true,
+            "env": {
+                "CAML_LD_LIBRARY_PATH": "${workspaceFolder}/_build/default/src:${env:CAML_LD_LIBRARY_PATH}"
+            }
+        }
+    ]
+}