mirror of
https://github.com/TREX-CoE/trexio.git
synced 2025-04-29 20:04:47 +02:00
10 lines
187 B
Makefile
10 lines
187 B
Makefile
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
|