Makefile 687 B
# Time-stamp: <modified the 06/10/2021 (at 16:58) by Erwan Jahier>
test: grid4.gm_test er30.gm_test udg100.gm_test ba100.gm_test
utest:
make grid4.ugm_test || echo "grid4 ok"
make er30.ugm_test || echo "er30"
make udg100.ugm_test || echo "udg100 ok"
make ba100.ugm_test || echo "ba100 ok"
DECO_PATTERN="0:root.ml 1-:p.ml"
-include ../Makefile.dot
rdbg: er100.rdbg
%.lurette: %.dot %.cmxs %_oracle.lus rsp_tree_oracle.lus
lurette -sut "sasa $< -dd" -oracle "lv6 -2c-exec $*_oracle.lus -n oracle"
%.lurette2: %.dot %.cmxs %_oracle.lus rsp_tree_oracle.lus
lurette -sut "sasa $< -dd" -oracle "lv6 $*_oracle.lus -n oracle"
clean: genclean cleandot
-include ../Makefile.inc