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/Makefile | |
| 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/Makefile')
| -rw-r--r-- | src/ocaml/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ocaml/Makefile b/src/ocaml/Makefile new file mode 100644 index 000000000..a1e42c914 --- /dev/null +++ b/src/ocaml/Makefile @@ -0,0 +1,7 @@ +all: + eval $$(opam env --root=/opt/opam --set-root); dune build + +clean: + eval $$(opam env --root=/opt/opam --set-root); dune clean + +.PHONY: all clean |