X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=configure.in;h=a1a3903d80aee26eca4f83c8cf9ee42009905ac7;hp=069bb7279c9f9cf8ca5e6a17a3d545b44b60d9b2;hb=4fb81453461f004b7334bac10d1eed60ac9837b8;hpb=c10054835b4c63a95b37703a952d663f280aa1ce;ds=sidebyside diff --git a/configure.in b/configure.in index 069bb727..a1a3903d 100644 --- a/configure.in +++ b/configure.in @@ -1,82 +1,98 @@ -dnl =========================================================================== -dnl Process this file with GNU Autoconf to produce a configure script. Then -dnl call ./configure to create Makefiles. After that say make and make install. -dnl See aclocal.m4 for additional self-made macros. -dnl =========================================================================== +dnl Process this file with autoconf to produce a configure script. -dnl This file is used as a signal that everything is in place: -AC_INIT(include/GiNaC/ginac.h) -dnl A convenient header file for some additional system-dependend output: -AC_CONFIG_HEADER(config.h) +AC_INIT(ginac/basic.cpp) +AC_PREREQ(2.13) -dnl Set the Version Number at this place only: -GiNaC_Major_Version=0 -GiNaC_Minor_Version=0 -GiNaC_Micro_Version=40 -dnl This composite variable can be inserted where it appears necessary: -GiNaC_Version="${GiNaC_Major_Version}.${GiNaC_Minor_Version}.${GiNaC_Micro_Version}" -dnl This composition is needed for libtool, if a shared lib shall be built: -LibGiNaC_Ver="${GiNaC_Major_Version}:${GiNaC_Micro_Version}:${GiNaC_Minor_Version}" +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=yes]], , enable_ps_doc=yes) -dnl =========================================================================== -dnl Several features need to be added to standard-configure: -dnl =========================================================================== -AC_ARG_ENABLE(shared, - [ --enable-shared build shared libraries [default=no] - (a static library will still be built as well)], - shared=${enableval}, shared="no") +dnl GiNaC version information +dnl +dnl Making releases: +dnl GINACLIB_MICRO_VERSION += 1; +dnl GINACLIB_INTERFACE_AGE += 1; +dnl GINACLIB_BINARY_AGE += 1; +dnl if any functions have been added, set GINACLIB_INTERFACE_AGE to 0. +dnl if backwards compatibility has been broken, +dnl set GINACLIB_BINARY_AGE and GINACLIB_INTERFACE_AGE to 0. +dnl +dnl NOTE: these can't be renamed to GINAC_MAJOR_VERSION etc. because +dnl autoconf sees "AC_MAJOR_VERSION" and complains about an undefined macro +dnl (don't we all *love* autoconf?)... + +GINACLIB_MAJOR_VERSION=0 +GINACLIB_MINOR_VERSION=4 +GINACLIB_MICRO_VERSION=0 +GINACLIB_INTERFACE_AGE=0 +GINACLIB_BINARY_AGE=0 +GINACLIB_VERSION=$GINACLIB_MAJOR_VERSION.$GINACLIB_MINOR_VERSION.$GINACLIB_MICRO_VERSION + +AC_SUBST(GINACLIB_MAJOR_VERSION) +AC_SUBST(GINACLIB_MINOR_VERSION) +AC_SUBST(GINACLIB_MICRO_VERSION) +AC_SUBST(GINACLIB_INTERFACE_AGE) +AC_SUBST(GINACLIB_BINARY_AGE) +AC_SUBST(GINACLIB_VERSION) + +dnl libtool versioning +LT_RELEASE=$GINACLIB_MAJOR_VERSION.$GINACLIB_MINOR_VERSION +LT_CURRENT=`expr $GINACLIB_MICRO_VERSION - $GINACLIB_INTERFACE_AGE` +LT_REVISION=$GINACLIB_INTERFACE_AGE +LT_AGE=`expr $GINACLIB_BINARY_AGE - $GINACLIB_INTERFACE_AGE` + +AC_SUBST(LT_RELEASE) +AC_SUBST(LT_CURRENT) +AC_SUBST(LT_REVISION) +AC_SUBST(LT_AGE) + +dnl This defines PACKAGE and VERSION +AM_CONFIG_HEADER(config.h) +AM_INIT_AUTOMAKE([GiNaC], $GINACLIB_VERSION) +AM_MAINTAINER_MODE dnl =========================================================================== dnl Check for the compiler and all the utilities needed for the build: dnl =========================================================================== -dnl Which is the C++ Compiler? (whether to use c++, g++, gcc, CC, cxx, cc++...) AC_PROG_CXX -dnl How to run the C++ preprocessor? AC_PROG_CXXCPP +AC_PROG_INSTALL +AM_PROG_LIBTOOL +AM_PROG_LEX +AC_PROG_YACC + +dnl Check for data types which are needed by the hash function (golden_ratio_hash) +AC_CHECK_SIZEOF(long, 4) +AC_CHECK_SIZEOF(long long, 8) +AC_CHECK_SIZEOF(long double, 12) + dnl Switch to C++ language mode for the following libraries and headers: AC_LANG_CPLUSPLUS + +dnl Check for stuff needed for building the GiNaC interactive shell (ginsh): +AC_CHECK_HEADERS(unistd.h) +AC_CHECK_HEADERS(readline/readline.h readline/history.h) +save_LIBS=$LIBS +AC_CHECK_LIB(readline, readline) +GINSH_LIBS=$LIBS +LIBS=$save_LIBS +AC_SUBST(GINSH_LIBS) + dnl Make sure the following libraries work by testing for symbols therein. dnl They are automatically added the the variable $LIBS and thus passed into dnl the Makefile: AC_CHECK_LIB(stdc++, cout) + dnl Make sure all the necessary new-style headers are installed on the system. dnl If one of them cannot be found the system is probably not ANSI-conform 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): + +dnl We need to have Bruno Haible's CLN installed (macros are in acinclude.m4): GINAC_CHECK_CLN_H GINAC_CHECK_LIBCLN -dnl We need to distribure install-sh anyways since otherwise configure will -dnl refuse to do several things, like divert into subdirs and so: -AC_PROG_INSTALL -dnl Todd Brunhoff's makedepend utility is needed by make: -AC_PATH_PROG(MAKEDEPEND, makedepend, "") -dnl We need GNU libtool if the user chose to create a shared lib. (By using a -dnl little trick we can safely recycle the variable shlib which is later passed -dnl into the Makefile.) -case "${shared}" in -"yes"|"Yes"|"YES") # Default-enable ("yes") or user was nitpicking: - shared="shlib"; - AC_PATH_PROG(LIBTOOL, libtool, "") - if test "${LIBTOOL}" == ""; then - AC_MSG_WARN([libtool not found: building static lib only]) - shared=""; - fi - ;; -*) # Default, default-disable ("no") or user entered bogus: - shared=""; - ;; -esac -dnl Check for helpers needed for building the GiNaC interactive shell (ginsh): -AC_PROG_LEX -AC_PROG_YACC -AC_DECL_YYTEXT -AC_HEADER_STDC -AC_CHECK_HEADERS(unistd.h) -AC_CHECK_FUNCS(strdup) -AC_CHECK_HEADERS(readline/readline.h readline/history.h, , AC_MSG_ERROR(need to have GNU readline headers)) -AC_CHECK_LIB(readline, readline, , AC_MSG_ERROR(need to have GNU readline library)) + 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: @@ -85,17 +101,36 @@ 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 =========================================================================== -dnl Substitute these variables in the Makefile: -dnl =========================================================================== -AC_SUBST(shared) -AC_SUBST(LibGiNaC_Ver) +dnl Determine which documentation shall be built +TUTORIAL_TARGETS= +REFERENCE_TARGETS= +if [[ "x$enable_html_doc" = "xyes" ]]; then + TUTORIAL_TARGETS="$TUTORIAL_TARGETS ginac.html" + if [[ "$DOXYGEN" ]]; then + REFERENCE_TARGETS="$REFERENCE_TARGETS index.html" + fi +fi +if [[ "x$enable_ps_doc" = "xyes" ]]; then + TUTORIAL_TARGETS="$TUTORIAL_TARGETS ginac.ps" + if [[ "$DOXYGEN" ]]; then + REFERENCE_TARGETS="$REFERENCE_TARGETS reference.ps" + fi +fi +AC_SUBST(TUTORIAL_TARGETS) +AC_SUBST(REFERENCE_TARGETS) dnl =========================================================================== dnl Produce a Makefile from Makefile.in: dnl =========================================================================== -AC_OUTPUT([Makefile src/Makefile check/Makefile ginsh/Makefile doc/Makefile]) -echo "now type make" +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\"."