Return to Makefile CVS log

Up to [local] / OpenXM / src / mpfr

Annotation of OpenXM/src/mpfr/Makefile, Revision 1.2

1.2     ! ohara       1: # $OpenXM: OpenXM/src/mpfr/Makefile,v 1.1 2008/10/30 07:59:46 takayama Exp $
1.1       takayama    2: OpenXM_HOME=../..
                      3: PREFIX=${OpenXM_HOME}
                      4: DISTDIR=${OpenXM_HOME}/../OpenXM_dist
                      5: RM = /bin/rm
1.2     ! ohara       6: MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/
1.1       takayama    7: DISTNAME=mpfr-2.3.2
                      8: DISTFILES=${DISTNAME}.tar.gz
                      9: WRKSRC=work/${DISTNAME}
                     10: #PATCHFILES = mpfr.diff
                     11: PATCHFILES =
                     12:
                     13: all : build
                     14:
                     15: fetch:
                     16:        -mkdir work
                     17:        @if [ ! -f work/.fetch_done ]; then \
                     18:                ${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}${DISTFILES} ${DISTDIR}; \
                     19:        fi
                     20:        @touch work/.fetch_done
                     21:
                     22: extract: fetch
                     23:        @if [ ! -f work/.extract_done ]; then \
                     24:            cat ${DISTDIR}/${DISTFILES} | (cd work ; tar xzvf -) ; \
                     25:        fi
                     26:        @touch work/.extract_done
                     27:
                     28: patch: extract
                     29:        @if [ ! -f work/.patch_done ]; then \
                     30:         for i in ${PATCHFILES} ; do \
                     31:                cat $$i | (cd ${WRKSRC}; patch -p0) ; \
                     32:         done ; \
                     33:        fi
                     34:        @touch work/.patch_done
                     35:
                     36: configure: patch
                     37:        @if [ ! -f work/.configure_done ]; then \
                     38:                prefix=`cd ${OpenXM_HOME}; pwd` ; \
                     39:                (cd ${WRKSRC} ; CC=${CC} ./configure --prefix="$$prefix" --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include") ; \
                     40:        fi
                     41:        @touch work/.configure_done
                     42:
                     43: build : configure
                     44:        @if [ ! -f work/.build_done ]; then \
                     45:                (cd ${WRKSRC} ; ${MAKE} CC=${CC}) ; \
                     46:        fi
                     47:        @touch work/.build_done
                     48:
                     49: install: build
                     50:        -mkdir ${PREFIX}/bin ${PREFIX}/lib
                     51:        @if [ ! -f work/.install_done ]; then \
                     52:                (cd ${WRKSRC} ; ${MAKE} install) ; \
                     53:        fi
                     54:        @touch work/.install_done
                     55:
                     56: clean:
                     57:        -${RM} -rf work
                     58:
                     59: distclean: clean