Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / www / webdav / xml / Makefile

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/www/webdav/xml/Makefile b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/www/webdav/xml/Makefile
new file mode 100644 (file)
index 0000000..819fac1
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/www/webdav/xml/Makefile
@@ -0,0 +1,26 @@
+PACKAGE = "org.w3c.www.webdav.xml"
+
+JIGSAWFILES = \
+       DAVBody.java \
+       DAVActiveLock.java \
+       DAVFactory.java \
+       DAVLink.java \
+       DAVLockEntry.java \
+       DAVLockInfo.java \
+       DAVLockScope.java \
+       DAVLockType.java \
+       DAVMultiStatus.java \
+       DAVNode.java \
+       DAVPropAction.java \
+       DAVPropFind.java \
+       DAVPropStat.java \
+       DAVProperties.java \
+       DAVPropertyBehavior.java \
+       DAVPropertyUpdate.java \
+       DAVResponse.java \
+       NoSuchPropertyException.java
+
+FILES = $(JIGSAWFILES)
+
+TOP=../../../../../..
+include $(TOP)/makefiles/file.make