+AC_PREREQ(2.13)
+
+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 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)