Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

30 lines (22 sloc) 0.714 kB
OCPINDENT = export OCAMLRUNPARAM=b && ../_build/src/main.native
FULL = $(shell ls *.ml)
PARTIAL = $(shell ls *.mlp)
TARGETS = $(FULL:%=%.indent) $(PARTIAL:%=%.indent)
all: $(TARGETS)
@
%.ml.inspect: %.ml
$(OCPINDENT) $*.ml > $*.1.ml
$(OCPINDENT) --debug $*.ml > $*.2.ml
emacs $*.1.ml $*.2.ml
%.ml.indent: %.ml
@$(OCPINDENT) $*.ml > $*.1.ml
@(diff $*.ml $*.1.ml > $*.diff \
&& echo "OK $*.ml" && rm $*.diff && rm $*.1.ml) \
|| echo "ERROR $*.ml"
%.mlp.indent: %.mlp
@$(OCPINDENT) --lines 10-12 $*.mlp > $*.1.mlp
@(diff $*.mlp $*.1.mlp > $*.diff \
&& echo "OK $*.mlp" && rm $*.diff && rm $*.1.mlp) \
|| echo "ERROR $*.mlp"
clean:
rm -f *.diff *.1.ml *.2.ml *.1.mlp *.2.mlp
Jump to Line
Something went wrong with that request. Please try again.