mirror of
https://github.com/TREX-CoE/trexio.git
synced 2025-04-23 00:50:12 +02:00
17 lines
332 B
Makefile
17 lines
332 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
|
|
|
|
lib/trexio.h:
|
|
cp ../../include/trexio.h lib/
|
|
|
|
sources: lib/trexio.ml lib/trexio.h
|
|
|
|
clean:
|
|
rm lib/trexio.h lib/trexio.ml lib/trexio.mli lib/trexio_stubs.c
|
|
dune clean
|
|
|
|
.PHONY: sources default
|