We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a16a409 commit d91ea6cCopy full SHA for d91ea6c
docker/release_distribution_scripts/utbot_run_system.sh
@@ -44,8 +44,8 @@ export UTBOT_LOGS_FOLDER=$UTBOT_ALL
44
45
# Setting environment variables according to $UTBOT_ALL
46
export UTBOT_INSTALL_DIR=$UTBOT_ALL/install
47
-export CC=$UTBOT_ALL/debs-install/usr/bin/gcc-9
48
-export CXX=$UTBOT_ALL/debs-install/usr/bin/g++-9
+export CC=$UTBOT_ALL/install/bin/clang
+export CXX=$UTBOT_ALL/install/bin/clang++
49
export CPATH=$UTBOT_ALL/klee/include:$CPATH # Path for C and C++ includes
50
export PATH=$UTBOT_ALL/bear/bin:$UTBOT_ALL/klee/bin:$UTBOT_INSTALL_DIR/bin:$PATH
51
export KLEE_RUNTIME_LIBRARY_PATH=$UTBOT_ALL/klee/lib/klee/runtime/
0 commit comments