- Changed the name of cache-value ac_cv_header_CLN_cln_h to
[ginac.git] / configure.in
index a42eba2c135f87f99126228e43bc41d7b0b3552f..7ace813a1569f2b27e09f4f7ea7ad99bb909dd28 100644 (file)
@@ -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