| version 1.8, 2000/01/08 20:54:08 |
version 1.16, 2003/03/07 10:16:58 |
|
|
| # $OpenXM: OpenXM/src/pari/Makefile,v 1.7 2000/01/08 20:31:47 maekawa Exp $ |
# $OpenXM: OpenXM/src/pari/Makefile,v 1.15 2001/12/27 08:31:38 noro Exp $ |
| |
|
| |
#PARI = ../../../OpenXM_contrib/pari-2.2 |
| 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 \ |
| (cd $(PARI) ; make all) \ |
if [ "`uname | sed -e 's/_.*$$//'`" = "CYGWIN" ]; then\ |
| |
(cd $(PARI)/O*-* ; make lib-sta); \ |
| |
else \ |
| |
(cd $(PARI) ; make all); \ |
| |
fi \ |
| fi |
fi |
| @touch ./.make_done |
@touch ./.make_done |
| |
|
| install: all install-lib |
install: install-lib-bin |
| (cd $(PARI) ; make install) |
|
| |
|
| clean: |
install-lib-bin: all install-lib |
| |
(cd $(PARI)/O*-* ; make install-include) |
| |
if [ "`uname | sed -e 's/_.*$$//'`" != "CYGWIN" ]; then \ |
| |
(cd $(PARI)/O*-* ; make install-lib-dyn); \ |
| |
(cd $(PARI)/O*-* ; make install-bin); \ |
| |
(cd $(PARI)/O*-* ; make install-misc); \ |
| |
(cd $(PARI)/O*-* ; make install-man); \ |
| |
(cd $(PARI)/O*-* ; make install-data); \ |
| |
fi |
| |
|
| |
|
| |
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: patch-clean |
| @if [ -f ./.make_done ]; then \ |
@if [ -f ./.make_done ]; then \ |
| (cd $(PARI) ; make clean) \ |
(cd $(PARI) ; make clean) \ |
| fi |
fi |
|
|
| distclean: |
distclean: |
| @cat BINARIES | xargs -t rm -rf |
@cat BINARIES | xargs -t rm -rf |
| |
|
| configure: |
configure: patch |
| @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 |
| |
|
| |
patch: |
| |
@if [ ! -f ./.patch_done ]; then \ |
| |
(cd $(PARI)/config ; patch < ../../../OpenXM/src/pari/Makefile.SH.diff) \ |
| |
fi |
| |
@touch ./.patch_done |
| |
|
| |
patch-clean: |
| |
@if [ -f ./.patch_done ]; then \ |
| |
(cd $(PARI)/config ; patch -R < ../../../OpenXM/src/pari/Makefile.SH.diff) \ |
| |
fi |
| |
@rm -f ./.patch_done |
| |
|
| install-lib: all |
install-lib: all |
| (cd $(PARI) ; make install-lib-sta ; ranlib ../../lib/libpari.a) |
(cd $(PARI) ; make install-lib-sta) |
| |
# ranlib ../../lib/libpari-2.2.a |
| |
ranlib ../../lib/libpari.a |