+AC_PREREQ(2.13)
+
+dnl GiNaC library 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* M4?)...
+
+GINACLIB_MAJOR_VERSION=0
+GINACLIB_MINOR_VERSION=9
+GINACLIB_MICRO_VERSION=3
+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 GiNaC archive file version information.
+dnl
+dnl If properties have been added, ARCHIVE_VERSION += 1, ARCHIVE_AGE += 1.
+dnl If backwards compatibility has been broken, set ARCHIVE_AGE to 0.
+dnl
+dnl The version number in newly created archives will be ARCHIVE_VERSION.
+dnl Archives version (ARCHIVE_VERSION-ARCHIVE_AGE) thru ARCHIVE_VERSION can
+dnl be read by this version of the GiNaC library.