X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=configure.in;h=066d4f2eac782108ff0ea008b1637c926145dfcd;hp=cfdf0fc0fc22f0b30afc9a4fcf5570100573a0d0;hb=dab53bee0de888619c55b9ff7d7427dda67d9186;hpb=7dc39bc3be36061c6dea51b0c421d178dfe7f0db

diff --git a/configure.in b/configure.in
index cfdf0fc0..066d4f2e 100644
--- a/configure.in
+++ b/configure.in
@@ -3,6 +3,10 @@ dnl Process this file with autoconf to produce a configure script.
 AC_INIT(ginac/basic.cpp)
 AC_PREREQ(2.12)
 
+dnl Configure options
+AC_ARG_ENABLE(html-doc, [  --enable-help-doc       build HTML documentation [default=yes]], , enable_html_doc=yes)
+AC_ARG_ENABLE(ps-doc,   [  --enable-ps-doc         build PostScript documentation [default=no]], , enable_ps_doc=no)
+
 dnl GiNaC version information
 dnl
 dnl Making releases:
@@ -71,29 +75,52 @@ dnl enough so trying the .h-style headers is a waste of time.
 AC_CHECK_HEADERS(iostream vector map string list typeinfo iterator strstream stdexcept algorithm, ,
     AC_MSG_ERROR(need to have ANSI compliant headers))
 
-dnl We need to have Bruno Haible's CLN installed (macros are in aclocal.m4):
-GINAC_CHECK_CLN_H
-GINAC_CHECK_LIBCLN
-
 dnl Check for stuff needed for building the GiNaC interactive shell (ginsh):
 AC_CHECK_HEADERS(unistd.h)
-AC_REPLACE_FUNCS(strdup)
 AC_CHECK_HEADERS(readline/readline.h readline/history.h)
 AC_CHECK_LIB(readline, readline)
 
+dnl We need to have Bruno Haible's CLN installed (macros are in acinclude.m4):
+GINAC_CHECK_CLN_H
+GINAC_CHECK_LIBCLN
+
 dnl Check for utilities needed by the different kinds of documentation.
 dnl Documantation needs only be built when extending it, so never mind if it
 dnl cannot find those helpers:
 AC_PATH_PROG(DOXYGEN, doxygen, "")
+AC_PATH_PROG(JADE, jade, "")
+AC_PATH_PROG(JADETEX, jadetex, "")
 AC_PATH_PROG(LATEX, latex, "")
 AC_PATH_PROG(MAKEINDEX, makeindex, "")
 AC_PATH_PROG(DVIPS, dvips, "")
 AC_PATH_PROG(FIG2DEV, fig2dev, "")
-AC_PATH_PROG(JADE, jade, "")
-AC_PATH_PROG(JADETEX, jadetex, "")
+
+dnl Determine which documentation shall be built
+TUTORIAL_TARGETS=
+REFERENCE_TARGETS=
+if [[ "x$enable_html_doc" = "xyes" ]]; then
+  TUTORIAL_TARGETS="$TUTORIAL_TARGETS index.html"
+  REFERENCE_TARGETS="$REFERENCE_TARGETS index.html"
+fi
+if [[ "x$enable_ps_doc" = "xyes" ]]; then
+# currently doesn't work
+#  TUTORIAL_TARGETS="$TUTORIAL_TARGETS tutorial.ps"
+  REFERENCE_TARGETS="$REFERENCE_TARGETS reference.ps"
+fi
+AC_SUBST(TUTORIAL_TARGETS)
+AC_SUBST(REFERENCE_TARGETS)
 
 dnl ===========================================================================
 dnl Produce a Makefile from Makefile.in:
 dnl ===========================================================================
-AC_OUTPUT([Makefile ginac/Makefile check/Makefile ginsh/Makefile doc/Makefile])
+AC_OUTPUT([
+Makefile
+GiNaC.spec
+ginac/Makefile
+check/Makefile
+ginsh/Makefile
+doc/Makefile
+doc/tutorial/Makefile
+doc/reference/Makefile
+])
 echo "Configuration done. Now type \"make\"."