Makefile

all: nc
lus2lic:
	cd src; make nc ; 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

clean_src:
	cd src ; make clean


test_nc: 
	cd src/test ; make test
test: clean_src lus2lic test_nc

test_ec:
	cd src/test ; make test_ec
test_lic:
	cd src/test ; make test_lic
test_lv4:
	cd src/test ; make test_lv4

utest:
	cd src/test ; make utest
utest_lic:
	cd src/test ; make utest_lic
utest_ec:
	cd src/test ; make utest_ec
utest_lv4:
	cd src/test ; make utest_lv4


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