Makefile

# Time-stamp: <modified the 03/07/2023 (at 16:22) by Erwan Jahier>

DECO_PATTERN="0-:p.ml"
-include ./Makefile.dot
-include ./Makefile.inc

##############################################################################
# Non-regression tests

test:  chain10.gm_test chain10.rdbg-test demo50 clean

# update golden-master tests (if necessary)
utest:
	make chain10.ugm_test || echo "chain10 ok"

# usage: make demo50
demo%:
	make chain$*.dot
	sasa chain$*.dot --synchronous-daemon --length $(shell echo $$(( $* / 2 ))) \
	   | grep outs | cut -d ' ' -f 2-$* \
	   | sed -e "s/ //g" | sed -e "s/f/ /g" | sed -e "s/t/▲/g"


clean: genclean
	rm -f chain*