update to version 0.0.14

now that stuff is building

diff --git a/VERSION.cmake b/VERSION.cmake
index 0e416a2..b4d5639 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 a363719..4a7b53c 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