Return to Makefile CVS log | Up to [local] / OpenXM / src / pari |
File: [local] / OpenXM / src / pari / Makefile (download)
Revision 1.1, Sat Jan 8 17:17:50 2000 UTC (24 years, 5 months ago) by maekawa
Add the customized Makefile for OpenXM. |
# $OpenXM: OpenXM/src/pari/Makefile,v 1.1 2000/01/08 17:17:50 maekawa Exp $ PARI = ../../../OpenXM_contrib/pari CURDIR = ../../OpenXM/src/pari BINDIR = ../../bin all: configure @if [ ! -f ./.make_done ]; then \ (cd $(PARI) ; make all) \ fi @touch ./.make_done install: all (cd $(PARI) ; make install install-lib-sta) clean: @if [ -f ./.make_done ]; then \ (cd $(PARI) ; make clean) \ fi @rm -f ./.make_done ./.configure_done configure: @if [ ! -f ./.configure_done ]; then \ (cd $(PARI) ; ./Configure --prefix=../../../OpenXM) \ fi @touch ./.configure_done