Return to Makefile CVS log

Up to [local] / OpenXM / src / mpfi

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

1.1     ! kondoh      1: #
        !             2: OpenXM_HOME=../..
        !             3: PREFIX=${OpenXM_HOME}
        !             4: DISTDIR=${OpenXM_HOME}/../OpenXM_dist
        !             5: RM = /bin/rm
        !             6: MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/
        !             7: MASTER_SITE=https://gforge.inria.fr/frs/download.php/file/38111/
        !             8: MASTER_SITE=https://gforge.inria.fr/frs/download.php/file/37331/
        !             9: DISTNAME=mpfi-1.5.3
        !            10: DISTFILES=${DISTNAME}.tgz
        !            11: DISTFILES=${DISTNAME}.tar.bz2
        !            12: WRKSRC=work/${DISTNAME}
        !            13: #PATCHFILES = mpfi.diff
        !            14: PATCHFILES =
        !            15:
        !            16: all : build
        !            17:
        !            18: fetch:
        !            19:        -mkdir work
        !            20:        @if [ ! -f work/.fetch_done ]; then \
        !            21:                ${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}${DISTFILES} ${DISTDIR}; \
        !            22:        fi
        !            23:        @touch work/.fetch_done
        !            24:
        !            25: extract: fetch
        !            26:        @if [ ! -f work/.extract_done ]; then \
        !            27:            cat ${DISTDIR}/${DISTFILES} | (cd work ; tar xjvf -) ; \
        !            28:        fi
        !            29:        @touch work/.extract_done
        !            30:
        !            31: patch: extract
        !            32:        @if [ ! -f work/.patch_done ]; then \
        !            33:         for i in ${PATCHFILES} ; do \
        !            34:                cat $$i | (cd ${WRKSRC}; patch -p0) ; \
        !            35:         done ; \
        !            36:        fi
        !            37:        @touch work/.patch_done
        !            38:
        !            39: configure : patch
        !            40:        @if [ ! -f work/.configure_done ]; then \
        !            41:                prefix=`cd ${OpenXM_HOME}; pwd` ; \
        !            42:                if [  "`uname | sed -e 's/_.*$$//'`" = "CYGWIN" ]; then \
        !            43:                  make configure-cygwin ; \
        !            44:                elif [  "`uname | sed -e 's/_.*$$//'`" = "MSYS" ];  then \
        !            45:                  make configure-msys ; \
        !            46:                else \
        !            47:                  make configure-others ; \
        !            48:                fi ; \
        !            49:        fi
        !            50:        @touch work/.configure_done
        !            51:
        !            52: configure-cygwin:
        !            53:        prefix=`cd ${OpenXM_HOME}; pwd`  ; \
        !            54:        (cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe --enable-static --disable-shared)
        !            55: configure-msys:
        !            56:        prefix=`cd ${OpenXM_HOME}; pwd`  ; \
        !            57:        (cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe --build=x86_64-w64-mingw32 --disable-thread-safe --enable-static --disable-shared )
        !            58: configure-others:
        !            59:        prefix=`cd ${OpenXM_HOME}; pwd`  ; \
        !            60:        (cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe)
        !            61:
        !            62: build : configure
        !            63:        @if [ ! -f work/.build_done ]; then \
        !            64:                (cd ${WRKSRC} ; ${MAKE} CC=${CC}) ; \
        !            65:        fi
        !            66:        @touch work/.build_done
        !            67:
        !            68: install: build
        !            69:        -mkdir ${PREFIX}/bin ${PREFIX}/lib
        !            70:        @if [ ! -f work/.install_done ]; then \
        !            71:                (cd ${WRKSRC} ; ${MAKE} install) ; \
        !            72:        fi
        !            73:        @touch work/.install_done
        !            74:
        !            75: clean:
        !            76:        -${RM} -rf work
        !            77:
        !            78: distclean: clean