OpenXM/src/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src

version 1.135, 2004/02/23 11:38:36

version 1.137, 2004/03/25 01:52:18

Line 1

## $OpenXM: OpenXM/src/Makefile,v 1.134 2004/02/22 06:39:09 takayama Exp $

## $OpenXM: OpenXM/src/Makefile,v 1.136 2004/02/26 23:29:46 takayama Exp $

OpenXM_HOME=..

OpenXM_contrib=../../OpenXM_contrib

Line 81 install: install-oxtags install-util install-asir inst

install-k097 install-kan96xx \

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

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

install-misc install-fep install-uuencoded install-asir-port

install-misc install-fep install-uuencoded

install-oxtags:

(cd ../doc/OpenXM-web ; make install-exec)

Line 219 configure: configure-asir \

configure-k097 configure-kan96xx configure-kxx configure-oxmath \

configure-pari configure-gmp

configure-gmp:

configure-gmp: install-util

(cd gmp; make configure)

configure-asir: