Return to Makefile CVS log | Up to [local] / OpenXM / src / asir2000 |
File: [local] / OpenXM / src / asir2000 / Makefile (download)
Revision 1.5, Sun Jan 9 18:42:24 2000 UTC (24 years, 8 months ago) by maekawa
Oops, fix the timing to install PARI/GP. |
# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.5 2000/01/09 18:42:24 maekawa 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 install2) clean: (cd $(ASIR) ; make clean) @rm -f ./.make_done ./.configure_done distclean: @cat BINARIES | xargs -t rm -rf configure: install-pari @if [ ! -f ./.configure_done ]; then \ (cd $(ASIR) ; ./configure ; xmkmf -a ; make depend) \ fi @touch ./.configure_done install-pari: (cd $(PARI) ; make install)