[BACK]Return to Makefile CVS log [TXT][DIR] 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, 4 months ago) by maekawa
Branch: MAIN
Changes since 1.4: +3 -3 lines 

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)