Return to Makefile CVS log

Up to [local] / OpenXM / src / asir2018

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

1.4     ! fujimoto    1: # $OpenXM: OpenXM/src/asir2018/Makefile,v 1.3 2020/01/08 17:29:26 ohara Exp $
1.1       noro        2:
                      3: OpenXM_HOME=../..
                      4: PREFIX=${OpenXM_HOME}
                      5: DISTDIR=${OpenXM_HOME}/../OpenXM_dist
                      6: ASIR = ../../../OpenXM_contrib2/asir2018
                      7: PARI = ../pari
1.3       ohara       8: ASIR_GC = ../asir-gc
1.1       noro        9:
1.3       ohara      10: all: configure
1.1       noro       11:        @if [ ! -f ./.make_done ]; then \
                     12:                (cd ${ASIR} ; ${MAKE} all) \
                     13:        fi
                     14:        @touch ./.make_done
                     15:
1.3       ohara      16: all-nox: configure-nox
1.1       noro       17:        @if [ ! -f ./.make_done ]; then \
                     18:                (cd ${ASIR} ; ${MAKE} all) \
                     19:        fi
                     20:        @touch ./.make_done
                     21:
                     22: install: all
                     23:        (cd ${ASIR} ; ${MAKE} install-openxm)
                     24:
1.4     ! fujimoto   25: install-nox: all-nox
        !            26:        (cd ${ASIR} ; ${MAKE} install-openxm)
        !            27:
1.1       noro       28: clean:
                     29:        (cd ${ASIR} ; ${MAKE} clean)
                     30:        @rm -f ./.make_* ./.configure_* ./.install-* ./.fetch*
                     31:
                     32: distclean: clean
                     33:        @cat BINARIES | xargs -t rm -rf
                     34:
1.3       ohara      35: fetch: install-pari install-asirgc
1.1       noro       36:
                     37: configure: fetch
                     38:        @if [ ! -f ./.configure_done ]; then \
1.4     ! fujimoto   39:                if [ -z $TARGET_TYPE ]; then \
        !            40:                    (cd $(ASIR) ; \
        !            41:                    ./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
        !            42:                else \
        !            43:                    (cd $(ASIR) ; \
        !            44:                    ./configure --host=${TARGET_TYPE} --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
        !            45:                fi \
1.1       noro       46:        fi
                     47:        @touch ./.configure_done
                     48:
                     49: configure-nox: fetch
                     50:        @if [ ! -f ./.configure_done ]; then \
1.4     ! fujimoto   51:                if [ -z $TARGET_TYPE ]; then \
        !            52:                    (cd $(ASIR) ; \
        !            53:                     ./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \
        !            54:                else \
        !            55:                    (cd $(ASIR) ; \
        !            56:                     ./configure --host=${TARGET_TYPE} --disable-plot --prefix="`cd ../../OpenXM; pwd`") \
        !            57:                fi \
1.1       noro       58:        fi
                     59:        @touch ./.configure_done
                     60:
                     61: configure-static: fetch
                     62:        @if [ ! -f ./.configure_done ]; then \
1.4     ! fujimoto   63:                if [ -z $TARGET_TYPE ]; then \
        !            64:                    (cd $(ASIR) ; \
        !            65:                     ./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
        !            66:                else \
        !            67:                    (cd $(ASIR) ; \
        !            68:                     ./configure --host=${TARGET_TYPE} --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
        !            69:                fi \
1.1       noro       70:        fi
                     71:        @touch ./.configure_done
                     72:
1.2       kondoh     73: configure-interval: fetch
                     74:        @if [ ! -f ./.configure_done ]; then \
1.4     ! fujimoto   75:                if [ -z $TARGET_TYPE ]; then \
        !            76:                    (cd $(ASIR) ; \
        !            77:                     ./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \
        !            78:                else \
        !            79:                    (cd $(ASIR) ; \
        !            80:                     ./configure --host=${TARGET_TYPE} --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \
        !            81:                fi \
1.2       kondoh     82:        fi
                     83:        @touch ./.configure_done
                     84:
1.1       noro       85: install-pari:
                     86:        @if [ ! -f ./.install-pari_done ]; then \
                     87:                (cd ${PARI} ; ${MAKE} install) \
                     88:        fi
                     89:        @touch ./.install-pari_done
1.3       ohara      90:
                     91: install-asirgc:
                     92:        @if [ ! -f ./.install-asirgc_done ]; then \
                     93:                (cd ${ASIR_GC} ; ${MAKE} install) \
                     94:        fi
                     95:        @touch ./.install-asirgc_done