diff --git a/Makefile b/Makefile
index 8473b0387f292f4321d23a3b03a042dfd9b3abde..bb40827bfb43ca4f6d1ec09dedb15a4a19bea552 100644
--- a/Makefile
+++ b/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)
 
diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index 58cbfc6ca6e527ad1fc806e72a0ebe643e493750..1bd04ed1fbf53d7f809b099022f286b9a395aac5 100644
--- a/tools/CMakeLists.txt
+++ b/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 )