Makefile

test: remote-runtest lus2lic.diff lus2lic.time

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

xxxxx:
	ssh $(TEST_MACHINE) "cd  $(testdir) ; export OCAMLRUNPARAM=i=32M,o=150 ;../utils/test_lus2lic_no_node should_work/nc6.lus "        

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:
	diff -U 1 -I "Test Run By" -I "testcase \./lus2lic" -I "runtest completed at" \
	  lus2lic.log.ref lus2lic.log > lus2lic.diff || \
	(ls -l lus2lic.diff; 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