
PROPERTIES = Safety00 Safety01 Safety02

all: good baad

good: $(PROPERTIES:=.strl)
	esterel -v3 -oc -show -B OvenGood OvenGood.strl $(PROPERTIES:=.strl)
	octrace OvenGood.oc Safety00_VIOLATED
	octrace OvenGood.oc Safety01_VIOLATED
	octrace OvenGood.oc Safety02_VIOLATED

baad: $(PROPERTIES:=.strl)
	esterel -v3 -oc -show -B OvenBaad OvenBaad.strl $(PROPERTIES:=.strl)
	octrace OvenBaad.oc Safety00_VIOLATED
	octrace OvenBaad.oc Safety01_VIOLATED
	octrace OvenBaad.oc Safety02_VIOLATED

$(PROPERTIES:=.strl): $$(@:strl=tl)
	tl2strl $(@:.strl=.tl)

clean:
	rm -f OvenGood.oc OvenBaad.oc $(PROPERTIES:=.strl)

