version 1.3, 1999/11/22 04:22:56 |
version 1.8, 2000/01/20 08:33:30 |
|
|
# $OpenXM: OpenXM/src/k097/Makefile,v 1.2 1999/11/11 12:36:06 takayama Exp $ |
# $OpenXM: OpenXM/src/k097/Makefile,v 1.7 2000/01/17 21:12:22 takayama Exp $ |
|
# targets |
|
# all |
|
# compile |
|
# intall : all install-lib |
|
# |
|
# todo : install-lib-for-debug |
|
# |
BDATE =19970416 |
BDATE =19970416 |
CC = gcc |
CC = gcc |
GC = $(KHOME)/gc/gc.a |
GC = $(KHOME)/gc/gc.a |
|
OpenXM_lib=../../lib |
|
|
## Kan source. kan sources must be built up by hand. |
## Kan source. kan sources must be built up by hand. |
KHOME = ../SSkan |
KHOME = ../kan96xx |
|
|
|
|
## |
## |
Line 12 LOAD_K_PATH ='"/usr/local/lib/k0/"' |
|
Line 20 LOAD_K_PATH ='"/usr/local/lib/k0/"' |
|
LOAD_SM1_PATH2 ='"/home/nobuki/SSkan/Kan/"' |
LOAD_SM1_PATH2 ='"/home/nobuki/SSkan/Kan/"' |
## |
## |
GMP_HOME = $(KHOME)/gmp |
GMP_HOME = $(KHOME)/gmp |
##LIBGMP=$(GMP_HOME)/libgmp.a |
LIBGMP=$(GMP_HOME)/libgmp.a |
## 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 = |
########### end of configuration. |
########### end of configuration. |
|
|
Line 154 test0 : test0.c $(KXX) $(KAN_HOME)/kanlib.a $(GC) $ |
|
Line 162 test0 : test0.c $(KXX) $(KAN_HOME)/kanlib.a $(GC) $ |
|
|
|
|
|
install0 : all |
install0 : all |
cp --f k0 d0 $(HOME)/.Hbin |
cp -f k0 d0 $(HOME)/.Hbin |
cp lib/mklib $(HOME)/.Hbin |
cp lib/mklib $(HOME)/.Hbin |
echo "Set the environment variable in $(HOME)/bin/mklib" |
echo "Set the environment variable in $(HOME)/bin/mklib" |
|
|
install : all |
install : all install-lib |
cp --f k0 d0 ../../bin |
cp -f k0 d0 ../../bin |
|
|
|
install-lib : |
|
/bin/rm -rf $(OpenXM_lib)/k097 |
|
mkdir $(OpenXM_lib)/k097 |
|
cp -f $(KHOME)/Doc/var.sm1 $(OpenXM_lib)/k097 |
|
cp -rf *.sm1 *.k *.kk debug $(OpenXM_lib)/k097 |
|
|
|
install-for-debug : |
|
/bin/rm -rf $(OpenXM_lib)/k097 |
|
ln -s ../src/k097 $(OpenXM_lib)/k097 |
|
|
dist : |
dist : |
./makeDist |
./makeDist |