Skip to content

Commit c097e43

Browse files
committed
Work on MLI gen
1 parent a021412 commit c097e43

File tree

2 files changed

+10
-0
lines changed

2 files changed

+10
-0
lines changed

Makefile

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,15 @@
11
.PHONY: build test clean coverage coverage-html
22

3+
mli:
4+
@if [ -z "$(FILE)" ]; then \
5+
echo "Usage: make mli FILE=<path/to/your_file.ml>"; \
6+
exit 1; \
7+
fi
8+
echo "Generating mli for $(FILE)" \
9+
OUTFILE=$${FILE%.ml}.mli; \
10+
dune exec -- ocaml-print-intf $(FILE) > $(OUTFILE)
11+
12+
313
build:
414
dune build
515

bin/bisect.log

Whitespace-only changes.

0 commit comments

Comments
 (0)