Return to Makefile CVS log

Up to [local] / OpenXM / src / asir2018

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

1.3     ! ohara       1: # $OpenXM: OpenXM/src/asir2018/Makefile,v 1.2 2018/12/22 01:54:58 kondoh 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:
                     25: clean:
                     26:        (cd ${ASIR} ; ${MAKE} clean)
                     27:        @rm -f ./.make_* ./.configure_* ./.install-* ./.fetch*
                     28:
                     29: distclean: clean
                     30:        @cat BINARIES | xargs -t rm -rf
                     31:
1.3     ! ohara      32: fetch: install-pari install-asirgc
1.1       noro       33:
                     34: configure: fetch
                     35:        @if [ ! -f ./.configure_done ]; then \
                     36:                (cd $(ASIR) ; \
                     37:             ./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
                     38:        fi
                     39:        @touch ./.configure_done
                     40:
                     41: configure-nox: fetch
                     42:        @if [ ! -f ./.configure_done ]; then \
                     43:                (cd $(ASIR) ; \
                     44:             ./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \
                     45:        fi
                     46:        @touch ./.configure_done
                     47:
                     48: configure-static: fetch
                     49:        @if [ ! -f ./.configure_done ]; then \
                     50:                (cd $(ASIR) ; \
                     51:             ./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \
                     52:        fi
                     53:        @touch ./.configure_done
                     54:
1.2       kondoh     55: configure-interval: fetch
                     56:        @if [ ! -f ./.configure_done ]; then \
                     57:                (cd $(ASIR) ; \
                     58:             ./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \
                     59:        fi
                     60:        @touch ./.configure_done
                     61:
1.1       noro       62: install-pari:
                     63:        @if [ ! -f ./.install-pari_done ]; then \
                     64:                (cd ${PARI} ; ${MAKE} install) \
                     65:        fi
                     66:        @touch ./.install-pari_done
1.3     ! ohara      67:
        !            68: install-asirgc:
        !            69:        @if [ ! -f ./.install-asirgc_done ]; then \
        !            70:                (cd ${ASIR_GC} ; ${MAKE} install) \
        !            71:        fi
        !            72:        @touch ./.install-asirgc_done