| version 1.2, 2000/01/08 17:56:58 |
version 1.10, 2000/02/27 07:26:21 |
|
|
| # $OpenXM: OpenXM/src/pari/Makefile,v 1.1 2000/01/08 17:17:50 maekawa Exp $ |
# $OpenXM: OpenXM/src/pari/Makefile,v 1.9 2000/01/08 21:47:04 maekawa Exp $ |
| |
|
| PARI = ../../../OpenXM_contrib/pari |
PARI = ../../../OpenXM_contrib/pari |
| CURDIR = ../../OpenXM/src/pari |
OpenXM_ROOT = ../../../OpenXM |
| BINDIR = ../../bin |
|
| |
|
| 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: all install-lib |
| @if [ ! -f ./.install_done ]; then \ |
(cd $(PARI) ; make install) |
| (cd $(PARI) ; make install install-lib-sta) \ |
@if [ ! -d $(OpenXM_ROOT)/doc/pari ]; then \ |
| |
mkdir $(OpenXM_ROOT)/doc/pari ;\ |
| fi |
fi |
| @touch ./.install_done |
-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 \ |
| (cd $(PARI) ; make clean) \ |
(cd $(PARI) ; make clean) \ |
| fi |
fi |
| @rm -f ./.make_done ./.configure_done ./.install_done |
@rm -f ./.make_done ./.configure_done |
| |
|
| |
distclean: |
| |
@cat BINARIES | xargs -t rm -rf |
| |
|
| configure: |
configure: |
| @if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
| (cd $(PARI) ; ./Configure --prefix=../../../OpenXM) \ |
(cd $(PARI) ; ./Configure --prefix=../../../OpenXM) \ |
| fi |
fi |
| @touch ./.configure_done |
@touch ./.configure_done |
| |
|
| |
install-lib: all |
| |
(cd $(PARI) ; make install-lib-sta) |
| |
ranlib ../../lib/libpari.a |