OpenXM/src/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src

version 1.103, 2000/12/21 09:13:05

version 1.104, 2000/12/21 09:25:23

Line 1

## $OpenXM: OpenXM/src/Makefile,v 1.102 2000/12/21 08:20:09 takayama Exp $

## $OpenXM: OpenXM/src/Makefile,v 1.103 2000/12/21 09:13:05 takayama Exp $

OpenXM_HOME=../../OpenXM

OPENXM_CONTRIB=../../OpenXM_contrib

Line 78 all-misc :

(cd ../doc ; make all-install)

(cd ../doc ; make all-spec)

all-rc:

(cd ../rc ; make )

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 \

Line 162 install-asir-doc: install-asir

Line 165 install-asir-doc: install-asir

install-misc:

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

install-rc: all-rc

(cd ../rc ; make install)

clean:

-rm ./.configure-links-done

-rm $(OPENXM_CONTRIB)/gmp/.gmp_*

Line 323 configure-all-k0-ox : configure-links configure-inclu

Line 329 configure-all-k0-ox : configure-links configure-inclu

configure-kan96xx configure-kxx configure-k097 \

configure-oxc

all-k0-ox: configure-all-k0-ox all-asir all-kan96xx all-kxx all-k097 all-oxc

install-k0-ox: all-k0-ox install-asir install-kan96xx install-kxx install-k097

install-k0-ox: all-k0-ox install-asir install-kan96xx install-kxx \

install-k097 install-oxc