CMakeLists.txt: Excluded 'plug'; included build of models library.

Author: marek-trtik

CMakeLists.txt

@@ -70,6 +70,10 @@ execute_process(COMMAND ${boost-include_SOURCE_DIR}/b2 dll-path=${boost-include_
                 WORKING_DIRECTORY ${boost-include_SOURCE_DIR}
 )
 
+execute_process(COMMAND mvn package
+                WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}/benchmarks/LIBRARIES/models/model
+)
+
 set(boost_include_include_dir ${boost-include_SOURCE_DIR})
 set(boost_lib_dir ${boost-include_SOURCE_DIR}/stage/lib)
 link_directories(${boost_lib_dir})
@@ -82,7 +86,6 @@ set(CMAKE_INSTALL_RPATH "${CMAKE_INSTALL_PREFIX}/lib")
 SET(CMAKE_INSTALL_RPATH_USE_LINK_PATH TRUE)
 
 add_subdirectory(cbmc)
-add_subdirectory(benchmarks/LIBRARIES/models)
 
 add_subdirectory(src)