version 1.10, 2000/02/27 07:26:21 |
version 1.11, 2000/08/31 06:28:21 |
|
|
# $OpenXM: OpenXM/src/pari/Makefile,v 1.9 2000/01/08 21:47:04 maekawa Exp $ |
# $OpenXM: OpenXM/src/pari/Makefile,v 1.10 2000/02/27 07:26:21 takayama Exp $ |
|
|
PARI = ../../../OpenXM_contrib/pari |
PARI = ../../../OpenXM_contrib/pari |
OpenXM_ROOT = ../../../OpenXM |
OpenXM_ROOT = ../../../OpenXM |
|
|
fi |
fi |
@touch ./.make_done |
@touch ./.make_done |
|
|
install: all install-lib |
install: install-lib-bin |
(cd $(PARI) ; make install) |
|
|
install-lib-bin: all install-lib |
|
(cd $(PARI)/O*-* ; make install-lib-dyn) |
|
(cd $(PARI)/O*-* ; make install-include) |
|
(cd $(PARI)/O*-* ; make install-bin) |
|
(cd $(PARI)/O*-* ; make install-misc) |
|
(cd $(PARI)/O*-* ; make install-man) |
|
(cd $(PARI)/O*-* ; make install-data) |
|
|
|
install-doc: all |
|
(cd $(PARI) ; make doc) |
@if [ ! -d $(OpenXM_ROOT)/doc/pari ]; then \ |
@if [ ! -d $(OpenXM_ROOT)/doc/pari ]; then \ |
mkdir $(OpenXM_ROOT)/doc/pari ;\ |
mkdir $(OpenXM_ROOT)/doc/pari ;\ |
fi |
fi |