Skip to content

Commit

Permalink
Merge pull request #1251 from FungOliver/Fix-debugger
Browse files Browse the repository at this point in the history
Update for Earlybird usage
  • Loading branch information
sim642 authored Nov 20, 2023
2 parents 1be498c + 5784ffe commit 1e0a9de
Show file tree
Hide file tree
Showing 5 changed files with 16 additions and 13 deletions.
5 changes: 3 additions & 2 deletions docs/developer-guide/debugging.md
Original file line number Diff line number Diff line change
Expand Up @@ -85,7 +85,7 @@ The configuration file has to be named `launch.json` and must reside in the `./.
"configurations": [
{
"name": "Goblint",
"type": "ocamlearlybird",
"type": "ocaml.earlybird",
"request": "launch",
"program": "${workspaceFolder}/goblint.byte",
"arguments": [
Expand All @@ -97,7 +97,8 @@ The configuration file has to be named `launch.json` and must reside in the `./.
]
}
```
Note that the individual arguments to Goblint should be passed here as separate strings that do not contain spaces.
Note that the individual arguments to Goblint should be passed here as separate strings that do not contain spaces. Finally, to enable breakpoints uncomment `(map_workspace_root false)` in the dune-project file.


### Running Goblint in the VS Code Debugger

Expand Down
4 changes: 3 additions & 1 deletion dune-project
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
(lang dune 3.6)
(lang dune 3.7)
(using dune_site 0.1)
(cram enable)
(name goblint)
Expand Down Expand Up @@ -64,3 +64,5 @@
(share lib)
(share conf))
)

; (map_workspace_root false) ;uncomment to enable breakpoints
2 changes: 1 addition & 1 deletion goblint.opam
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ homepage: "https://goblint.in.tum.de"
doc: "https://goblint.readthedocs.io/en/latest/"
bug-reports: "https://github.com/goblint/analyzer/issues"
depends: [
"dune" {>= "3.6"}
"dune" {>= "3.7"}
"ocaml" {>= "4.10"}
"goblint-cil" {>= "2.0.2"}
"batteries" {>= "3.5.0"}
Expand Down
16 changes: 8 additions & 8 deletions goblint.opam.locked
Original file line number Diff line number Diff line change
Expand Up @@ -50,12 +50,12 @@ depends: [
"cpu" {= "2.0.0"}
"csexp" {= "1.5.1"}
"ctypes" {= "0.20.1"}
"dune" {= "3.6.1"}
"dune-build-info" {= "3.6.1"}
"dune-configurator" {= "3.6.1"}
"dune-private-libs" {= "3.6.1"}
"dune-site" {= "3.6.1"}
"dyn" {= "3.6.1"}
"dune" {= "3.7.1"}
"dune-build-info" {= "3.7.1"}
"dune-configurator" {= "3.7.1"}
"dune-private-libs" {= "3.7.1"}
"dune-site" {= "3.7.1"}
"dyn" {= "3.7.1"}
"fileutils" {= "0.6.4"}
"fmt" {= "0.9.0"}
"fpath" {= "0.7.3"}
Expand All @@ -76,7 +76,7 @@ depends: [
"ocamlfind" {= "1.9.5"}
"odoc" {= "2.2.0" & with-doc}
"odoc-parser" {= "2.0.0" & with-doc}
"ordering" {= "3.6.1"}
"ordering" {= "3.7.1"}
"ounit2" {= "2.2.6" & with-test}
"pp" {= "1.1.2"}
"ppx_derivers" {= "1.2.1"}
Expand All @@ -93,7 +93,7 @@ depends: [
"sexplib0" {= "v0.15.1"}
"sha" {= "1.15.2"}
"stdlib-shims" {= "0.3.0"}
"stdune" {= "3.6.1"}
"stdune" {= "3.7.1"}
"stringext" {= "1.6.0"}
"topkg" {= "1.0.6"}
"tyxml" {= "4.5.0" & with-doc}
Expand Down
2 changes: 1 addition & 1 deletion gobview

0 comments on commit 1e0a9de

Please sign in to comment.