#
EOPTS = simul
LIB = /usr/local/esterelv5_21/lib
#MAIN = main1
MAIN = phil.strl

#
all: phil.blif phil.o

phil.blif: $(MAIN) 
	esterel -Lblif:-soft -causal -main DP $(MAIN) -B phil

phil.o: phil.c
	cc -c phil.c

phil.c: $(MAIN)
	esterel -simul -causal -main DP $(MAIN) -B phil

clean:
	rm -rf phil.blif phil.o phil.c