PROPERTIES = Safety01 Safety02

all: good baad

good: MutexGood.oc

MutexGood.oc: $(PROPERTIES:=.strl)
	esterel -v3 -oc -show -B MutexGood MutexGood.strl ProcessA.strl ProcessB.strl $(PROPERTIES:=.strl)
	octrace MutexGood.oc Safety01_VIOLATED
	octrace MutexGood.oc Safety02_VIOLATED

baad: MutexBaad.oc

MutexBaad.oc: $(PROPERTIES:=.strl)
	esterel -v3 -oc -show -B MutexBaad MutexBaad.strl ProcessA-bad.strl ProcessB.strl $(PROPERTIES:=.strl)
	octrace MutexBaad.oc Safety01_VIOLATED
	octrace MutexBaad.oc Safety02_VIOLATED


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

clean:
	rm -f MutexGood.oc MutexBaad.oc $(PROPERTIES:=.strl)
