diff options
| author | Federico Igne <undyamon@disroot.org> | 2024-01-22 23:40:16 +0100 |
|---|---|---|
| committer | Federico Igne <undyamon@disroot.org> | 2024-01-22 23:40:16 +0100 |
| commit | ee2c133e195e0326fcb5cecba723a5c12bdbba27 (patch) | |
| tree | 03eda217d6243defe63985f23cc792a5440eb39e /bin | |
| parent | 6563ec106879b76e1b1e6fdfabf33587cefa9dc0 (diff) | |
| download | sandy-ee2c133e195e0326fcb5cecba723a5c12bdbba27.tar.gz sandy-ee2c133e195e0326fcb5cecba723a5c12bdbba27.zip | |
build: enable debugging via 'ocamldebugger' and DAP
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/dune | 3 |
1 files changed, 2 insertions, 1 deletions
| @@ -1,4 +1,5 @@ | |||
| 1 | (executable | 1 | (executable |
| 2 | (public_name sand) | 2 | (public_name sand) |
| 3 | (name main) | 3 | (name main) |
| 4 | (libraries sand)) | 4 | (libraries sand) |
| 5 | (modes exe byte)) | ||