version 1.1, 2000/01/08 17:17:50 |
version 1.3, 2000/01/08 18:25:36 |
|
|
# $OpenXM$ |
# $OpenXM: OpenXM/src/pari/Makefile,v 1.2 2000/01/08 17:56:58 maekawa Exp $ |
|
|
PARI = ../../../OpenXM_contrib/pari |
PARI = ../../../OpenXM_contrib/pari |
CURDIR = ../../OpenXM/src/pari |
CURDIR = ../../OpenXM/src/pari |
|
|
@touch ./.make_done |
@touch ./.make_done |
|
|
install: all |
install: all |
(cd $(PARI) ; make install install-lib-sta) |
@if [ ! -f ./.install_done ]; then \ |
|
(cd $(PARI) ; make install install-lib-sta) \ |
|
fi |
|
@touch ./.install_done |
|
|
clean: |
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 ./.make_done ./.configure_done |
|
|
|
distclean: |
|
rm -rf ../lib/libpari.* ../lib/pari |
|
rm -rf ../include/pari |
|
rm -rf ../bin/gp ../bin/gp-2.0 |
|
@rm -f ./.install_done |
|
|
configure: |
configure: |
@if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |