From 037cbdc2ca116e65b6670107ef037a3c25e39680 Mon Sep 17 00:00:00 2001
From: Zuzana Baranova <xbaranov@fi.muni.cz>
Date: Sun, 23 Jun 2019 09:03:55 +0000
Subject: [PATCH] cmake: Build dioscc.
---
Makefile | 2 +-
tools/CMakeLists.txt | 5 +++++
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 8473b0387..bb40827bf 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 58cbfc6ca..1bd04ed1f 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 )
--
GitLab