cut_c is now always installed.

This commit is contained in:
Vitor Santos Costa 2010-03-05 08:23:24 +00:00
parent 2685a8449d
commit 5ab629e8e0
2 changed files with 0 additions and 50 deletions

28
configure vendored
View File

@ -734,7 +734,6 @@ SHELL'
ac_subst_files=''
ac_user_opts='
enable_option_checking
enable_cut_c
enable_tabling
enable_or_parallelism
enable_rational_trees
@ -1401,7 +1400,6 @@ Optional Features:
--disable-option-checking ignore unrecognized --enable/--with options
--disable-FEATURE do not include FEATURE (same as --enable-FEATURE=no)
--enable-FEATURE[=ARG] include FEATURE [ARG=yes]
--enable-cut-c support for executing c code when a cut occurs
--enable-tabling support tabling
--enable-or-parallelism support or-parallelism as: env-copy,sba,a-cow
--enable-rational-trees support infinite rational trees
@ -3552,13 +3550,6 @@ done
# Check whether --enable-cut-c was given.
if test "${enable_cut_c+set}" = set; then :
enableval=$enable_cut_c; cutc="$enableval"
else
cutc=no
fi
# Check whether --enable-tabling was given.
if test "${enable_tabling+set}" = set; then :
enableval=$enable_tabling; tabling="$enableval"
@ -5482,25 +5473,6 @@ $as_echo "$yap_cv_odbc" >&6; }
echo "-------------------------------"
exit
fi
if test "$cutc" = no
then
echo
echo
echo "********************************************************"
echo
echo
echo "!!!!!! WARNING !!!!!!"
echo "The MYDDAS interface makes no sense without cut-c"
echo "Please contact tiagosoares@ncc.up.pt for help"
echo
echo "Enabling cut-c"
echo
echo "********************************************************"
echo
echo
cutc="yes"
fi
fi
if test "$myddasstats" = "yes"

View File

@ -17,9 +17,6 @@ AC_SUBST(GCC)
AC_SUBST(C_INTERF_FLAGS)
AC_SUBST(C_PARSER_FLAGS)
AC_ARG_ENABLE(cut-c,
[ --enable-cut-c support for executing c code when a cut occurs ],
cutc="$enableval", cutc=no)
AC_ARG_ENABLE(tabling,
[ --enable-tabling support tabling ],
tabling="$enableval", tabling=no)
@ -615,25 +612,6 @@ then
echo "-------------------------------"
exit
fi
if test "$cutc" = no
then
echo
echo
echo "********************************************************"
echo
echo
echo "!!!!!! WARNING !!!!!!"
echo "The MYDDAS interface makes no sense without cut-c"
echo "Please contact tiagosoares@ncc.up.pt for help"
echo
echo "Enabling cut-c"
echo
echo "********************************************************"
echo
echo
cutc="yes"
fi
fi
if test "$myddasstats" = "yes"