Makefile

test: ltop clean remote-runtest lus2lic.time lus2lic.diff 
xxx: lus2lic.time lus2lic.diff 

TEST_MACHINE=grivola
# This fixes sporadic memory errors I get when running tests
OCAMLRUNPARAM=s=1M,i=32M,o=150
# to perform the test on the local machine rather than on $(TEST_MACHINE)
ltest: runtest lus2lic.diff lus2lic.time

# ltop is necessary because it is used for the non-reg test and it depends on some src here...
# When I use rdbg -lurette, I can throw that ltop dep away
ltop:
	cd .. ; make ltop  

testdir=$(shell pwd)

# XXX remote test should be done using --target_board, but i've failed to make it working ...
remote-runtest: 
#	runtest --all --tool lus2lic --target_board=$(testdir)/board_$(TEST_MACHINE).exp  || true
	ssh $(TEST_MACHINE) "cd  $(testdir) ; export OCAMLRUNPARAM=o=200 ; runtest --all --tool lus2lic"  || true
	cd $(testdir)

runtest: 
	runtest --all --tool lus2lic  || true


.PHONY:lus2lic.diff lus2lic.time
lus2lic.diff:
	cat lus2lic.log | grep  -v "Process " | grep -v "Killing process " | \
		grep -v "simec_trap " | grep -v " Version "  > lus2lic2.log
	mv lus2lic2.log lus2lic.log
	diff -U 1 -I "Test Run By" -I "testcase \./lus2lic" -I "runtest completed at" \
	 -I "This is Lurette Version "  \
	lus2lic.log.ref lus2lic.log  > lus2lic.diff || \
	(cat lus2lic.diff; echo "make utest if it is fine"; exit 1)

time:lus2lic.time
lus2lic.time:
	grep "testcase \./lus2lic" lus2lic.log > lus2lic.time
	cat lus2lic.time >> lus2lic.sum
	cat lus2lic.time
.PHONY:lus2lic.time

utest:
	cp lus2lic.log lus2lic.log.ref

nonreg:
	ssh $(TEST_MACHINE) "cd  $(testdir) ; runtest --all --tool lus2lic  --ignore progression.exp" || true

prog:
	ssh $(TEST_MACHINE) "cd  $(testdir) ; runtest --all 	--tool lus2lic --ignore non-reg.exp" || true

clean:
	rm -f *.ec *.lus *.lut *.cov *.gp *.rif *.out *.cov