OpenXM/src/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src

version 1.82, 2000/03/01 00:15:46

version 1.84, 2000/03/06 04:30:39

Line 1

## $OpenXM: OpenXM/src/Makefile,v 1.81 2000/02/28 08:03:08 takayama Exp $

## $OpenXM: OpenXM/src/Makefile,v 1.83 2000/03/05 06:54:00 takayama Exp $

OPENXM_CONTRIB=../../OpenXM_contrib

OPENXM_CONTRIB2=../../OpenXM_contrib2

Line 62 all-misc :

install: install-asir install-gnuplot install-k097 install-kan96xx \

install-kxx install-openmath install-oxmath install-pari \

install-phc install-tigers install-asir-doc install-asir-contrib

install-phc install-tigers install-asir-doc install-asir-contrib \

install-misc

install-asir: all-asir

@if test -d $(OPENXM_CONTRIB2) ; then \

Line 118 install-asir-contrib: install-asir install-kxx

Line 119 install-asir-contrib: install-asir install-kxx

install-asir-doc: install-asir

(cd asir-doc ; make install)

install-misc:

(cd ../rc ; make install.man)

clean:

(cd asir2000 ; make clean)

(cd gnuplot ; make clean)

Line 204 all-Copyright :

Line 208 all-Copyright :

post-install-correction: install

(cd ../bin ; rm -f asir ; ln -s ./ox_asir asir)

(cd ../lib/asir ; rm -f ox_asir ox_launch ox_plot help ; ln -s ./asir ox_asir ; ln -s ./asir ox_launch ; ln -s ./asir ox_plot ; ln -s ./help-eg help)

(cd ../rc ; make install.man)

binary-dist : all-Copyright clean-rc all all-misc post-install-correction