version 1.6, 2000/01/08 19:10:25 |
version 1.8, 2000/01/08 20:54:08 |
|
|
# $OpenXM: OpenXM/src/pari/Makefile,v 1.5 2000/01/08 18:41:19 maekawa Exp $ |
# $OpenXM: OpenXM/src/pari/Makefile,v 1.7 2000/01/08 20:31:47 maekawa Exp $ |
|
|
PARI = ../../../OpenXM_contrib/pari |
PARI = ../../../OpenXM_contrib/pari |
CURDIR = ../../OpenXM/src/pari |
|
BINDIR = ../../bin |
|
|
|
all: configure |
all: configure |
@if [ ! -f ./.make_done ]; then \ |
@if [ ! -f ./.make_done ]; then \ |
|
|
fi |
fi |
@touch ./.make_done |
@touch ./.make_done |
|
|
install: all |
install: all install-lib |
(cd $(PARI) ; make install install-lib-sta) |
(cd $(PARI) ; make install) |
|
|
clean: |
clean: |
@if [ -f ./.make_done ]; then \ |
@if [ -f ./.make_done ]; then \ |
|
|
@rm -f ./.make_done ./.configure_done |
@rm -f ./.make_done ./.configure_done |
|
|
distclean: |
distclean: |
rm -rf ../../lib/libpari.* ../../lib/pari |
@cat BINARIES | xargs -t rm -rf |
rm -rf ../../include/pari |
|
rm -rf $(BINDIR)/gp $(BINDIR)/gp-2.0 |
|
|
|
configure: |
configure: |
@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 |
|
|
|
install-lib: all |
|
(cd $(PARI) ; make install-lib-sta ; ranlib ../../lib/libpari.a) |