update to version 0.0.14

now that stuff is building

diff --git a/VERSION.cmake b/VERSION.cmake
index 0e416a2e8143a84c0b288b9756910de09b7def4f..b4d5639d233e85a40a0d655d75586a6010da71bd 100644 (file)
--- a/VERSION.cmake
+++ b/VERSION.cmake
@@ -46,5 +46,5 @@
 
 SET(LIBSATSOLVER_MAJOR "0")
 SET(LIBSATSOLVER_MINOR "0")
-SET(LIBSATSOLVER_PATCH "13")
+SET(LIBSATSOLVER_PATCH "14")
 

diff --git a/package/libsatsolver.spec.in b/package/libsatsolver.spec.in
index a36371918e4cb954b9d408598dc7e3ffb59e8c1b..4a7b53c7bceedd0e689a0b4eb5c46d4a8bdcf595 100644 (file)
--- a/package/libsatsolver.spec.in
+++ b/package/libsatsolver.spec.in
@@ -78,6 +78,7 @@ rm -rf "$RPM_BUILD_ROOT"
 %files devel
 %defattr(-,root,root)
 %_libdir/libsatsolver.a
+%_libdir/libappsatsolver.a
 %doc doc/README*
 %doc doc/THEORY
 %doc doc/PLANNING