Fix C_INCLUDE paths, added libssl 1.0 to dependencies

Author: Alexey Pleshakov

.github/workflows/publish-utbot.yml

@@ -2,7 +2,7 @@ name: Publish UTBot as an archive
 
 on:
   push:
-    branches: [main]
+#    branches: [main]
 
 jobs:
   publish:

docker/Dockerfile_base

@@ -127,6 +127,12 @@ RUN echo "StrictHostKeyChecking no" >> /home/utbot/.ssh/config
 
 USER root
 ARG OPERATING_SYSTEM_TAG
+
+# When we switch to Ubuntu 20 container, we may still need old libssl if we support Ubuntu < 18
+# RUN "deb http://security.ubuntu.com/ubuntu bionic-security main" | sudo tee -a /etc/apt/sources.list
+# RUN apt update && apt-cache policy libssl1.0-dev
+# RUN apt install -y --no-install-recommends libssl1.0-dev
+
 RUN if [[ "$OPERATING_SYSTEM_TAG" = "18.04" ]] ; then apt update && apt install -y --no-install-recommends nodejs-dev node-gyp libssl1.0-dev ; fi
 RUN apt update && apt install -y --no-install-recommends nodejs npm openssh-server net-tools gdb vim-nox rsync
 RUN pip3 install git+https://chromium.googlesource.com/external/gyp

docker/building_dependencies/install_packages/debian.sh

@@ -16,7 +16,7 @@ shopt -s expand_aliases
 # A grep command which clears out the output of apt-rdepends
 alias grepdepends='grep -v "^ " | grep -v "^libc-dev$" | grep -v "^debconf-2.0$" | grep -v "^libc6$" | grep -v "^libunwind8-dev$" | grep -v "^awk$"'
 # Get all the dependencies of utbot
-apt-rdepends libsqlite3-dev libgoogle-perftools-dev libssl-dev python3-pip gzip make gcc-9 g++-9 | grepdepends > all.txt
+apt-rdepends libsqlite3-dev libgoogle-perftools-dev libssl-dev libssl1.0-dev python3-pip gzip make gcc-9 g++-9 | grepdepends > all.txt
 # Get all the dependencies of libc6-dev
 apt-rdepends libc6-dev | grepdepends > debian-libc-dev.txt
 # Get all the dependencies of utbot except all the dependencies of libc6-dev

docker/release_distribution_scripts/utbot_run_system.sh

@@ -24,7 +24,7 @@ export UTBOT_ALL=$CURRENT_FOLDER
 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 CPATH=$CPATH:$UTBOT_ALL/klee/include # Path for C and C++ includes
+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/
 
@@ -34,8 +34,8 @@ IS_SUSE="$(grep '^NAME=' /etc/os-release | tr '[:upper:]' '[:lower:]' | grep sus
 # Setting environment variables for debian packages
 export PATH=$UTBOT_ALL/debs-install/usr/bin:$PATH
 export LD_LIBRARY_PATH=$UTBOT_ALL/debs-install/usr/lib/x86_64-linux-gnu:$UTBOT_ALL/debs-install/lib/x86_64-linux-gnu:$UTBOT_ALL/debs-install/usr/lib:$UTBOT_ALL/install/lib
-export CPATH=$CPATH:$UTBOT_ALL/debs-install/usr/include:$UTBOT_ALL/debs-install/usr/include/x86_64-linux-gnu/
-export C_INCLUDE_PATH=$C_INCLUDE_PATH:$UTBOT_ALL/debs-install/usr/include:$UTBOT_ALL/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/
+export CPATH=$UTBOT_ALL/debs-install/usr/include:$UTBOT_ALL/debs-install/usr/include/x86_64-linux-gnu/:$CPATH
+export C_INCLUDE_PATH=$UTBOT_ALL/debs-install/usr/include:$UTBOT_ALL/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/include/:$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:$UTBOT_ALL/debs-install/usr/include
 export LDFLAGS="-fuse-ld=gold -B $UTBOT_ALL/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/ -L $UTBOT_ALL/debs-install/usr/lib/gcc/x86_64-linux-gnu/9/  -B $UTBOT_ALL/debs-install/usr/lib/x86_64-linux-gnu/ -L $UTBOT_ALL/debs-install/usr/lib/x86_64-linux-gnu/ -L$UTBOT_ALL/debs-install/usr/lib64/ -B $UTBOT_ALL/debs-install/usr/lib64/ -L /lib64/ -B /lib64/" # Paths for object files and libraries with which compiler should link the project
 # This function moves dev version of libc into $UTBOT_ALL/debs-install directory