all: blif genc obj es

blif: pump.strl
	esterel -Lblif:-soft -causal  -main complex pump.strl -B complex
	
genc:
	esterel -simul -main complex pump.strl

obj:
	gcc -w -c pump.c

es:
	xes pump.o