all:
	cd src; make ; make test

.PHONY: diff test log

diff:
	rm -f diff_lv6.diff; git diff --ignore-all-space > diff_lv6.diff ; ls -l diff_lv6.diff

log:
	rm -f lv6.log; git log > lv6.log


test:
	cd src/test ; make test
utest:
	cd src/test ; make utest


ci:src/version.ml
	make test && git commit -F log && rm -f src/version.ml

cia:src/version.ml
	make test && git commit -a -F log && rm -f src/version.ml