+if test "x${enable_ps_doc}" = "xyes"; then
+ TUTORIAL_TARGETS="$TUTORIAL_TARGETS ginac.ps"
+ if [ "$DOXYGEN" ]; then
+ REFERENCE_TARGETS="$REFERENCE_TARGETS reference.ps"
+ fi
+fi
+
+
+
+GINACCINTDIR=
+if test "x$with_cint" != "xno"; then
+ if test "x$with_cint" = "xyes"; then
+ if test "x$CINTSYSDIR" = "x"; then
+ { echo "configure: error: please export \$CINTSYSDIR or specify --with-cint=CINTSYSDIR" 1>&2; exit 1; }
+ fi
+ else
+ CINTSYSDIR=$with_cint
+ export CINTSYSDIR
+ fi
+ # 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:3003: 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:3039: 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""creating cint/Makefile" 1>&6
+ (cd cint && \
+ $MAKECINT -mk Makefile.makecint -o ginaccint.bin -m \
+ -D OBSCURE_CINT_HACK "$CPPFLAGS" -cc "$CXXFLAGS" \
+ -I .. -I $CINTSYSDIR -m -H ../ginac/ginac.h \
+ -C++ ginaccint.bin.cpp \
+ -l -L../ginac/.libs -lginac -lcln \
+ -cint -M0x10; \
+ cd ..)
+ GINACCINTDIR="cint"
+ else
+ { echo "configure: error: Cannot configure GiNaC-cint" 1>&2; exit 1; }
+ fi