diff --git a/ocaml/trexio/Makefile b/ocaml/trexio/Makefile new file mode 100644 index 0000000..91d0b69 --- /dev/null +++ b/ocaml/trexio/Makefile @@ -0,0 +1,9 @@ +default: sources + dune build + +lib/trexio.ml: ../../trex.json read_json.py src/trexio.ml src/trexio.mli src/trexio_stubs.c + ./read_json.py + +sources: lib/trexio.ml + +.PHONY: sources default