cmake: Build dioscc.

Makefile

@@ -63,7 +63,7 @@ all: $(DEFAULT_FLAVOUR)
 FLAVOURS = debug asan release semidbg static bench
 SPECIAL = divbench
 NORMAL = divine unit functional website check llvm-utils clang \
-         install lart runner divcheck divcc manual \
+         install lart runner divcheck divcc dioscc manual \
          test-divine test-lart test-bricks
 TARGETS = $(NORMAL) $(SPECIAL)
 

tools/CMakeLists.txt

@@ -6,12 +6,17 @@ add_definitions( ${DIVINE_DEFINES} )
 add_executable( runtime-cc runtime-cc.cpp )
 add_executable( runtime-ld runtime-ld.cpp )
 add_executable( divcc divcc.cpp )
+add_executable( dioscc dioscc.cpp )
 
 target_link_libraries( runtime-cc divine-cc )
 target_link_libraries( runtime-ld divine-cc )
 target_link_libraries( divcc divine-cc divine-rt divine-ui )
 target_link_libraries( divcc LLVMTarget LLVMAsmPrinter LLVMOption )
 target_link_libraries( divcc clangFrontend clangDriver )
+target_link_libraries( dioscc divine-cc divine-rt divine-ui )
+target_link_libraries( dioscc LLVMTarget LLVMAsmPrinter LLVMOption )
+target_link_libraries( dioscc clangFrontend clangDriver )
+
 
 add_executable( divine divine.cpp )
 set_source_files_properties( lart.cpp PROPERTIES COMPILE_FLAGS -fno-rtti )