version 1.162, 2013/11/06 00:32:59 |
version 1.163, 2013/12/20 02:10:25 |
|
|
## $OpenXM: OpenXM/src/Makefile,v 1.161 2011/05/13 08:14:30 takayama Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.162 2013/11/06 00:32:59 takayama Exp $ |
|
|
OpenXM_HOME=.. |
OpenXM_HOME=.. |
OpenXM_contrib2=../../OpenXM_contrib2 |
OpenXM_contrib2=../../OpenXM_contrib2 |
Line 24 all-oxtoolkit: configure-oxtoolkit install-gmp install |
|
Line 24 all-oxtoolkit: configure-oxtoolkit install-gmp install |
|
all-oxc: configure-oxc install-oxtoolkit |
all-oxc: configure-oxc install-oxtoolkit |
(cd oxc; ${MAKE} all) |
(cd oxc; ${MAKE} all) |
|
|
all-asir: configure-asir install-pari |
all-asir: configure-asir install-pari install-gmp |
(cd asir2000; ${MAKE} all) |
(cd asir2000; ${MAKE} all) |
|
|
all-gnuplot: configure-gnuplot |
all-gnuplot: configure-gnuplot |