X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=configure.in;h=7ace813a1569f2b27e09f4f7ea7ad99bb909dd28;hp=a42eba2c135f87f99126228e43bc41d7b0b3552f;hb=f21bfb8ee809a5709b6016515c57f96d87f56e0a;hpb=a331d1fd814315cd934c4f0ebf0cf485dc52fe96

diff --git a/configure.in b/configure.in
index a42eba2c..7ace813a 100644
--- a/configure.in
+++ b/configure.in
@@ -6,7 +6,7 @@ AC_PREREQ(2.13)
 dnl Configure options
 AC_ARG_ENABLE(html-doc, [  --enable-html-doc       build HTML documentation [default=yes]], , enable_html_doc=yes)
 AC_ARG_ENABLE(ps-doc,   [  --enable-ps-doc         build PostScript documentation [default=yes]], , enable_ps_doc=yes)
-AC_ARG_WITH(cint, [  --with-cint             build GiNaC-cint C++ interpreter [default=no]], with_cint=no])
+AC_ARG_WITH(cint, [  --with-cint=CINTSYSDIR  build GiNaC-cint C++ interpreter [default=no]], , with_cint=no)
 
 dnl GiNaC library version information
 dnl
@@ -145,6 +145,19 @@ fi
 AC_SUBST(TUTORIAL_TARGETS)
 AC_SUBST(REFERENCE_TARGETS)
 
+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.
 AC_OUTPUT([
 Makefile