Return to Makefile CVS log

Up to [local] / OpenXM / src / mpfi

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

1.3     ! takayama    1: # $OpenXM$
1.1       kondoh      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/
1.3     ! takayama    7: #MASTER_SITE=https://gforge.inria.fr/frs/download.php/file/38111/
        !             8: #MASTER_SITE=https://gforge.inria.fr/frs/download.php/file/37331/
1.1       kondoh      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` ; \
1.2       fujimoto   42:                if [ -z $TARGET_TYPE ]; then \
                     43:                        if [  "`uname | sed -e 's/_.*$$//'`" = "CYGWIN" ]; then \
                     44:                          make configure-cygwin ; \
                     45:                        elif [  "`uname | sed -e 's/_.*$$//'`" = "MSYS" ];  then \
                     46:                          make configure-msys ; \
                     47:                        else \
                     48:                          make configure-others ; \
                     49:                        fi ; \
1.1       kondoh     50:                else \
1.2       fujimoto   51:                  make configure-cross ; \
1.1       kondoh     52:                fi ; \
                     53:        fi
                     54:        @touch work/.configure_done
                     55:
                     56: configure-cygwin:
                     57:        prefix=`cd ${OpenXM_HOME}; pwd`  ; \
                     58:        (cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe --enable-static --disable-shared)
                     59: configure-msys:
                     60:        prefix=`cd ${OpenXM_HOME}; pwd`  ; \
                     61:        (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 )
                     62: configure-others:
                     63:        prefix=`cd ${OpenXM_HOME}; pwd`  ; \
                     64:        (cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe)
1.2       fujimoto   65: configure-cross:
                     66:        prefix=`cd ${OpenXM_HOME}; pwd`  ; \
                     67:        (cd ${WRKSRC}; CC=${CC} ./configure --host=${TARGET_TYPE} --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe)
1.1       kondoh     68:
                     69: build : configure
                     70:        @if [ ! -f work/.build_done ]; then \
                     71:                (cd ${WRKSRC} ; ${MAKE} CC=${CC}) ; \
                     72:        fi
                     73:        @touch work/.build_done
                     74:
                     75: install: build
                     76:        -mkdir ${PREFIX}/bin ${PREFIX}/lib
                     77:        @if [ ! -f work/.install_done ]; then \
                     78:                (cd ${WRKSRC} ; ${MAKE} install) ; \
                     79:        fi
                     80:        @touch work/.install_done
                     81:
                     82: clean:
                     83:        -${RM} -rf work
                     84:
                     85: distclean: clean