# basics Makefile

CONTEXT = basics
FILES = abs.pvs adder_add.pvs adder_adder.pvs adder_au.pvs adder_basic.pvs adder_cc.pvs adder_compound.pvs adder_condsum.pvs adder_csa.pvs adder_faha.pvs adder_inc.pvs adder_lem.pvs adder_sub.pvs adder_top.pvs decoder.pvs enc.pvs lzero.pvs misc.pvs mult_lin.pvs multiplier.pvs pp.pvs shifter.pvs zero.pvs mult_karatsuba.pvs mux_tree.pvs basics_import.pvs neg.pvs



all: $(CONTEXT).pvs prove.el

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

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