Update Dockerfile

Dockerfile

@@ -14,12 +14,19 @@ ENV HOME=/home/SVF-tools
 
 # Define dependencies.
 ENV lib_deps="g++-8 gcc-8 git zlib1g-dev libncurses5-dev libtinfo5 build-essential libssl-dev libpcre2-dev zip"
-ENV build_deps="wget xz-utils cmake git gdb tcl"
+ENV build_deps="wget xz-utils git gdb tcl"
 
 # Fetch dependencies.
 RUN apt-get update
 RUN apt-get install -y $build_deps $lib_deps
 
+# Install cmake and setup PATH
+ENV cmake_version="3.28.1"
+ENV arch="x86_64"
+RUN wget https://github.com/Kitware/CMake/releases/download/v$cmake_version/cmake-$cmake_version-linux-$arch.tar.gz -O cmake.tar.gz
+RUN tar -xf cmake.tar.gz -C /home && rm -f cmake.tar.gz
+ENV PATH=/home/cmake-${cmake_version}-linux-${arch}/bin:${PATH}
+
 # Fetch and build SVF source.
 RUN echo "Downloading LLVM and building SVF to " ${HOME}
 WORKDIR ${HOME}