Adding JMCR-Stable version

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

diff --git a/JMCR-Stable/real-world application/jigsaw/bin/org/w3c/jigadm/Makefile b/JMCR-Stable/real-world application/jigsaw/bin/org/w3c/jigadm/Makefile
new file mode 100644 (file)
index 0000000..e69413e
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/bin/org/w3c/jigadm/Makefile
@@ -0,0 +1,20 @@
+PACKAGE="org.w3c.jigadm"
+
+
+JIGSAWFILES = \
+       Main.java \
+       RemoteResourceWrapper.java \
+       PropertyManager.java
+
+JIGSAWPACKAGES = \
+       events \
+        editors \
+       gui
+
+PACKAGES = $(JIGSAWPACKAGES)
+FILES = $(JIGSAWFILES)
+
+TOP=../../../..
+include $(TOP)/makefiles/file.make
+include $(TOP)/makefiles/package.make
+