change dwarf to 4 version

Author: ladisgin

docker/Dockerfile_base

@@ -10,6 +10,9 @@ SHELL ["/bin/bash", "--login", "-c"]
 ENV UTBOT_ALL=/utbot_distr
 ENV WORKSPACE=/github/workspace/
 
+ENV CFLAGS="-gdwarf-4"
+ENV CXXFLAGS="-gdwarf-4"
+
 USER root
 
 # Handle sudo annoying bug https://bugzilla.redhat.com/show_bug.cgi?id=1773148

docker/building_dependencies/runtime_env.sh

@@ -33,6 +33,8 @@ export CXX=$UTBOT_INSTALL_DIR/bin/clang++
 export CPATH=$CPATH:$UTBOT_ALL/klee/include
 export LD_LIBRARY_PATH=$UTBOT_INSTALL_DIR/lib
 export LDFLAGS='-fuse-ld=gold'
+export CFLAGS="-gdwarf-4 $CFLAGS"
+export CXXFLAGS="-gdwarf-4 $CXXFLAGS"
 export PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:$UTBOT_ALL/bear/bin:$UTBOT_ALL/klee/bin:$UTBOT_INSTALL_DIR/bin:$PATH
 
 if [ -z "${VERSION}" ]

docker/release_distribution_scripts/utbot_run_system.sh

@@ -52,6 +52,8 @@ export LD_LIBRARY_PATH=$UTBOT_ALL/install/lib:$UTBOT_ALL/debs-install/lib/x86_64
 export GENERAL_INCLUDES=$UTBOT_ALL/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include:$UTBOT_ALL/debs-install/usr/local/include:$UTBOT_ALL/debs-install/usr/include/x86_64-linux-gnu:$UTBOT_ALL/debs-install/usr/include
 export C_INCLUDE_PATH=GENERAL_INCLUDES${C_INCLUDE_PATH:+:${C_INCLUDE_PATH}}
 export CPLUS_INCLUDE_PATH=$UTBOT_ALL/debs-install/usr/include/c++/9:$UTBOT_ALL/debs-install/usr/include/x86_64-linux-gnu/c++/9:$UTBOT_ALL/debs-install/usr/include/c++/9/backward:GENERAL_INCLUDES${CPLUS_INCLUDE_PATH:+:${CPLUS_INCLUDE_PATH}}
+export CFLAGS="-gdwarf-4 $CFLAGS"
+export CXXFLAGS="-gdwarf-4 $CXXFLAGS"
 export LDFLAGS="-fuse-ld=gold $LDFLAGS"
 
 # This function moves dev version of libc into $UTBOT_ALL/debs-install directory