Return to Makefile CVS log

Up to [local] / OpenXM / src / asir2018

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

1.2     ! kondoh      1: # $OpenXM: OpenXM/src/asir2018/Makefile,v 1.1 2018/09/19 05:52:21 noro Exp $
1.1       noro        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:
1.2     ! kondoh     65: configure-interval: fetch
        !            66:        @if [ ! -f ./.configure_done ]; then \
        !            67:                (cd $(ASIR) ; \
        !            68:             ./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \
        !            69:        fi
        !            70:        @touch ./.configure_done
        !            71:
1.1       noro       72: install-pari:
                     73:        @if [ ! -f ./.install-pari_done ]; then \
                     74:                (cd ${PARI} ; ${MAKE} install) \
                     75:        fi
                     76:        @touch ./.install-pari_done