From d91ea6ce9d90f73aefd2d0fbc7abdeeb3eb10f68 Mon Sep 17 00:00:00 2001 From: Vladislav Kalugin Date: Thu, 10 Feb 2022 16:29:36 +0300 Subject: [PATCH] change gcc to clang into release --- docker/release_distribution_scripts/utbot_run_system.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docker/release_distribution_scripts/utbot_run_system.sh b/docker/release_distribution_scripts/utbot_run_system.sh index 23217baac..6be491ca2 100644 --- a/docker/release_distribution_scripts/utbot_run_system.sh +++ b/docker/release_distribution_scripts/utbot_run_system.sh @@ -44,8 +44,8 @@ export UTBOT_LOGS_FOLDER=$UTBOT_ALL # Setting environment variables according to $UTBOT_ALL export UTBOT_INSTALL_DIR=$UTBOT_ALL/install -export CC=$UTBOT_ALL/debs-install/usr/bin/gcc-9 -export CXX=$UTBOT_ALL/debs-install/usr/bin/g++-9 +export CC=$UTBOT_ALL/install/bin/clang +export CXX=$UTBOT_ALL/install/bin/clang++ export CPATH=$UTBOT_ALL/klee/include:$CPATH # Path for C and C++ includes export PATH=$UTBOT_ALL/bear/bin:$UTBOT_ALL/klee/bin:$UTBOT_INSTALL_DIR/bin:$PATH export KLEE_RUNTIME_LIBRARY_PATH=$UTBOT_ALL/klee/lib/klee/runtime/