Return to Makefile CVS log

Up to [local] / OpenXM / src / asir2018

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

1.1     ! noro        1: # $OpenXM$
        !             2:
        !             3: OpenXM_HOME=../..
        !             4: PREFIX=${OpenXM_HOME}
        !             5: DISTDIR=${OpenXM_HOME}/../OpenXM_dist
        !             6: MASTER_SITE=http://www.math.kobe-u.ac.jp/pub/OpenXM/misc/
        !             7: # Original. http://www.hboehm.info/gc/gc_source
        !             8: DISTNAME=gc-7.4.2
        !             9: DISTFILES=${DISTNAME}.tar.gz libatomic_ops-7.4.0.tar.gz
        !            10:
        !            11: ASIR = ../../../OpenXM_contrib2/asir2018
        !            12: PARI = ../pari
        !            13:
        !            14: all: configure install-pari
        !            15:        @if [ ! -f ./.make_done ]; then \
        !            16:                (cd ${ASIR} ; ${MAKE} all) \
        !            17:        fi
        !            18:        @touch ./.make_done
        !            19:
        !            20: all-nox: configure-nox install-pari
        !            21:        @if [ ! -f ./.make_done ]; then \
        !            22:                (cd ${ASIR} ; ${MAKE} all) \
        !            23:        fi
        !            24:        @touch ./.make_done
        !            25:
        !            26: install: all
        !            27:        (cd ${ASIR} ; ${MAKE} install-openxm)
        !            28:
        !            29: clean:
        !            30:        (cd ${ASIR} ; ${MAKE} clean)
        !            31:        @rm -f ./.make_* ./.configure_* ./.install-* ./.fetch*
        !            32:
        !            33: distclean: clean
        !            34:        @cat BINARIES | xargs -t rm -rf
        !            35:
        !            36: fetch:
        !            37:        @if [ ! -f .fetch_done ]; then \
        !            38:                for i in ${DISTFILES}; do \
        !            39:                        ${OpenXM_HOME}/bin/oxfetch.sh ${MASTER_SITE}$$i ${DISTDIR}; \
        !            40:                done \
        !            41:        fi
        !            42:        @touch .fetch_done
        !            43:
        !            44: configure: fetch
        !            45:        @if [ ! -f ./.configure_done ]; then \
        !            46:                (cd $(ASIR) ; \
        !            47:             ./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
        !            48:        fi
        !            49:        @touch ./.configure_done
        !            50:
        !            51: configure-nox: fetch
        !            52:        @if [ ! -f ./.configure_done ]; then \
        !            53:                (cd $(ASIR) ; \
        !            54:             ./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \
        !            55:        fi
        !            56:        @touch ./.configure_done
        !            57:
        !            58: configure-static: fetch
        !            59:        @if [ ! -f ./.configure_done ]; then \
        !            60:                (cd $(ASIR) ; \
        !            61:             ./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
        !            62:        fi
        !            63:        @touch ./.configure_done
        !            64:
        !            65: install-pari:
        !            66:        @if [ ! -f ./.install-pari_done ]; then \
        !            67:                (cd ${PARI} ; ${MAKE} install) \
        !            68:        fi
        !            69:        @touch ./.install-pari_done