# Time-stamp: <modified the 23/01/2023 (at 17:35) by Erwan Jahier>

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

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

test: test0 test2 lurette0 test_rdbg
	$(sasa) -rif -l 200 fig51_noinit.dot -sd -seed 42 > fig51_noinit.rif && \
	diff -I "# on" -I " version " -B -u -i -w fig51_noinit.rif.exp fig51_noinit.rif > test.res
	[ ! -s test.res ] && make clean

utest: fig51_noinit.cmxs
	$(sasa) -rif -l 200 fig51_noinit.dot -sd -seed 42 > fig51_noinit.rif && \
	cp fig51_noinit.rif fig51_noinit.rif.exp ; true

test0: fig51_noinit.cmxs
test2: fig51.cmxs
	$(sasa) -l 200 fig51.dot -sd

lurette0: fig51_noinit.cmxs fig51_noinit.lut
	lurette --sasa -o lurette.rif  \
          -env "sasa fig51_noinit.dot -dd -rif -seed 42" \
          -oracle "lv6 fig51_noinit_oracle.lus -n oracle"

test_rdbg: fig51_noinit.cma fig51_noinit.lut
	rdbg --sasa -sut "sasa fig51_noinit.dot "  -go --input some_session

clean: genclean
	rm -f fig*oracle.lus fig5*.ml

##############################################################################
# Other examples of use

lutin: fig51_noinit.cmxs
	$(sasa) -gld fig51_noinit.dot


sim2chrogtk: fig51_noinit.rif
	sim2chrogtk -ecran -in $< > /dev/null

gnuplot: fig51_noinit.rif
	gnuplot-rif $<

gnuplot2: fig52.rif
	gnuplot-rif $<

rdbg-lurette1:rdbg-lurette1.rif
rdbg-lurette1.rif: fig51.cmxs fig51.lut fig51_oracle.lus
	rdbg -lurette --sasa -o rdbg-lurette1.rif  \
                -env "$(sasa) fig51.dot -dd -rif" \
		-oracle "lv6 fig51_oracle.lus -n oracle"

lurette1:lurette1.rif
lurette1.rif: fig51.cmxs fig51.lut fig51_oracle.lus
	lurette --sasa -o lurette1.rif  \
                -env "$(sasa) fig51.dot -dd -rif" \
		-oracle "lv6 fig51_oracle.lus -n oracle"

lurette: lurette0
	sim2chrogtk -ecran -in lurette.rif > /dev/null
	gnuplot-rif lurette.rif

rdbgui: fig51_noinit.cma fig51_noinit.lut fig51_noinit_oracle.lus
	rdbgui4sasa -sut "sasa -seed 42 fig51_noinit.dot -dd " \
		-oracle-nd "lv6 fig51_noinit_oracle.lus -n oracle"

rdbg2: fig51.cma fig51.lut
	rdbg --sasa -o lurette.rif  \
      -env "$(sasa) fig51.dot -custd -rif" \
      -sut-nd "lutin fig51.lut -n distributed"


manual: fig51_noinit.cmxs fig51_noinit.lut
	lurette --sasa -o lurette.rif --sim2chro \
      -sut "$(sasa) fig51_noinit.dot -custd -rif -ifi" \
      -env "lutin fig51_noinit.lut -n manual" &&\
	gnuplot-rif lurette.rif