version 1.7, 2000/01/19 01:15:46 |
version 1.10, 2000/01/19 11:58:23 |
|
|
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.6 2000/01/09 20:39:49 maekawa Exp $ |
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.9 2000/01/19 05:17:02 noro Exp $ |
|
|
ASIR = ../../../OpenXM_contrib2/asir2000 |
ASIR = ../../../OpenXM_contrib2/asir2000 |
PARI = ../pari |
PARI = ../pari |
|
|
(cd $(ASIR) ; make clean) |
(cd $(ASIR) ; make clean) |
@rm -f ./.make_done ./.configure_done ./.install-pari_done |
@rm -f ./.make_done ./.configure_done ./.install-pari_done |
|
|
distclean: |
distclean: clean |
@cat BINARIES | xargs -t rm -rf |
@cat BINARIES | xargs -t rm -rf |
|
|
configure: install-pari |
configure: install-pari |
@if [ ! -f ./.configure_done ]; then \ |
@if [ ! -f ./.configure_done ]; then \ |
(cd $(ASIR) ; ./configure ; xmkmf -a ; make depend) \ |
(cd $(ASIR) ; ./configure ; xmkmf ; make Makefiles ; /bin/rm -f */.depend) \ |
fi |
fi |
@touch ./.configure_done |
@touch ./.configure_done |
|
|