all:
	cd src; make 

.PHONY: diff test log

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

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


test:
	cd src/test ; make test


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

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