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 | |
| parent | 6563ec106879b76e1b1e6fdfabf33587cefa9dc0 (diff) | |
| download | sandy-ee2c133e195e0326fcb5cecba723a5c12bdbba27.tar.gz sandy-ee2c133e195e0326fcb5cecba723a5c12bdbba27.zip | |
build: enable debugging via 'ocamldebugger' and DAP
| -rw-r--r-- | bin/dune | 3 | ||||
| -rw-r--r-- | dune-project | 4 | ||||
| -rw-r--r-- | flake.nix | 1 |
3 files changed, 7 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)) | ||
diff --git a/dune-project b/dune-project index b7399d2..cc3ce88 100644 --- a/dune-project +++ b/dune-project | |||
| @@ -4,6 +4,10 @@ | |||
| 4 | 4 | ||
| 5 | (generate_opam_files true) | 5 | (generate_opam_files true) |
| 6 | 6 | ||
| 7 | ; Needed to generate correct debug information. | ||
| 8 | ; See https://dune.readthedocs.io/en/stable/dune-files.html#stanza-map_workspace_root | ||
| 9 | (map_workspace_root false) | ||
| 10 | |||
| 7 | (source | 11 | (source |
| 8 | (github username/reponame)) | 12 | (github username/reponame)) |
| 9 | 13 | ||
| @@ -14,6 +14,7 @@ | |||
| 14 | localPackagesQuery = builtins.mapAttrs (_: pkgs.lib.last) | 14 | localPackagesQuery = builtins.mapAttrs (_: pkgs.lib.last) |
| 15 | (on.listRepo (on.makeOpamRepo ./.)); | 15 | (on.listRepo (on.makeOpamRepo ./.)); |
| 16 | devPackagesQuery = { | 16 | devPackagesQuery = { |
| 17 | earlybird = "*"; | ||
| 17 | ocaml-lsp-server = "*"; | 18 | ocaml-lsp-server = "*"; |
| 18 | ocamlformat = "*"; | 19 | ocamlformat = "*"; |
| 19 | utop = "*"; | 20 | utop = "*"; |
