From febd93d8d1c57951abc49b1be82972cdb82c7c28 Mon Sep 17 00:00:00 2001
From: Yulei Sui <7608399+yuleisui@users.noreply.github.com>
Date: Tue, 16 Jan 2024 22:12:11 +1100
Subject: [PATCH] Update Dockerfile

---
 Dockerfile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index ebbd383..2058549 100644
--- a/Dockerfile
+++ b/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}