| version 1.93, 2000/03/13 06:51:04 |
version 1.96, 2000/09/17 03:12:09 |
|
|
| ## $OpenXM: OpenXM/src/Makefile,v 1.92 2000/03/10 03:15:57 takayama Exp $ |
## $OpenXM: OpenXM/src/Makefile,v 1.95 2000/08/31 13:23:12 takayama Exp $ |
| |
|
| |
OpenXM_HOME=../../OpenXM |
| OPENXM_CONTRIB=../../OpenXM_contrib |
OPENXM_CONTRIB=../../OpenXM_contrib |
| OPENXM_CONTRIB2=../../OpenXM_contrib2 |
OPENXM_CONTRIB2=../../OpenXM_contrib2 |
| LIBDIR=../lib |
LIBDIR=../lib |
|
|
| @touch gc/.gc_make_done |
@touch gc/.gc_make_done |
| |
|
| all-gmp: configure-gmp |
all-gmp: configure-gmp |
| if test -f /usr/lib/libgmp.a ; \ |
(if test ! -f .gmp_make_done ; then cd gmp ; make ; touch .gmp_make_done ; fi) ; |
| then \ |
|
| echo "Using /usr/lib/libgmp.a" ; \ |
|
| /bin/rm -rf gmp/libgmp.a ; \ |
|
| ln -s /usr/lib/libgmp.a gmp/libgmp.a ; \ |
|
| else \ |
|
| (if test ! -f .gmp_make_done ; then cd gmp ; make ; touch .gmp_make_done ; fi) ; \ |
|
| fi |
|
| |
|
| all-oxtoolkit: configure-oxtoolkit install-gmp install-kxx |
all-oxtoolkit: configure-oxtoolkit install-gmp install-kxx |
| (cd ox_toolkit; make) |
(cd ox_toolkit; make) |
| Line 98 install-gc : all-gc |
|
| Line 92 install-gc : all-gc |
|
| install-gmp : all-gmp |
install-gmp : all-gmp |
| -@if test ! -f gmp/.gmp_installed ; \ |
-@if test ! -f gmp/.gmp_installed ; \ |
| then \ |
then \ |
| mkdir ../lib ; \ |
(cd gmp; make install) ; \ |
| cp gmp/libgmp.a ../lib ; \ |
|
| mkdir ../include ; \ |
|
| cp gmp/gmp.h ../include ; \ |
|
| fi |
fi |
| @touch gmp/.gmp_installed |
@touch gmp/.gmp_installed |
| |
|
| Line 208 configure: configure-links configure-bin configure-asi |
|
| Line 199 configure: configure-links configure-bin configure-asi |
|
| configure-gmp: configure-links |
configure-gmp: configure-links |
| @if test -f gmp/.gmp_configured ; \ |
@if test -f gmp/.gmp_configured ; \ |
| then \ |
then \ |
| echo "MESSAGE(kan96xx/Makefile): gmp is already configured. (.gmp_configured) " ; \ |
echo "MESSAGE: gmp is already configured. (.gmp_configured) " ; \ |
| else \ |
else \ |
| (cd gmp ; ./configure ; touch .gmp_configured) ; \ |
(cd gmp ; ./configure --prefix=`pwd`/../../OpenXM; touch .gmp_configured) ; \ |
| fi |
fi |
| |
|
| configure-asir: |
configure-asir: |
| Line 243 configure-links: |
|
| Line 234 configure-links: |
|
| ln -f -s $(BINDIR) bin |
ln -f -s $(BINDIR) bin |
| ln -f -s $(OPENXM_CONTRIB)/gc gc |
ln -f -s $(OPENXM_CONTRIB)/gc gc |
| ln -f -s $(OPENXM_CONTRIB)/gmp gmp |
ln -f -s $(OPENXM_CONTRIB)/gmp gmp |
| |
-mkdir ${OpenXM_HOME}/libexec |
| |
|
| configure-oxtoolkit: |
configure-oxtoolkit: |
| (cd ox_toolkit; ./make-configure) |
(cd ox_toolkit; ./make-configure) |
| Line 257 generate-source-distribution : generate-source-distrib |
|
| Line 249 generate-source-distribution : generate-source-distrib |
|
| generate-source-distribution-ox_toolkit |
generate-source-distribution-ox_toolkit |
| |
|
| generate-source-distribution-kxx : |
generate-source-distribution-kxx : |
| (cd kxx ; rm -f .configure_done Makefile ; autoconf) |
(cd kxx ; rm -f .configure_done Makefile ) |
| |
|
| generate-source-distribution-ox_toolkit : |
generate-source-distribution-ox_toolkit : |
| (cd ox_toolkit ; rm -f Makefile ; autoconf) |
(cd ox_toolkit ; rm -f Makefile ; autoconf) |
| |
|