added more logging

diff --git a/CMakeLists.txt b/CMakeLists.txt
index ca22427942bb01cf213b3f60ca3f16a9b5c0daf1..1a8b9993b3ddb7248f00564c5a78be5e10518d62 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -114,7 +114,6 @@ IF ( NOT SWIG_EXECUTABLE )
   MESSAGE( FATAL "SWIG not found." )
 ELSE ( NOT SWIG_EXECUTABLE )
   MESSAGE( STATUS "SWIG found at ${SWIG_EXECUTABLE}" )
-  ADD_SUBDIRECTORY(bindings)
 ENDIF ( NOT SWIG_EXECUTABLE )
 
 MESSAGE(STATUS "version: ${VERSION}")

diff --git a/VERSION.cmake b/VERSION.cmake
index afd872aad3451003ed453f544335748677c0b2a1..d0b68859f171206507a07edd93295f7947dd014b 100644 (file)
--- a/VERSION.cmake
+++ b/VERSION.cmake
@@ -46,4 +46,4 @@
 
 SET(LIBSATSOLVER_MAJOR "0")
 SET(LIBSATSOLVER_MINOR "0")
-SET(LIBSATSOLVER_PATCH "1")
\ No newline at end of file
+SET(LIBSATSOLVER_PATCH "2")
\ No newline at end of file