diff options
| author | Gaëtan Gilbert | 2019-05-22 17:27:00 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-05-22 21:09:04 +0200 |
| commit | 56b5d6792962a857f116a2fd62022fe7ae37ae19 (patch) | |
| tree | 40b91522c8e6a5342e6b0e6e0c166438dc62e6ea /doc/plugin_tutorial/tuto1/src/simple_check.ml | |
| parent | 5c5bd952e9c28c3acf740fcdced03b2b7145076d (diff) | |
Better dune ocamldebug integration
- use coqc instead of coqtop (since -compile doesn't work anymore this
is better)
- pass through extra arguments to dune-dbg
- auto detect the need to pass -emacs to ocamldebug
- instructions for emacs users
The dune-dbg dependencies are still broken ;_;
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_check.ml')
0 files changed, 0 insertions, 0 deletions