Adding JMCR-Stable version

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

diff --git a/JMCR-Stable/real-world application/jigsaw/bin/org/w3c/jigsaw/Makefile b/JMCR-Stable/real-world application/jigsaw/bin/org/w3c/jigsaw/Makefile
new file mode 100644 (file)
index 0000000..7792420
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/bin/org/w3c/jigsaw/Makefile
@@ -0,0 +1,40 @@
+PACKAGE="org.w3c.jigsaw"
+
+JIGSAWFILES = \
+       Main.java
+
+JIGSAWPACKAGES = \
+       acl \
+       auth \
+       admin \
+       ccpp \
+       config \
+       daemon \
+       filters \
+       frames \
+       forms \
+       html \
+       http \
+       https \
+       indexer \
+       pagecompile \
+       pics \
+       proxy \
+       resources \
+       servlet \
+       ssi \
+       status \
+       tests \
+       tutorials \
+       webdav \
+       webdavs \
+       zip
+
+# removed: map
+
+PACKAGES = $(JIGSAWPACKAGES)
+FILES = $(JIGSAWFILES)
+
+TOP=../../../..
+include $(TOP)/makefiles/package.make
+include $(TOP)/makefiles/file.make