Adding JMCR-Stable version

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

diff --git a/JMCR-Stable/real-world application/jigsaw/bin/org/w3c/tools/resources/store/Makefile b/JMCR-Stable/real-world application/jigsaw/bin/org/w3c/tools/resources/store/Makefile
new file mode 100644 (file)
index 0000000..d7b3c93
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/bin/org/w3c/tools/resources/store/Makefile
@@ -0,0 +1,17 @@
+PACKAGE = "org.w3c.tools.resources.store"
+
+JIGSAWFILES = \
+       InvalidStoreClassException.java \
+       UnknownResourceException.java \
+       NewStoreEntry.java \
+       NotAStoreException.java \
+       ResourceStore.java \
+       ResourceStoreImpl.java \
+       ResourceStoreManager.java \
+       ResourceStoreState.java \
+       StoreClassVersionException.java
+
+FILES = $(JIGSAWFILES)
+
+TOP=../../../../../..
+include $(TOP)/makefiles/file.make