TREX/trexio
1
0
Fork 0
mirror of https://github.com/TREX-CoE/trexio.git synced 2024-08-24 22:21:43 +02:00
Code Issues Projects Releases Wiki Activity

Forgot Makefile in previous commit

Browse Source
This commit is contained in:
Anthony Scemama 2022-07-01 15:16:21 +02:00
parent 6494ddbc22
commit 94f2adf1f2
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
ocaml/trexio/Makefile Normal file
View File

@ -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