===================================================================
RCS file: /home/cvs/OpenXM/src/OpenMath/Makefile,v
retrieving revision 1.15
retrieving revision 1.17
diff -u -p -r1.15 -r1.17
--- OpenXM/src/OpenMath/Makefile	2000/01/19 06:18:50	1.15
+++ OpenXM/src/OpenMath/Makefile	2000/01/19 12:59:28	1.17
@@ -1,5 +1,5 @@
 #
-# $OpenXM: OpenXM/src/OpenMath/Makefile,v 1.14 2000/01/18 07:59:19 tam Exp $
+# $OpenXM: OpenXM/src/OpenMath/Makefile,v 1.16 2000/01/19 09:35:06 tam Exp $
 
 OpenXM_HOME = ../..
 INSTALLDIR = $(OpenXM_HOME)/lib/java-support
@@ -37,6 +37,7 @@ PKGSRCS =	JP/ac/kobe_u/math/tam/OpenXM/CMO.java \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_TREE.java \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_ZERO.java \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_ZZ.java \
+	JP/ac/kobe_u/math/tam/OpenXM/DebugInputStream.java \
 	JP/ac/kobe_u/math/tam/OpenXM/OpenXM.java \
 	JP/ac/kobe_u/math/tam/OpenXM/OpenXMconnection.java \
 	JP/ac/kobe_u/math/tam/OpenXM/SM.java
@@ -62,11 +63,12 @@ PKGTARGETS =	JP/ac/kobe_u/math/tam/OpenXM/CMO.class \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_TREE.class \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_ZERO.class \
 	JP/ac/kobe_u/math/tam/OpenXM/CMO_ZZ.class \
+	JP/ac/kobe_u/math/tam/OpenXM/DebugInputStream.class \
 	JP/ac/kobe_u/math/tam/OpenXM/OpenXM.class \
 	JP/ac/kobe_u/math/tam/OpenXM/OpenXMconnection.class \
 	JP/ac/kobe_u/math/tam/OpenXM/SM.class
 
-TARGETS = OpenXM.jar OM2OXM.class OMproxy.class libnative.so
+TARGETS = OpenXM.jar OM2OXM.class OMproxy.class
 
 
 all:	configure $(TARGETS)
@@ -76,7 +78,7 @@ configure:
 
 
 clean:
-	-rm -f *.so *.h *.jar *.class $(PKGTARGETS)
+	-rm -f *.jar *.class $(PKGTARGETS)
 
 
 distclean:	clean
@@ -98,7 +100,6 @@ install2:
 
 test:
 	$(JAVAC) -d . -deprecation -g *.java
-	make libnative.so
 
 
 .SUFFIXES:	.java .class
@@ -112,12 +113,3 @@ OpenXM.jar:	$(PKGSRCS)
 	$(JAVAC) -d . -O $?
 	@touch $@
 	-@#$(JAR) cf $@ $(PKGTARGETS)
-
-
-OMproxy.h:	OMproxy.class
-	-$(JAVAH) -jni $*
-
-
-libnative.so:	native.c OMproxy.h
-	-$(CC) -o libnative.so native.c \
-		-shared `find $(JAVAINCLUDEDIR) -type d | sed 's/^/-I/'`