version 1.19, 2000/12/25 14:14:34 |
version 1.25, 2003/07/21 12:41:22 |
|
|
# $OpenXM: OpenXM/src/k097/Makefile,v 1.18 2000/12/21 12:26:58 takayama Exp $ |
# $OpenXM: OpenXM/src/k097/Makefile,v 1.24 2003/05/14 07:29:53 takayama Exp $ |
# targets |
# targets |
# all |
# all |
# compile |
# compile |
Line 24 KHOME = $(OpenXM_HOME)/src/kan96xx |
|
Line 24 KHOME = $(OpenXM_HOME)/src/kan96xx |
|
LOAD_K_PATH ='"/usr/local/lib/k0/"' |
LOAD_K_PATH ='"/usr/local/lib/k0/"' |
LOAD_SM1_PATH2 ='"/this_directory_does_not_exists/"' |
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. |
## This line is for buggy linux-gmp. |
## LIBGMP = $(GMP_HOME)/libgmp.a $(GMP_HOME)/mpn/libmpn.a |
## LIBGMP = $(GMP_HOME)/libgmp.a $(GMP_HOME)/mpn/libmpn.a |
EXTRALIB = |
EXTRALIB = |
|
|
YACCPREFIX = -p KC |
YACCPREFIX = -p KC |
FLAG = -g -DLOAD_K_PATH=$(LOAD_K_PATH) -DLOAD_SM1_PATH2=$(LOAD_SM1_PATH2) |
FLAG = -g -DLOAD_K_PATH=$(LOAD_K_PATH) -DLOAD_SM1_PATH2=$(LOAD_SM1_PATH2) |
KAN_HOME = $(KHOME)/Kan |
KAN_HOME = $(KHOME)/Kan |
|
PATHFINDER = -L${OpenXM_lib} -lox_pathfinder |
|
|
all : d0 k0 |
all : d0 k0 ox_k0 |
|
|
## Making a new Makefile |
|
new : |
|
touch Makefile.new |
|
/bin/cp Makefile.new Trash |
|
/bin/rm -f Makefile.new |
|
sed -f new.sed <Makefile >Makefile.new |
|
|
|
d0 : simple.tab.o d.o dic.o dm.c |
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 |
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 |
simple.tab.o : simple.tab.c |
$(CC) $(FLAG) $(DDD) -o simple.tab.o -c simple.tab.c |
$(CC) $(FLAG) $(DDD) -o simple.tab.o -c simple.tab.c |
Line 114 $(KAN_HOME)/lookup.h : |
|
Line 109 $(KAN_HOME)/lookup.h : |
|
(cd $(KAN_HOME); make 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 |
## A sample to compilation: source is test0.c, output is test0 |
test0 : test0.c $(KXX) $(KAN_HOME)/kanlib.a $(GC) $(KAN_HOME)/lookup.h |
test0 : test0.c $(KXX) $(KAN_HOME)/kanlib.a $(GC) $(KAN_HOME)/lookup.h |
|
|
install : all install-lib |
install : all install-lib |
/bin/rm -f ../../bin/k0 ../../bin/d0 |
/bin/rm -f ../../bin/k0 ../../bin/d0 |
cp -f k0 d0 ../../bin |
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 |
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/k0 k0) |
(cd ../../bin ; ln -s ../src/k097/d0 d0) |
(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 : |
install-lib : |
/bin/rm -rf $(OpenXM_lib)/k097 |
/bin/rm -rf $(OpenXM_lib)/k097 |