-
Notifications
You must be signed in to change notification settings - Fork 0
/
library_versions
58 lines (58 loc) · 3 KB
/
library_versions
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
# 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