Return to Makefile CVS log

Up to [local] / OpenXM / src / asir2018

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

1.5     ! ohara       1: # $OpenXM: OpenXM/src/asir2018/Makefile,v 1.4 2021/03/24 14:32:47 fujimoto 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) ; \
1.5     ! ohara      41:                    ./configure --enable-plot --enable-fep --prefix="`cd ../../OpenXM; pwd`") \
1.4       fujimoto   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