all: blif genc obj es

blif: pump.strl
	esterel -Lblif:-soft -causal  -main simple2 pump.strl -B simple2

genc:
	esterel -simul -main simple2 pump.strl

obj:
	gcc -w -c pump.c

es:
	xes pump.o