-dnl ===========================================================================
-dnl Produce a Makefile from Makefile.in:
-dnl ===========================================================================
+dnl Configure GiNaC-cint, if requested
+if [[ "x$with_cint" != "xno" ]]; then
+ echo "with_cint is set to: $with_cint"
+ CINTSYSDIR=$with_cint
+ AC_PATH_PROG(CINT, cint, "", $CINTSYSDIR:$PATH)
+ AC_PATH_PROG(MAKECINT, makecint, "", $CINTSYSDIR:$PATH)
+ if [[ "$cint" -a "$makecint" ]]; then
+ AC_MSG_RESULT([Configuring GiNaC-cint])
+ else
+ AC_MSG_ERROR([Cannot configure GiNaC-cint])
+ fi
+fi
+
+dnl Output makefiles etc.