# Makefile for the 'thy' subdirectory of the Ergo theorem prover.

.SUFFIXES: .thy .erg ,v

QC = /homes/qp/newlocal/bin/qc

# A rule for extracting RCS files.
% :: %,v
	co $< $@

THEORIES = ergo.thy r.thy r_plus.thy arith.thy fol.thy fun.thy
thy: $(THEORIES)

install: $(THEORIES)
	-rm -rf /homes/itp/Ergo/thy/*.thy
	cp $(THEORIES) /homes/itp/Ergo/thy
	chmod 444 /homes/itp/Ergo/thy/*.thy
