diff options
| author | Daniil Baturin <daniil@vyos.io> | 2024-02-09 09:38:35 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-09 09:38:35 +0000 |
| commit | ee09423fe66af387317122d0b60368025b5f881f (patch) | |
| tree | 308687906f8a0df639e15ca80308322222ffe5bd /src | |
| parent | 731fa6a931126f963475c962dbc5cedd062a9f5d (diff) | |
| parent | acec28c250895c849228e3a138706c15ef7394a9 (diff) | |
| download | vyos-utils-ee09423fe66af387317122d0b60368025b5f881f.tar.gz vyos-utils-ee09423fe66af387317122d0b60368025b5f881f.zip | |
Merge pull request #19 from jestabro/build-with-dune
T5882: use Dune as build system
Diffstat (limited to 'src')
| -rw-r--r-- | src/dune | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/src/dune b/src/dune new file mode 100644 index 0000000..8da0094 --- /dev/null +++ b/src/dune @@ -0,0 +1,34 @@ +(include_subdirs unqualified) + +(executable + (name numeric) + (public_name numeric) + (modules numeric) + (libraries pcre)) + +(executable + (name url) + (public_name url) + (modules url) + (libraries pcre)) + +(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 pcre unix containers)) + +(executable + (name list_interfaces) + (public_name list_interfaces) + (modules func list_interfaces) + (libraries pcre) + (foreign_stubs + (language c) + (names iface))) |