OpenXM/src/Makefile - diff

Return to Makefile CVS log

Up to [local] / OpenXM / src

version 1.188, 2020/03/05 00:29:44

version 1.189, 2022/09/07 04:05:00

Line 1

## $OpenXM: OpenXM/src/Makefile,v 1.187 2020/01/08 17:29:26 ohara Exp $

## $OpenXM: OpenXM/src/Makefile,v 1.188 2020/03/05 00:29:44 takayama Exp $

OpenXM_HOME=..

OpenXM_contrib2=../../OpenXM_contrib2

Line 13 all: all-util all-gc all-asirgc all-gmp all-mpfr all-m

all-kxx all-pari all-phc all-openmath all-oxmath all-tigers all-fep all-phcpack all-oxcdd \

all-oxmgraph all-pcc all-oxpari

all-editline: install-util

(cd editline; ${MAKE} all)

all-gc: install-util

(cd gc; ${MAKE} all)

Line 37 all-oxtoolkit: configure-oxtoolkit install-gmp install

Line 40 all-oxtoolkit: configure-oxtoolkit install-gmp install

all-oxc: configure-oxc install-oxtoolkit

-(cd oxc; ${MAKE} all)

all-asir: configure-asir install-pari install-asirgc install-gmp install-mpfr install-mpc install-mpfi

all-asir: configure-asir install-pari install-editline install-asirgc install-gmp install-mpfr install-mpc install-mpfi

(cd asir2018; ${MAKE} all)

all-asir2000: configure-asir2000 install-pari install-gmp install-mpfr install-mpc install-mpfi

Line 136 install-util-lib: all-util-lib

Line 139 install-util-lib: all-util-lib

(cd util; ${MAKE} install-lib)

install-util: install-util-bin install-util-lib

install-editline: all-editline

(cd editline; ${MAKE} install)

install-gc: all-gc

(cd gc; ${MAKE} install)