DOTF=hazard5.f
TOP=hazard5_alu

include $(SCRIPTS)/formal.mk