-dnl ===========================================================================
-dnl Produce a Makefile from Makefile.in:
-dnl ===========================================================================
+dnl Configure GiNaC-cint
+LIBGINACCINT=
+GINACCINTDIR=
+if [[ "x$with_cint" != "xno" ]]; then
+ if [[ "x$enable_static" != "xyes" ]]; then
+ AC_MSG_ERROR([currently GiNaC-cint needs to build a static libginac])
+ fi
+ if [[ "x$with_cint" = "xyes" ]]; then
+ if [[ "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 -D NO_NAMESPACE_GINAC \
+ -I .. -I $CINTSYSDIR -m -H ../ginac/ginac.h dummies.h \
+ -C++ dummies.cpp -C++ ginaccint.bin.cpp \
+ -l ./libginac.a -lcln -cint -M0x10; \
+ cd ..)
+ LIBGINACCINT="libginac.a"
+ GINACCINTDIR="cint"
+ else
+ AC_MSG_ERROR([Cannot configure GiNaC-cint])
+ fi
+fi
+AC_SUBST(CINTSYSDIR)
+AC_SUBST(LIBGINACCINT)
+AC_SUBST(GINACCINTDIR)
+
+dnl Output makefiles etc.