Return to Makefile CVS log

Up to [local] / OpenXM / src / mpc

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

1.1     ! noro        1: # $OpenXM$
        !             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: DISTNAME=mpc-1.0.3
        !             8: DISTFILES=${DISTNAME}.tar.gz
        !             9: WRKSRC=work/${DISTNAME}
        !            10: PATCHFILES =
        !            11:
        !            12: all : build
        !            13:
        !            14: fetch:
        !            15:        -mkdir work
        !            16:        @if [ ! -f work/.fetch_done ]; then \
        !            17:                ${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}${DISTFILES} ${DISTDIR}; \
        !            18:        fi
        !            19:        @touch work/.fetch_done
        !            20:
        !            21: extract: fetch
        !            22:        @if [ ! -f work/.extract_done ]; then \
        !            23:            cat ${DISTDIR}/${DISTFILES} | (cd work ; tar xzvf -) ; \
        !            24:        fi
        !            25:        @touch work/.extract_done
        !            26:
        !            27: patch: extract
        !            28:        @if [ ! -f work/.patch_done ]; then \
        !            29:         for i in ${PATCHFILES} ; do \
        !            30:                cat $$i | (cd ${WRKSRC}; patch -p0) ; \
        !            31:         done ; \
        !            32:        fi
        !            33:        @touch work/.patch_done
        !            34:
        !            35: configure: patch
        !            36:        @if [ ! -f work/.configure_done ]; then \
        !            37:                prefix=`cd ${OpenXM_HOME}; pwd` ; \
        !            38:                (cd ${WRKSRC} ; CC=${CC} ./configure --prefix="$$prefix" --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" ) ; \
        !            39:        fi
        !            40:        @touch work/.configure_done
        !            41:
        !            42: build : configure
        !            43:        @if [ ! -f work/.build_done ]; then \
        !            44:                (cd ${WRKSRC} ; ${MAKE} CC=${CC}) ; \
        !            45:        fi
        !            46:        @touch work/.build_done
        !            47:
        !            48: install: build
        !            49:        -mkdir ${PREFIX}/bin ${PREFIX}/lib
        !            50:        @if [ ! -f work/.install_done ]; then \
        !            51:                (cd ${WRKSRC} ; ${MAKE} install) ; \
        !            52:        fi
        !            53:        @touch work/.install_done
        !            54:
        !            55: clean:
        !            56:        -${RM} -rf work
        !            57:
        !            58: distclean: clean