version 1.8, 2000/01/19 02:49:27 |
version 1.13, 2000/01/20 08:12:43 |
|
|
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.7 2000/01/19 01:15:46 noro Exp $ |
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.12 2000/01/20 07:47:39 takayama 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 ; make Makefiles; make depend) \ |
(cd $(ASIR) ; ./configure ; xmkmf ; make Makefiles ; make depend) \ |
fi |
fi |
@touch ./.configure_done |
@touch ./.configure_done |
|
|