diff --git a/CMakeLists.txt b/CMakeLists.txt
index 3f7803ec30..6c8b07ca43 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -112,6 +112,8 @@ foreach (line "${EXTRA_CONFIG}" ${LINES})
     set(VERSION ${CMAKE_MATCH_2})
     set(PACKAGE_BUGREPORT ${CMAKE_MATCH_3})
     message(STATUS "Got VERSION=${VERSION} from configure.ac")
+  elseif (line MATCHES "ac_gecode_soversion=(.*)\n")
+    set(GECODE_SOVERSION "${CMAKE_MATCH_1}")
   elseif (line MATCHES "ac_gecode_flatzincversion=(.*)\n")
     set(GECODE_FLATZINC_VERSION "${CMAKE_MATCH_1}")
   elseif (line MATCHES "AH_BOTTOM\\(\\[(.*)")
@@ -344,6 +346,7 @@ foreach (lib support kernel search int set float
     add_library(gecode${lib} ${sources} ${${libupper}HDR})
     target_include_directories(gecode${lib}
       PUBLIC ${CMAKE_CURRENT_BINARY_DIR} ${CMAKE_CURRENT_SOURCE_DIR} )
+    set_target_properties(gecode${lib} PROPERTIES SOVERSION ${GECODE_SOVERSION})
     list(APPEND GECODE_INSTALL_TARGETS gecode${lib})
   endif ()
 endforeach ()
diff --git a/LICENSE b/LICENSE
index 46cf08363e..5e5863dc39 100755
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,8 @@
-		  GECODE LICENSE AGREEMENT
-			 
-This software and its documentation are copyrighted by the
+		GECODE LICENSE AGREEMENT
+
+			(MIT License)
+
+This software and its documentation are copyrighted by the 
 individual authors as listed in each file. The following
 terms apply to all files associated with the software unless
 explicitly disclaimed in individual files.