version 1.120, 2003/07/21 11:36:09 |
version 1.122, 2003/08/26 05:04:40 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.119 2003/06/26 08:59:12 takayama Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.121 2003/08/25 14:24:45 ohara Exp $ |
|
|
OpenXM_HOME=../../OpenXM |
OpenXM_HOME=../../OpenXM |
OPENXM_CONTRIB=../../OpenXM_contrib |
OPENXM_CONTRIB=../../OpenXM_contrib |
|
|
@touch gc/.gc_make_done |
@touch gc/.gc_make_done |
|
|
all-gmp: configure-gmp |
all-gmp: configure-gmp |
(if test ! -f .gmp_make_done ; then cd gmp ; make ; touch .gmp_make_done ; fi) ; |
-@if test ! -f gmp/.gmp_make_done ; then \ |
|
(cd gmp ; make) ; \ |
|
fi |
|
@touch gmp/.gmp_make_done |
|
|
all-oxtoolkit: configure-oxtoolkit install-gmp install-gc configure-util |
all-oxtoolkit: configure-oxtoolkit install-gmp install-gc configure-util |
(cd ox_toolkit; make) |
(cd ox_toolkit; make) |
Line 113 install-asir-gc : configure-asir |
|
Line 116 install-asir-gc : configure-asir |
|
|
|
|
|
install-gmp : all-gmp |
install-gmp : all-gmp |
-@if test ! -f gmp/.gmp_installed ; \ |
@if test ! -f gmp/.gmp_installed ; \ |
then \ |
then \ |
(cd gmp; make install) ; \ |
(cd gmp; make install-exec) ; \ |
|
(cd gmp; cp gmp.h ../../OpenXM/include) ; \ |
fi |
fi |
@touch gmp/.gmp_installed |
@touch gmp/.gmp_installed |
|
|