| version 1.9, 2000/01/08 21:47:04 |
version 1.11, 2000/08/31 06:28:21 |
|
|
| # $OpenXM: OpenXM/src/pari/Makefile,v 1.8 2000/01/08 20:54:08 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 |
| |
|
| all: configure |
all: configure |
| @if [ ! -f ./.make_done ]; then \ |
@if [ ! -f ./.make_done ]; then \ |
|
|
| 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 \ |
| |
mkdir $(OpenXM_ROOT)/doc/pari ;\ |
| |
fi |
| |
-cp $(OpenXM_ROOT)/lib/pari/users.dvi $(OpenXM_ROOT)/doc/pari/users.dvi |
| |
-cp $(OpenXM_ROOT)/lib/pari/tutorial.dvi $(OpenXM_ROOT)/doc/pari/tutorial.dvi |
| |
|
| clean: |
clean: |
| @if [ -f ./.make_done ]; then \ |
@if [ -f ./.make_done ]; then \ |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to Makefile CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / pari