version 1.8, 2000/01/08 20:54:08 |
version 1.10, 2000/02/27 07:26:21 |
|
|
# $OpenXM: OpenXM/src/pari/Makefile,v 1.7 2000/01/08 20:31:47 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 |
|
OpenXM_ROOT = ../../../OpenXM |
|
|
all: configure |
all: configure |
@if [ ! -f ./.make_done ]; then \ |
@if [ ! -f ./.make_done ]; then \ |
|
|
|
|
install: all install-lib |
install: all install-lib |
(cd $(PARI) ; make install) |
(cd $(PARI) ; make install) |
|
@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 \ |
|
|
@touch ./.configure_done |
@touch ./.configure_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.a |