X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=examples%2FMakefile;fp=examples%2FMakefile;h=f5c92f97d061cd75f4a592b8abb6abb2bc79ea08;hb=7f00420c23e31db8b519ea7d665e5a74f3d9d980;hp=0000000000000000000000000000000000000000;hpb=6aa3fc767d9fcc225276d3fdbf660c0a2353ba5a;p=snark14.git

diff --git a/examples/Makefile b/examples/Makefile
new file mode 100644
index 0000000..f5c92f9
--- /dev/null
+++ b/examples/Makefile
@@ -0,0 +1,16 @@
+.PHONY: all run_all regression
+
+all:
+	@echo "Use run_all or regression"
+
+run_all:
+	./run_all
+
+regression:
+	./regression
+
+clean:
+	@rm -f */b[0-9].out */b1[0-9].out */file11 */prjfil */recfil */eval */src/.o b1/punch b10/eval \
+	b11/RPRTsuperiorization b11/RPRTklds */MAPUser1 b9/src/*.o b9/snark_e.in b9/snark_e.out \
+	b9/testem.1 b9/fomfil.1 */snark.lock */bin/*
+