version 1.19, 2000/12/25 14:14:34 |
version 1.21, 2003/01/15 00:11:08 |
|
|
# $OpenXM: OpenXM/src/k097/Makefile,v 1.18 2000/12/21 12:26:58 takayama Exp $ |
# $OpenXM: OpenXM/src/k097/Makefile,v 1.20 2001/01/08 05:26:47 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 = |
Line 38 KAN_HOME = $(KHOME)/Kan |
|
Line 38 KAN_HOME = $(KHOME)/Kan |
|
|
|
all : d0 k0 |
all : d0 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 |