Return to Makefile CVS log

Up to [local] / OpenXM / src / gmp

Annotation of OpenXM/src/gmp/Makefile, Revision 1.3

1.3     ! takayama    1: # $OpenXM: OpenXM/src/gmp/Makefile,v 1.2 2003/09/14 01:19:57 takayama Exp $
1.1       takayama    2: OpenXM_HOME=../..
                      3: OpenXM_contrib=${OpenXM_HOME}/../OpenXM_contrib
                      4: OpenXM_lib=${OpenXM_HOME}/lib
                      5: OpenXM_include=${OpenXM_HOME}/include
                      6: GMP=${OpenXM_contrib}/gmp
                      7: RM=rm
                      8:
                      9: all: configure
                     10:        -@if [ ! -f ./.make_done ]; then \
                     11:                (cd ${GMP} ; make) ; \
                     12:                touch ./.make_done ; \
                     13:        fi
                     14: install: install-exec
                     15: install-exec: all
                     16:        if [ ! -f ./.install_done ]; then \
                     17:                (cd ${GMP}; make install-exec) ; \
                     18:                cp ${GMP}/gmp.h ${OpenXM_include} ; \
                     19:                touch ./.install_done ; \
                     20:        fi
                     21: configure:
                     22:        if [ ! -f ./.configure_done ]; then \
                     23:                (cd ${GMP} ; ./configure --prefix=`pwd`/../../OpenXM ) ; \
                     24:                touch ./.configure_done ; \
                     25:        fi
                     26: clean:
                     27:        @if [ -f ./.make_done ]; then \
                     28:                (cd ${GMP} ; make clean) \
1.2       takayama   29:        fi
1.3     ! takayama   30:        ${RM} -f ./.*done
1.2       takayama   31: distclean:
                     32:        -@if [ -f ./.make_done ]; then \
                     33:                (cd ${GMP} ; make distclean) \
1.1       takayama   34:        fi
1.3     ! takayama   35:        ${RM} -f ./.*done