diff options
| author | Viacheslav Hletenko <v.gletenko@vyos.io> | 2026-04-21 18:01:27 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-04-21 18:01:27 +0300 |
| commit | 5297e6827bf70b581ade41824fa1f347f4beee9d (patch) | |
| tree | d0c424ba5f5ccd55dfc860a8018825202f4a8e2e /src/ocaml/dune | |
| parent | 9c8029128d2672f8dd388b31ac831d0497ce8595 (diff) | |
| parent | 42a3eb4751e11991a47aa1036bf60597f3937fd3 (diff) | |
| download | vyos-1x-5297e6827bf70b581ade41824fa1f347f4beee9d.tar.gz vyos-1x-5297e6827bf70b581ade41824fa1f347f4beee9d.zip | |
Merge pull request #5136 from c-po/vyos-utils-merge
T8532: merge unrelated histories of vyos-utils and vyos-1x repo
Diffstat (limited to 'src/ocaml/dune')
| -rw-r--r-- | src/ocaml/dune | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/src/ocaml/dune b/src/ocaml/dune new file mode 100644 index 000000000..6dc9c8e7e --- /dev/null +++ b/src/ocaml/dune @@ -0,0 +1,47 @@ +(include_subdirs unqualified) + +(executable + (name numeric) + (public_name numeric) + (modules numeric) + (libraries pcre2)) + +(executable + (name url) + (public_name url) + (modules url) + (libraries pcre2)) + +(executable + (name file_path) + (public_name file-path) + (modules file_path) + (libraries fileutils)) + +(executable + (name validate_value) + (public_name validate-value) + (modules validate_value) + (libraries pcre2 unix containers)) + +(executable + (name list_interfaces) + (public_name list_interfaces) + (modules func list_interfaces) + (libraries pcre2) + (foreign_stubs + (language c) + (names iface))) + +(executable + (name vyos_op_run) + (public_name vyos-op-run) + (modules vyos_op_run) + (libraries + logs + logs.fmt + fmt.tty + yojson + mustache + pcre2 + unix)) |
