# HG changeset patch
# User lcp
# Date 797851638 -7200
# Node ID 6ad22ffb188bf989cf8d7668443fb0b39f641ae4
# Parent  b0ff6010602a8c1c55f69b46cbb31613dc3d2bc4
Now builds Resid as a test

diff -r b0ff6010602a -r 6ad22ffb188b src/ZF/Makefile
--- a/src/ZF/Makefile	Fri Apr 14 11:26:22 1995 +0200
+++ b/src/ZF/Makefile	Fri Apr 14 11:27:18 1995 +0200
@@ -78,6 +78,17 @@
 AC:  $(BIN)/ZF  $(AC_FILES)
 	echo 'exit_use"AC/ROOT.ML";quit();' | $(LOGIC)
 
+##Residuals example
+
+RESID_NAMES = Confluence Redex SubUnion Conversion Reduction Substitution \
+              Cube Residuals Terms
+
+RESID_FILES = Resid/ROOT.ML $(RESID_NAMES:%=Resid/%.thy) \
+                            $(RESID_NAMES:%=Resid/%.ML)
+
+Resid:  $(BIN)/ZF  $(RESID_FILES)
+	echo 'exit_use"Resid/ROOT.ML";quit();' | $(LOGIC)
+
 ##Miscellaneous examples
 EX_NAMES = Ramsey Integ twos_compl Bin BT Term TF Ntree Brouwer Data Enum \
 	   Rmap PropLog ListN Acc Comb Primrec LList CoUnit 
@@ -89,7 +100,7 @@
 	echo 'exit_use"ex/ROOT.ML";quit();' | $(LOGIC)
 
 #Full test.
-test:   $(BIN)/ZF IMP Coind AC ex
+test:   $(BIN)/ZF IMP Coind AC Resid ex
 	echo 'Test examples ran successfully' > test
 
 .PRECIOUS:  $(BIN)/FOL $(BIN)/ZF