===================================================================
RCS file: /home/cvs/OpenXM/src/k097/Attic/Makefile,v
retrieving revision 1.20
retrieving revision 1.25
diff -u -p -r1.20 -r1.25
--- OpenXM/src/k097/Attic/Makefile	2001/01/08 05:26:47	1.20
+++ OpenXM/src/k097/Attic/Makefile	2003/07/21 12:41:22	1.25
@@ -1,4 +1,4 @@
-# $OpenXM: OpenXM/src/k097/Makefile,v 1.19 2000/12/25 14:14:34 takayama Exp $
+# $OpenXM: OpenXM/src/k097/Makefile,v 1.24 2003/05/14 07:29:53 takayama Exp $
 # targets
 # all 
 #     compile
@@ -24,7 +24,7 @@ KHOME = $(OpenXM_HOME)/src/kan96xx
 LOAD_K_PATH ='"/usr/local/lib/k0/"'
 LOAD_SM1_PATH2 ='"/this_directory_does_not_exists/"'
 ##
-LIBGMP=$(OpenXM_HOME)/lib/libgmp.a
+LIBGMP=-L$(OpenXM_HOME)/lib -lgmp 
 ## This line is for buggy linux-gmp.
 ## LIBGMP = $(GMP_HOME)/libgmp.a $(GMP_HOME)/mpn/libmpn.a
 EXTRALIB = 
@@ -35,15 +35,16 @@ MYYACC = bison
 YACCPREFIX = -p KC
 FLAG = -g  -DLOAD_K_PATH=$(LOAD_K_PATH) -DLOAD_SM1_PATH2=$(LOAD_SM1_PATH2)
 KAN_HOME = $(KHOME)/Kan
+PATHFINDER = -L${OpenXM_lib} -lox_pathfinder
 
-all : d0 k0 
+all : d0 k0 ox_k0
 
 
 d0 : simple.tab.o d.o dic.o dm.c 
-	$(CC) ${STATIC_LINK_FLAG} $(FLAG) $(DDD) -o d0 dm.c d.o dic.o simple.tab.o
+	$(CC) ${STATIC_LINK_FLAG} $(FLAG) $(DDD) -o d0 dm.c d.o dic.o simple.tab.o ${PATHFINDER}
 
 d.o : d.c simple.tab.h Stable/sm1symbol.h
-	$(CC) $(FLAG) $(DDD) -o d.o -c d.c
+	$(CC) -I${OpenXM_include} $(FLAG) $(DDD) -o d.o -c d.c
 
 simple.tab.o : simple.tab.c 
 	$(CC) $(FLAG) $(DDD) -o simple.tab.o -c simple.tab.c
@@ -108,6 +109,9 @@ $(KAN_HOME)/lookup.h :
 	(cd $(KAN_HOME); make lookup.h)
 
 
+ox_k0 : ox_k0.c k0 ox_k0.c sm1sm.c
+	$(CC) ${STATIC_LINK_FLAG} $(FLAG) $(DDD) -I$(OpenXM_include) -I$(KAN_HOME) -o ox_k0 ox_k0.c sm1sm.c $(KXX)  $(KAN_HOME)/kanlib.a $(LIBGMP) $(GC) $(EXTRALIB)
+
 ##########  
 ## A sample to compilation:  source is test0.c, output is test0
 test0 :  test0.c  $(KXX) $(KAN_HOME)/kanlib.a  $(GC)  $(KAN_HOME)/lookup.h
@@ -123,11 +127,15 @@ install0 : all
 install : all install-lib
 	/bin/rm -f ../../bin/k0 ../../bin/d0
 	cp -f k0 d0 ../../bin
+	cp -f ox_k0 ../../bin
+	cp -f ox_k0 ../../lib/sm1/bin
 
 install-for-debug : all install-lib-for-debug
-	rm -f ../../bin/k0 ../../bin/d0
+	rm -f ../../bin/k0 ../../bin/d0 ../../bin/ox_k0 ../../lib/sm1/bin/ox_k0
 	(cd ../../bin ; ln -s ../src/k097/k0 k0)
 	(cd ../../bin ; ln -s ../src/k097/d0 d0)
+	(cd ../../bin ; ln -s ../src/k097/ox_k0 ox_k0)
+	(cd ../../lib/sm1/bin ; ln -s ../../../../src/k097/ox_k0 ox_k0)
 
 install-lib :
 	/bin/rm -rf $(OpenXM_lib)/k097