# basics Makefile

CONTEXT = rounder
FILES = rd_input.pvs ns_flags.pvs ns_expnorm.pvs ns_mask.pvs ns_shiftdist.pvs \
	ns_shift.pvs ns.pvs repp.pvs sigrd_impl.pvs postnorm.pvs adjustexp.pvs pack.pvs exprd.pvs rd_stg.pvs rd_import.pvs

all: $(CONTEXT).pvs prove.el

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

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