+if [ "x$with_cint" != "xno" ]; then
+ echo "with_cint is set to: $with_cint"
+ CINTSYSDIR=$with_cint
+ # Extract the first word of "cint", so it can be a program name with args.
+set dummy cint; ac_word=$2
+echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
+echo "configure:2863: checking for $ac_word" >&5
+if eval "test \"`echo '$''{'ac_cv_path_CINT'+set}'`\" = set"; then
+ echo $ac_n "(cached) $ac_c" 1>&6
+else
+ case "$CINT" in
+ /*)
+ ac_cv_path_CINT="$CINT" # Let the user override the test with a path.
+ ;;
+ ?:/*)
+ ac_cv_path_CINT="$CINT" # Let the user override the test with a dos path.
+ ;;
+ *)
+ IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
+ ac_dummy="$CINTSYSDIR:$PATH"
+ for ac_dir in $ac_dummy; do
+ test -z "$ac_dir" && ac_dir=.
+ if test -f $ac_dir/$ac_word; then
+ ac_cv_path_CINT="$ac_dir/$ac_word"
+ break
+ fi
+ done
+ IFS="$ac_save_ifs"
+ test -z "$ac_cv_path_CINT" && ac_cv_path_CINT=""""
+ ;;
+esac
+fi
+CINT="$ac_cv_path_CINT"
+if test -n "$CINT"; then
+ echo "$ac_t""$CINT" 1>&6
+else
+ echo "$ac_t""no" 1>&6
+fi
+
+ # Extract the first word of "makecint", so it can be a program name with args.
+set dummy makecint; ac_word=$2
+echo $ac_n "checking for $ac_word""... $ac_c" 1>&6
+echo "configure:2899: checking for $ac_word" >&5
+if eval "test \"`echo '$''{'ac_cv_path_MAKECINT'+set}'`\" = set"; then
+ echo $ac_n "(cached) $ac_c" 1>&6
+else
+ case "$MAKECINT" in
+ /*)
+ ac_cv_path_MAKECINT="$MAKECINT" # Let the user override the test with a path.
+ ;;
+ ?:/*)
+ ac_cv_path_MAKECINT="$MAKECINT" # Let the user override the test with a dos path.
+ ;;
+ *)
+ IFS="${IFS= }"; ac_save_ifs="$IFS"; IFS=":"
+ ac_dummy="$CINTSYSDIR:$PATH"
+ for ac_dir in $ac_dummy; do
+ test -z "$ac_dir" && ac_dir=.
+ if test -f $ac_dir/$ac_word; then
+ ac_cv_path_MAKECINT="$ac_dir/$ac_word"
+ break
+ fi
+ done
+ IFS="$ac_save_ifs"
+ test -z "$ac_cv_path_MAKECINT" && ac_cv_path_MAKECINT=""""
+ ;;
+esac
+fi
+MAKECINT="$ac_cv_path_MAKECINT"
+if test -n "$MAKECINT"; then
+ echo "$ac_t""$MAKECINT" 1>&6
+else
+ echo "$ac_t""no" 1>&6
+fi
+
+ if [ "$cint" -a "$makecint" ]; then
+ echo "$ac_t""Configuring GiNaC-cint" 1>&6
+ else
+ { echo "configure: error: Cannot configure GiNaC-cint" 1>&2; exit 1; }
+ fi
+fi
+