Skip to content

Commit

Permalink
Link wiki page about ocamldebug in build-system.md
Browse files Browse the repository at this point in the history
  • Loading branch information
SkySkimmer committed Dec 17, 2024
1 parent 8e6284f commit f058840
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions dev/doc/build-system.dune.md
Original file line number Diff line number Diff line change
Expand Up @@ -214,6 +214,8 @@ dune exec -- dev/dune-dbg checker foo.vo
(ocd) source db
```

More info in the [wiki](https://github.com/coq/coq/wiki/OCamldebug).

Unfortunately, dependency handling is not fully refined / automated,
you may find the occasional hiccup due to libraries being renamed,
etc... Please report any issue.
Expand Down

0 comments on commit f058840

Please sign in to comment.