=================================================================== RCS file: /home/cvs/OpenXM/src/asir2000/Makefile,v retrieving revision 1.5 retrieving revision 1.7 diff -u -p -r1.5 -r1.7 --- OpenXM/src/asir2000/Makefile 2000/01/09 18:42:24 1.5 +++ OpenXM/src/asir2000/Makefile 2000/01/19 01:15:46 1.7 @@ -1,4 +1,4 @@ -# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.4 2000/01/09 18:41:04 maekawa Exp $ +# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.6 2000/01/09 20:39:49 maekawa Exp $ ASIR = ../../../OpenXM_contrib2/asir2000 PARI = ../pari @@ -10,11 +10,11 @@ all: configure @touch ./.make_done install: all - (cd $(ASIR) ; make install ; make install2) + (cd $(ASIR) ; make install ; make install-lib) clean: (cd $(ASIR) ; make clean) - @rm -f ./.make_done ./.configure_done + @rm -f ./.make_done ./.configure_done ./.install-pari_done distclean: @cat BINARIES | xargs -t rm -rf @@ -26,4 +26,7 @@ configure: install-pari @touch ./.configure_done install-pari: - (cd $(PARI) ; make install) + @if [ ! -f ./.install-pari_done ]; then \ + (cd $(PARI) ; make install) \ + fi + @touch ./.install-pari_done