version 1.5, 2000/01/09 18:42:24 |
version 1.6, 2000/01/09 20:39:49 |
|
|
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.4 2000/01/09 18:41:04 maekawa Exp $ |
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.5 2000/01/09 18:42:24 maekawa Exp $ |
|
|
ASIR = ../../../OpenXM_contrib2/asir2000 |
ASIR = ../../../OpenXM_contrib2/asir2000 |
PARI = ../pari |
PARI = ../pari |
|
|
|
|
clean: |
clean: |
(cd $(ASIR) ; make clean) |
(cd $(ASIR) ; make clean) |
@rm -f ./.make_done ./.configure_done |
@rm -f ./.make_done ./.configure_done ./.install-pari_done |
|
|
distclean: |
distclean: |
@cat BINARIES | xargs -t rm -rf |
@cat BINARIES | xargs -t rm -rf |
Line 26 configure: install-pari |
|
Line 26 configure: install-pari |
|
@touch ./.configure_done |
@touch ./.configure_done |
|
|
install-pari: |
install-pari: |
(cd $(PARI) ; make install) |
@if [ ! -f ./.install-pari_done ]; then \ |
|
(cd $(PARI) ; make install) \ |
|
fi |
|
@touch ./.install-pari_done |