# Time-stamp: <modified the 10/07/2019 (at 17:44) by Erwan Jahier>

sasa=$(DIR)/bin/sasa   -l 100

test: p.cmxs ring.lut lurette
	$(sasa) -l 200 ring.dot


cmxs: p.cmxs  p.cma
sim2chrogtk: ring.rif
	sim2chrogtk -ecran -in $< > /dev/null

gnuplot: ring.rif 
	gnuplot-rif $< 


lurette:cmxs ring_oracle.lus
	lurette  \
      -sut "sasa ring.dot -rif -lcd " \
		-oracle "lv6 ring_oracle.lus -n oracle "

test100:
	for i in $$(seq 100); do make lurette && make clean; done

rdbg: p.cma p.cmxs  ring.lut 
	rdbg -o ring.rif  \
      -env "$(sasa) g.dot -lcd" 


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



-include ../Makefile.inc