Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / bin / org / w3c / tools / sexpr / Makefile

diff --git a/JMCR-Stable/real-world application/jigsaw/bin/org/w3c/tools/sexpr/Makefile b/JMCR-Stable/real-world application/jigsaw/bin/org/w3c/tools/sexpr/Makefile
new file mode 100644 (file)
index 0000000..367df7e
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/bin/org/w3c/tools/sexpr/Makefile
@@ -0,0 +1,19 @@
+PACKAGE = "org.w3c.tools.sexpr"
+
+JIGSAWFILES = \
+       Cons.java \
+       DoubleFix.java \
+       Readtable.java \
+       SExpr.java \
+       SExprParser.java \
+       SExprParserException.java \
+       SExprStream.java \
+       SimpleReadtable.java \
+       SimpleSExprStream.java \
+       Symbol.java
+
+FILES = $(JIGSAWFILES)
+
+TOP=../../../../..
+include $(TOP)/makefiles/file.make
+