version 1.3, 2000/01/08 18:25:36 |
version 1.18, 2003/11/10 09:12:24 |
|
|
# $OpenXM: OpenXM/src/pari/Makefile,v 1.2 2000/01/08 17:56:58 maekawa Exp $ |
# $OpenXM: OpenXM/src/pari/Makefile,v 1.17 2003/09/02 14:26:06 takayama Exp $ |
|
|
|
#PARI = ../../../OpenXM_contrib/pari-2.2 |
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 \ |
(cd $(PARI) ; make all) \ |
(cd $(PARI) ; make lib-sta); \ |
fi |
fi |
@touch ./.make_done |
@touch ./.make_done |
|
|
install: all |
install: install-lib-bin |
@if [ ! -f ./.install_done ]; then \ |
|
(cd $(PARI) ; make install install-lib-sta) \ |
#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 |
|
if [ ! -f ./.install-lib-bin_done ]; then \ |
|
(cd $(PARI)/O*-* ; make install-include) ; \ |
|
touch ./.install-lib-bin_done ; \ |
fi |
fi |
@touch ./.install_done |
|
|
|
clean: |
|
|
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 |
@rm -f ./.make_done ./.configure_done |
@rm -f ./.*_done |
|
|
distclean: |
distclean: |
rm -rf ../lib/libpari.* ../lib/pari |
@cat BINARIES | xargs -t rm -rf |
rm -rf ../include/pari |
|
rm -rf ../bin/gp ../bin/gp-2.0 |
|
@rm -f ./.install_done |
|
|
|
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 |
|
if [ ! -f ./.install-lib_done ]; then \ |
|
(cd $(PARI) ; make install-lib-sta) ; \ |
|
ranlib ../../lib/libpari.a ; \ |
|
touch ./.install-lib_done ; \ |
|
fi |