+dnl Configure GiNaC-cint
+GINACCINTDIR=
+if test "x$with_cint" != "xno"; then
+ if test "x$with_cint" = "xyes"; then
+ if test "x$CINTSYSDIR" = "x"; then
+ AC_MSG_ERROR([please export \$CINTSYSDIR or specify --with-cint=CINTSYSDIR])
+ fi
+ else
+ CINTSYSDIR=$with_cint
+ export CINTSYSDIR
+ fi
+ AC_PATH_PROG(CINT, cint, "", $CINTSYSDIR:$PATH)
+ AC_PATH_PROG(MAKECINT, makecint, "", $CINTSYSDIR:$PATH)
+ if [[ "$CINT" -a "$MAKECINT" ]]; then
+ AC_MSG_RESULT([creating cint/Makefile])
+ (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
+ AC_MSG_ERROR([Cannot configure GiNaC-cint])
+ fi
+fi
+AC_SUBST(CINTSYSDIR)
+AC_SUBST(GINACCINTDIR)
+