# ieee Makefile

CONTEXT = types
FILES = types_import.pvs fpu_types.pvs md_types.pvs op.pvs rd_types.pvs add_types.pvs fpmisc_types.pvs

all: $(CONTEXT).pvs prove.el

$(CONTEXT).pvs: $(FILES)
	../theories.pl $(CONTEXT) $(FILES) > $@

prove.el: $(FILES)
	../prove.pl $(FILES) > $@