Return to Makefile CVS log | Up to [local] / OpenXM / src / asir2000 |
File: [local] / OpenXM / src / asir2000 / Makefile (download)
Revision 1.13, Thu Jan 20 08:12:43 2000 UTC (24 years, 4 months ago) by takayama
I could not fix a bug of Makefile when OpenXM_contrib2/asir2000 is not present. UNDO. |
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.13 2000/01/20 08:12:43 takayama Exp $ ASIR = ../../../OpenXM_contrib2/asir2000 PARI = ../pari all: configure @if [ ! -f ./.make_done ]; then \ (cd $(ASIR) ; make all) \ fi @touch ./.make_done install: all (cd $(ASIR) ; make install ; make install-lib) clean: (cd $(ASIR) ; make clean) @rm -f ./.make_done ./.configure_done ./.install-pari_done distclean: clean @cat BINARIES | xargs -t rm -rf configure: install-pari @if [ ! -f ./.configure_done ]; then \ (cd $(ASIR) ; ./configure ; xmkmf ; make Makefiles ; make depend) \ fi @touch ./.configure_done install-pari: @if [ ! -f ./.install-pari_done ]; then \ (cd $(PARI) ; make install) \ fi @touch ./.install-pari_done