===================================================================
RCS file: /home/cvs/OpenXM/src/OpenMath/Makefile,v
retrieving revision 1.20
retrieving revision 1.27
diff -u -p -r1.20 -r1.27
--- OpenXM/src/OpenMath/Makefile	2000/02/07 08:26:39	1.20
+++ OpenXM/src/OpenMath/Makefile	2000/03/14 14:12:33	1.27
@@ -1,5 +1,5 @@
 #
-# $OpenXM: OpenXM/src/OpenMath/Makefile,v 1.19 2000/01/21 14:50:04 tam Exp $
+# $OpenXM: OpenXM/src/OpenMath/Makefile,v 1.26 2000/03/14 04:44:16 tam Exp $
 
 OpenXM_HOME = ../..
 INSTALLDIR = $(OpenXM_HOME)/lib/java-support
@@ -21,7 +21,6 @@ PKGSRCS =	JP/ac/kobe_u/math/tam/OpenXM/CMO.java \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_DISTRIBUTED_POLYNOMIAL.java \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_DMS.java \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_DMS_GENERIC.java \
-	JP/ac/kobe_u/math/tam/OpenXM/CMO_ERROR.java \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_ERROR2.java \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_INDETERMINATE.java \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_INT32.java \
@@ -48,7 +47,6 @@ PKGTARGETS =	JP/ac/kobe_u/math/tam/OpenXM/CMO.class \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_DISTRIBUTED_POLYNOMIAL.class \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_DMS.class \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_DMS_GENERIC.class \
-	JP/ac/kobe_u/math/tam/OpenXM/CMO_ERROR.class \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_ERROR2.class \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_INDETERMINATE.class \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_INT32.class \
@@ -67,9 +65,12 @@ PKGTARGETS =	JP/ac/kobe_u/math/tam/OpenXM/CMO.class \
 	JP/ac/kobe_u/math/tam/OpenXM/DebugInputStream.class \
 	JP/ac/kobe_u/math/tam/OpenXM/MathcapViolation.class \
 	JP/ac/kobe_u/math/tam/OpenXM/OpenXM.class \
+	JP/ac/kobe_u/math/tam/OpenXM/OXbody.class \
 	JP/ac/kobe_u/math/tam/OpenXM/OpenXMconnection.class \
 	JP/ac/kobe_u/math/tam/OpenXM/SM.class
+#JP/ac/kobe_u/math/tam/OpenXM/OXmessage.class \
 
+
 TARGETS = OM2OXM.class OMproxy.class
 
 
@@ -112,6 +113,6 @@ test:
 
 
 OpenXM.jar:	$(PKGSRCS)
-	$(JAVAC) -d . -O $?
-	@#touch $@
+	-$(JAVAC) -d . -O $?
+	-@#touch $@
 	-@#$(JAR) cf $@ $(PKGTARGETS)