OpenXM/src/pari/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src / pari

version 1.1, 2000/01/08 17:17:50

version 1.12, 2001/10/03 01:47:29

Line 1

# $OpenXM$

# $OpenXM: OpenXM/src/pari/Makefile,v 1.11 2000/08/31 06:28:21 takayama Exp $

PARI = ../../../OpenXM_contrib/pari

PARI = ../../../OpenXM_contrib/pari-2.2

CURDIR = ../../OpenXM/src/pari

OpenXM_ROOT = ../../../OpenXM

BINDIR = ../../bin

all: configure

@if [ ! -f ./.make_done ]; then \

Line 10 all: configure

Line 9 all: configure

@touch ./.make_done

install: all

install: install-lib-bin

(cd $(PARI) ; make install install-lib-sta)

install-lib-bin: all install-lib

(cd $(PARI)/O*-* ; make install-lib-dyn)

(cd $(PARI)/O*-* ; make install-include)

(cd $(PARI)/O*-* ; make install-bin)

(cd $(PARI)/O*-* ; make install-misc)

(cd $(PARI)/O*-* ; make install-man)

(cd $(PARI)/O*-* ; make install-data)

install-doc: all

(cd $(PARI) ; make doc)

@if [ ! -d $(OpenXM_ROOT)/doc/pari ]; then \

mkdir $(OpenXM_ROOT)/doc/pari ;\

-cp $(OpenXM_ROOT)/lib/pari/users.dvi $(OpenXM_ROOT)/doc/pari/users.dvi

-cp $(OpenXM_ROOT)/lib/pari/tutorial.dvi $(OpenXM_ROOT)/doc/pari/tutorial.dvi

clean:

@if [ -f ./.make_done ]; then \

(cd $(PARI) ; make clean) \

@rm -f ./.make_done ./.configure_done

distclean:

@cat BINARIES | xargs -t rm -rf

configure:

@if [ ! -f ./.configure_done ]; then \

(cd $(PARI) ; ./Configure --prefix=../../../OpenXM) \

@touch ./.configure_done

install-lib: all

(cd $(PARI) ; make install-lib-sta)

ranlib ../../lib/libpari-2.2.a