=================================================================== RCS file: /home/cvs/OpenXM/src/asir2018/Makefile,v retrieving revision 1.4 retrieving revision 1.6 diff -u -p -r1.4 -r1.6 --- OpenXM/src/asir2018/Makefile 2021/03/24 14:32:47 1.4 +++ OpenXM/src/asir2018/Makefile 2022/09/07 05:58:08 1.6 @@ -1,4 +1,4 @@ -# $OpenXM: OpenXM/src/asir2018/Makefile,v 1.3 2020/01/08 17:29:26 ohara Exp $ +# $OpenXM: OpenXM/src/asir2018/Makefile,v 1.5 2022/09/07 03:20:07 ohara Exp $ OpenXM_HOME=../.. PREFIX=${OpenXM_HOME} @@ -36,9 +36,9 @@ fetch: install-pari install-asirgc configure: fetch @if [ ! -f ./.configure_done ]; then \ - if [ -z $TARGET_TYPE ]; then \ + if [ -z "${TARGET_TYPE}" ]; then \ (cd $(ASIR) ; \ - ./configure --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ + ./configure --enable-plot --enable-fep --prefix="`cd ../../OpenXM; pwd`") \ else \ (cd $(ASIR) ; \ ./configure --host=${TARGET_TYPE} --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ @@ -48,7 +48,7 @@ configure: fetch configure-nox: fetch @if [ ! -f ./.configure_done ]; then \ - if [ -z $TARGET_TYPE ]; then \ + if [ -z "${TARGET_TYPE}" ]; then \ (cd $(ASIR) ; \ ./configure --disable-plot --prefix="`cd ../../OpenXM; pwd`") \ else \ @@ -60,7 +60,7 @@ configure-nox: fetch configure-static: fetch @if [ ! -f ./.configure_done ]; then \ - if [ -z $TARGET_TYPE ]; then \ + if [ -z "${TARGET_TYPE}" ]; then \ (cd $(ASIR) ; \ ./configure --enable-static-gmp --enable-plot --prefix="`cd ../../OpenXM; pwd`") \ else \ @@ -72,7 +72,7 @@ configure-static: fetch configure-interval: fetch @if [ ! -f ./.configure_done ]; then \ - if [ -z $TARGET_TYPE ]; then \ + if [ -z "${TARGET_TYPE}" ]; then \ (cd $(ASIR) ; \ ./configure --enable-plot --enable-interval --prefix="`cd ../../OpenXM; pwd`") \ else \