Added optional clang command for CEGIS danger test compilation.

Author: pkesseli

src/cegis/genetic/dynamic_test_runner_helper.cpp

@@ -5,6 +5,7 @@
 #include <cassert>
 #include <fstream>
 
+#include <util/config.h>
 #include <util/tempfile.h>
 
 #include <cegis/instrument/literals.h>
@@ -33,6 +34,7 @@ void write_file(const char * const path, const std::string &content)
 #define SOURCE_FILE_SUFFIX ".c"
 #ifndef _WIN32
 #define COMPILE_COMMAND "gcc -std=c99 -g0 -O2 -shared -rdynamic -fPIC "
+#define CLANG_COMPILE_COMMAND "clang -std=c99 -g0 -O2 -shared -rdynamic -fPIC "
 #else
 #define COMPILE_COMMAND "gcc -std=c99 -g0 -O2 -shared "
 #endif
@@ -49,7 +51,11 @@ void *prepare_fitness_tester_library(fitness_lib_handlet &handle,
   const temporary_filet source_file(SOURCE_FILE_PREFIX, SOURCE_FILE_SUFFIX);
   const std::string source_file_name(source_file());
   write_file(source_file_name.c_str(), source_code_provider());
-  std::string compile_command(COMPILE_COMMAND);
+  std::string compile_command;
+  if (configt::ansi_ct::preprocessort::PP_CLANG == config.ansi_c.preprocessor)
+    compile_command+=CLANG_COMPILE_COMMAND;
+  else
+    compile_command+=COMPILE_COMMAND;
   compile_command+=compile_options;
   compile_command+=source_file_name;
   compile_command+=ARTIFACT_SEPARATOR;