| version 1.17, 2003/09/02 14:26:06 |
version 1.19, 2004/12/07 13:08:45 |
|
|
| # $OpenXM: OpenXM/src/pari/Makefile,v 1.16 2003/03/07 10:16:58 noro Exp $ |
# $OpenXM: OpenXM/src/pari/Makefile,v 1.18 2003/11/10 09:12:24 noro Exp $ |
| |
|
| #PARI = ../../../OpenXM_contrib/pari-2.2 |
#PARI = ../../../OpenXM_contrib/pari-2.2 |
| PARI = ../../../OpenXM_contrib/pari |
PARI = ../../../OpenXM_contrib/pari |
| Line 6 OpenXM_ROOT = ../../../OpenXM |
|
| Line 6 OpenXM_ROOT = ../../../OpenXM |
|
| |
|
| all: configure |
all: configure |
| @if [ ! -f ./.make_done ]; then \ |
@if [ ! -f ./.make_done ]; then \ |
| if [ "`uname | sed -e 's/_.*$$//'`" = "CYGWIN" ]; then\ |
(cd $(PARI) ; make lib-sta); \ |
| (cd $(PARI)/O*-* ; make lib-sta); \ |
|
| else \ |
|
| (cd $(PARI) ; make all); \ |
|
| fi \ |
|
| fi |
fi |
| @touch ./.make_done |
@touch ./.make_done |
| |
|
| install: install-lib-bin |
install: install-lib-bin |
| |
|
| |
#install-lib-bin: all install-lib |
| |
# if [ ! -f ./.install-lib-bin_done ]; then \ |
| |
# (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 ; \ |
| |
# touch ./.install-lib-bin_done ; \ |
| |
# fi |
| |
|
| install-lib-bin: all install-lib |
install-lib-bin: all install-lib |
| if [ ! -f ./.install-lib-bin_done ]; then \ |
if [ ! -f ./.install-lib-bin_done ]; then \ |
| (cd $(PARI)/O*-* ; make install-include) ; \ |
(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 ; \ |
|
| touch ./.install-lib-bin_done ; \ |
touch ./.install-lib-bin_done ; \ |
| fi |
fi |
| |
|
|
|
| @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 |
| -cp $(OpenXM_ROOT)/lib/pari/users.dvi $(OpenXM_ROOT)/doc/pari/users.dvi |
-cp $(PARI)/doc/users.dvi $(OpenXM_ROOT)/doc/pari/users.dvi |
| -cp $(OpenXM_ROOT)/lib/pari/tutorial.dvi $(OpenXM_ROOT)/doc/pari/tutorial.dvi |
-cp $(PARI)/doc/tutorial.dvi $(OpenXM_ROOT)/doc/pari/tutorial.dvi |
| |
|
| clean: patch-clean |
clean: patch-clean |
| @if [ -f ./.make_done ]; then \ |
@if [ -f ./.make_done ]; then \ |