| version 1.12, 2001/10/03 01:47:29 |
version 1.13, 2001/12/27 07:10:38 |
|
|
| # $OpenXM: OpenXM/src/pari/Makefile,v 1.11 2000/08/31 06:28:21 takayama Exp $ |
# $OpenXM: OpenXM/src/pari/Makefile,v 1.12 2001/10/03 01:47:29 noro Exp $ |
| |
|
| PARI = ../../../OpenXM_contrib/pari-2.2 |
PARI = ../../../OpenXM_contrib/pari-2.2 |
| OpenXM_ROOT = ../../../OpenXM |
OpenXM_ROOT = ../../../OpenXM |
|
|
| -cp $(OpenXM_ROOT)/lib/pari/users.dvi $(OpenXM_ROOT)/doc/pari/users.dvi |
-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 |
-cp $(OpenXM_ROOT)/lib/pari/tutorial.dvi $(OpenXM_ROOT)/doc/pari/tutorial.dvi |
| |
|
| clean: |
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 < $(CURDIR)/Makefile.SH.diff) \ |
| |
fi |
| |
@touch ./.patch_done |
| |
|
| |
patch-clean: |
| |
@if [ -f ./.patch_done ]; then \ |
| |
(cd $(PARI)/config ; patch -R < $(CURDIR)/Makefile.SH.diff) \ |
| |
fi |
| |
@rm -f ./.patch_done |
| |
|
| install-lib: all |
install-lib: all |
| (cd $(PARI) ; make install-lib-sta) |
(cd $(PARI) ; make install-lib-sta) |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to Makefile CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / pari