projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 64c9583)
distribute the find_public_interface.sh script
authorMorgan Deters <mdeters@gmail.com>
Mon, 3 Dec 2012 22:19:18 +0000 (22:19 +0000)
committerFrançois Bobot <francois@bobot.eu>
Thu, 6 Dec 2012 10:20:01 +0000 (11:20 +0100)
(cherry picked from commit af44cd27d5b079f1279c407e610e557e81285d8f)

Makefile.am patch | blob | history
library_versions patch | blob | history

diff --git a/Makefile.am b/Makefile.am
index 5ddde3cadbb7e99e16937367027a352b175fda5d..9e9f73a3ba71bf4777a4a3d085bd92c635441c8f 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -109,6 +109,7 @@ EXTRA_DIST = \
        config/build-type \
        config/mkbuilddir \
        config/doxygen.cfg \
+       doc/find_public_interface.sh \
        doc/cvc4.1_template.in \
        doc/cvc4.5.in \
        doc/libcvc4.3_template.in \
diff --git a/library_versions b/library_versions
index 0e6090ae745b367f19696a98175c99e55751a5de..657c13cd8be9aaf908256ed1ac74c21979104f53 100644 (file)
--- a/library_versions
+++ b/library_versions
@@ -45,4 +45,5 @@
 #
 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