OpenXM/src/asir2000/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src / asir2000

version 1.11, 2000/01/20 02:33:46

version 1.12, 2000/01/20 07:47:39

Line 1

# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.10 2000/01/19 11:58:23 takayama Exp $

# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.11 2000/01/20 02:33:46 noro Exp $

ASIR = ../../../OpenXM_contrib2/asir2000

PARI = ../pari

all: configure

@if [ ! -d $(ASIR) ]; then \

echo "You do not have the source of asir2000. Skip asir2000." ; \

exit 0 ; \

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

(cd $(ASIR) ; make all) \

@touch ./.make_done

install: all

@if [ ! -d $(ASIR) ]; then \

echo "You do not have the source of asir2000. Skip asir2000." ; \

exit 0 ; \

(cd $(ASIR) ; make install ; make install-lib)

clean:

@if [ ! -d $(ASIR) ]; then \

echo "You do not have the source of asir2000. Skip asir2000." ; \

exit 0 ; \

(cd $(ASIR) ; make clean)

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

Line 20 distclean: clean

Line 32 distclean: clean

@cat BINARIES | xargs -t rm -rf

configure: install-pari

@if [ ! -d $(ASIR) ]; then \

echo "You do not have the source of asir2000. Skip asir2000." ; \

exit 0 ; \

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

(cd $(ASIR) ; ./configure ; xmkmf ; make Makefiles ; make depend) \