diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-18 21:13:34 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-18 21:13:34 +0000 |
commit | f1c1cc7c3de0d4a5f310357a249cef82f73c588c (patch) | |
tree | fe582e75e7ed6379eadc6d6ea8628e2c11b3d78f /library_versions | |
parent | 35c358f086dc16604e506028c1c288172edd1409 (diff) |
cleaned up the mechanism for library versioning
Diffstat (limited to 'library_versions')
-rw-r--r-- | library_versions | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/library_versions b/library_versions new file mode 100644 index 000000000..d344bc763 --- /dev/null +++ b/library_versions @@ -0,0 +1,12 @@ +# 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. +# +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 |