UNIT = prod_cons

ast:    
	java -jar $(SC2AST) -f  $(UNIT).cpp -o $(UNIT)

uppaal:
	java -jar $(SC2AST) -f  $(UNIT).cpp -o $(UNIT)
	java -jar $(STATE_HOME)/state.jar -i $(UNIT).ast.xml -o $(UNIT).uppaal.xml 

