library_versions

# library_versions
#
# Format is:
#   CVC4-RELEASE-VERSION-REGEXP (LIBRARY:VERSION)*
#
# This file contains library version release information.
# Lines are matched while processing configure.ac (and generating
# the configure script) using the CVC4_RELEASE_STRING.  Lines are
# matched on the regexp in the first column, with only the first
# matching line counting.  The library versions following, one per
# column, are then used.  If there are no matching lines, an error
# is raised and the configure script is not generated.
#
# The library version numbers are in the form current:revision:age
# and are passed to libtool with -version-info
#
#   current -
#     increment if interfaces have been added, removed or changed
#   revision -
#     increment if source code has changed
#     set to zero if current is incremented
#   age -
#     increment if interfaces have been added
#     set to zero if interfaces have been removed
#     or changed
#
# A good description of what all this means is here:
# http://www.gnu.org/software/libtool/manual/html_node/Updating-version-info.html
#
# When a new CVC4 release is cut, this library_versions file should
# be extended to provide library version information for that
# release.  PLEASE DON'T REMOVE LINES (or edit historical lines)
# from this file unless they are truly in error and the release
# wasn't made with that erroneous information; this file should
# ultimately provide a nice historical log of the mapping between
# CVC4 release numbers and the corresponding interface version
# information of libraries.
#
# For now, libcvc4bindings' version info is used for all language
# bindings libraries, and _also_ for all "compatibility" bindings
# libraries (i.e., the old CVC3-esque C and Java bindings).  This
# may need to be split out in future, if some bindings (particularly
# the compatibility ones) change more(/less) frequently than the
# others.
#
0\..* libcvc4:0:0:0 libcvc4parser:0:0:0 libcvc4compat:0:0:0 libcvc4bindings:0:0:0
1\.0 libcvc4:0:0:0 libcvc4parser:0:0:0 libcvc4compat:0:0:0 libcvc4bindings:0:0:0
1\.0\.1-prerelease libcvc4:0:0:0 libcvc4parser:0:0:0 libcvc4compat:0:0:0 libcvc4bindings:0:0:0
1\.1-prerelease libcvc4:0:0:0 libcvc4parser:0:0:0 libcvc4compat:0:0:0 libcvc4bindings:0:0:0
1\.1 libcvc4:1:0:0 libcvc4parser:1:0:0 libcvc4compat:1:0:0 libcvc4bindings:1:0:0
1\.1\.1-prerelease libcvc4:1:0:0 libcvc4parser:1:0:0 libcvc4compat:1:0:0 libcvc4bindings:1:0:0
1\.2-prerelease libcvc4:1:0:0 libcvc4parser:1:0:0 libcvc4compat:1:0:0 libcvc4bindings:1:0:0
1\.2 libcvc4:1:1:1 libcvc4parser:1:1:0 libcvc4compat:1:0:0 libcvc4bindings:1:0:0
1\.2\.1-prerelease libcvc4:1:1:1 libcvc4parser:1:1:0 libcvc4compat:1:0:0 libcvc4bindings:1:0:0
1\.3-prerelease libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0
1\.3 libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0
1\.3\.1-prerelease libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0
1\.4-prerelease libcvc4:2:0:0 libcvc4parser:2:0:0 libcvc4compat:2:0:0 libcvc4bindings:2:0:0
1\.4 libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0
1\.4\.1-prerelease libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0
1\.5-prerelease libcvc4:3:0:0 libcvc4parser:3:0:0 libcvc4compat:3:0:0 libcvc4bindings:3:0:0