Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / www / protocol / http / cache / push / Makefile

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/www/protocol/http/cache/push/Makefile b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/www/protocol/http/cache/push/Makefile
new file mode 100644 (file)
index 0000000..4fc0aa0
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/www/protocol/http/cache/push/Makefile
@@ -0,0 +1,18 @@
+PACKAGE = "org.w3c.www.protocol.http.cache.push"
+
+JIGSAWFILES = \
+PushCacheProtocol.java \
+PushCacheFilter.java \
+PushCacheHandler.java\
+PushCacheListener.java\
+PushCacheManager.java\
+PushCacheStore.java\
+PushEntityCachedResource.java\
+PushReply.java\
+SimplePushCacheValidator.java  \
+Client.java
+
+FILES = $(JIGSAWFILES)
+
+TOP=../../../../../../../..
+include $(TOP)/makefiles/file.make