Return to Makefile CVS log

Up to [local] / OpenXM / src / mpfr

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

1.1     ! takayama    1: # $OpenXM$
        !             2: OpenXM_HOME=../..
        !             3: PREFIX=${OpenXM_HOME}
        !             4: DISTDIR=${OpenXM_HOME}/../OpenXM_dist
        !             5: RM = /bin/rm
        !             6: MASTER_SITE=ftp://www.math.kobe-u.ac.jp/pub/OpenXM/misc/
        !             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