]> www.ginac.de Git - ginac.git/blob - configure.in
a2965e14fe40aea0af0a665128b51b05d0913101
[ginac.git] / configure.in
1 dnl Process this file with autoconf to produce a configure script.
2
3 AC_INIT(ginac/basic.cpp)
4 AC_PREREQ(2.12)
5
6 dnl Configure options
7 AC_ARG_ENABLE(html-doc, [  --enable-help-doc       build HTML documentation [default=yes]], , enable_html_doc=yes)
8 AC_ARG_ENABLE(ps-doc,   [  --enable-ps-doc         build PostScript documentation [default=no]], , enable_ps_doc=no)
9
10 dnl GiNaC version information
11 dnl
12 dnl Making releases:
13 dnl   GINACLIB_MICRO_VERSION += 1;
14 dnl   GINACLIB_INTERFACE_AGE += 1;
15 dnl   GINACLIB_BINARY_AGE += 1;
16 dnl if any functions have been added, set GINACLIB_INTERFACE_AGE to 0.
17 dnl if backwards compatibility has been broken,
18 dnl set GINACLIB_BINARY_AGE and GINACLIB_INTERFACE_AGE to 0.
19 dnl
20 dnl NOTE: these can't be renamed to GINAC_MAJOR_VERSION etc. because
21 dnl autoconf sees "AC_MAJOR_VERSION" and complains about an undefined macro
22 dnl (don't we all *love* autoconf?)...
23
24 GINACLIB_MAJOR_VERSION=0
25 GINACLIB_MINOR_VERSION=4
26 GINACLIB_MICRO_VERSION=0
27 GINACLIB_INTERFACE_AGE=0
28 GINACLIB_BINARY_AGE=0
29 GINACLIB_VERSION=$GINACLIB_MAJOR_VERSION.$GINACLIB_MINOR_VERSION.$GINACLIB_MICRO_VERSION
30
31 AC_SUBST(GINACLIB_MAJOR_VERSION)
32 AC_SUBST(GINACLIB_MINOR_VERSION)
33 AC_SUBST(GINACLIB_MICRO_VERSION)
34 AC_SUBST(GINACLIB_INTERFACE_AGE)
35 AC_SUBST(GINACLIB_BINARY_AGE)
36 AC_SUBST(GINACLIB_VERSION)
37
38 dnl libtool versioning
39 LT_RELEASE=$GINACLIB_MAJOR_VERSION.$GINACLIB_MINOR_VERSION
40 LT_CURRENT=`expr $GINACLIB_MICRO_VERSION - $GINACLIB_INTERFACE_AGE`
41 LT_REVISION=$GINACLIB_INTERFACE_AGE
42 LT_AGE=`expr $GINACLIB_BINARY_AGE - $GINACLIB_INTERFACE_AGE`
43
44 AC_SUBST(LT_RELEASE)
45 AC_SUBST(LT_CURRENT)
46 AC_SUBST(LT_REVISION)
47 AC_SUBST(LT_AGE)
48
49 dnl This defines PACKAGE and VERSION
50 AM_CONFIG_HEADER(config.h)
51 AM_INIT_AUTOMAKE([GiNaC], $GINACLIB_VERSION)
52 AM_MAINTAINER_MODE
53
54 dnl ===========================================================================
55 dnl Check for the compiler and all the utilities needed for the build:
56 dnl ===========================================================================
57 AC_PROG_CXX
58 AC_PROG_CXXCPP
59 AC_PROG_INSTALL
60 AM_PROG_LIBTOOL
61 AM_PROG_LEX
62 AC_PROG_YACC
63
64 dnl Check for data types which are needed by the hash function (golden_ratio_hash)
65 AC_CHECK_SIZEOF(long, 4)
66 AC_CHECK_SIZEOF(long long, 8)
67 AC_CHECK_SIZEOF(long double, 12)
68
69 dnl Switch to C++ language mode for the following libraries and headers:
70 AC_LANG_CPLUSPLUS
71
72 dnl Check for stuff needed for building the GiNaC interactive shell (ginsh):
73 AC_CHECK_HEADERS(unistd.h)
74 AC_CHECK_HEADERS(readline/readline.h readline/history.h)
75 save_LIBS=$LIBS
76 AC_CHECK_LIB(readline, readline)
77 GINSH_LIBS=$LIBS
78 LIBS=$save_LIBS
79 AC_SUBST(GINSH_LIBS)
80
81 dnl Make sure the following libraries work by testing for symbols therein. 
82 dnl They are automatically added the the variable $LIBS and thus passed into
83 dnl the Makefile:
84 AC_CHECK_LIB(stdc++, cout)
85
86 dnl Make sure all the necessary new-style headers are installed on the system.
87 dnl If one of them cannot be found the system is probably not ANSI-conform
88 dnl enough so trying the .h-style headers is a waste of time.
89 AC_CHECK_HEADERS(iostream vector map string list typeinfo iterator strstream stdexcept algorithm, ,
90     AC_MSG_ERROR(need to have ANSI compliant headers))
91
92 dnl We need to have Bruno Haible's CLN installed (macros are in acinclude.m4):
93 GINAC_CHECK_CLN_H
94 GINAC_CHECK_LIBCLN
95
96 dnl Check for utilities needed by the different kinds of documentation.
97 dnl Documantation needs only be built when extending it, so never mind if it
98 dnl cannot find those helpers:
99 AC_PATH_PROG(DOXYGEN, doxygen, "")
100 AC_PATH_PROG(JADE, jade, "")
101 AC_PATH_PROG(JADETEX, jadetex, "")
102 AC_PATH_PROG(LATEX, latex, "")
103 AC_PATH_PROG(MAKEINDEX, makeindex, "")
104 AC_PATH_PROG(DVIPS, dvips, "")
105 AC_PATH_PROG(FIG2DEV, fig2dev, "")
106
107 dnl Determine which documentation shall be built
108 TUTORIAL_TARGETS=
109 REFERENCE_TARGETS=
110 if [[ "x$enable_html_doc" = "xyes" ]]; then
111   TUTORIAL_TARGETS="$TUTORIAL_TARGETS index.html"
112   REFERENCE_TARGETS="$REFERENCE_TARGETS index.html"
113 fi
114 if [[ "x$enable_ps_doc" = "xyes" ]]; then
115 # currently doesn't work
116 #  TUTORIAL_TARGETS="$TUTORIAL_TARGETS tutorial.ps"
117   REFERENCE_TARGETS="$REFERENCE_TARGETS reference.ps"
118 fi
119 AC_SUBST(TUTORIAL_TARGETS)
120 AC_SUBST(REFERENCE_TARGETS)
121
122 dnl ===========================================================================
123 dnl Produce a Makefile from Makefile.in:
124 dnl ===========================================================================
125 AC_OUTPUT([
126 Makefile
127 GiNaC.spec
128 ginac/Makefile
129 check/Makefile
130 ginsh/Makefile
131 doc/Makefile
132 doc/tutorial/Makefile
133 doc/reference/Makefile
134 ])
135 echo "Configuration done. Now type \"make\"."