version 1.17, 2000/02/01 04:24:19 |
version 1.19, 2000/02/28 07:19:40 |
|
|
## $OpenXM: OpenXM/src/kan96xx/Makefile,v 1.16 2000/01/19 02:43:12 takayama Exp $ |
## $OpenXM: OpenXM/src/kan96xx/Makefile,v 1.18 2000/02/03 09:30:17 ohara Exp $ |
|
|
## Type in make configure and make all to build all |
## Type in make configure and make all to build all |
OpenXM_contrib=../../../OpenXM_contrib |
OpenXM_contrib=../../../OpenXM_contrib |
Line 54 configure-gmp: configure_symbolic_links |
|
Line 54 configure-gmp: configure_symbolic_links |
|
fi |
fi |
|
|
configure_symbolic_links : |
configure_symbolic_links : |
@if ! test -f ./.done_links ; \ |
@if test ! -f ./.done_links ; \ |
then \ |
then \ |
/bin/rm -f gc gmp lib Doc/var.sm1 ; \ |
/bin/rm -f gc gmp lib Doc/var.sm1 ; \ |
ln -f -s $(OpenXM_contrib)/gc gc ; \ |
ln -f -s $(OpenXM_contrib)/gc gc ; \ |
|
|
./makeDist |
./makeDist |
############### |
############### |
install : install-openXM-bin install-document |
install : install-openXM-bin install-document |
|
|
|
install.man : |
|
@if [ ! -d $(OpenXM_ROOT)/man ]; then \ |
|
mkdir $(OpenXM_ROOT)/man ; \ |
|
fi |
|
@if [ ! -d $(OpenXM_ROOT)/man/man1 ]; then \ |
|
mkdir $(OpenXM_ROOT)/man/man1 ; \ |
|
fi |
|
-cp Doc/sm1.1 $(OpenXM_ROOT)/man/man1 |
|
|
install-usr-local : |
install-usr-local : |
mkdir /usr/local/lib/sm1 |
mkdir /usr/local/lib/sm1 |