From 1d96dace81abf1670b2cb3e4bbcd49fc6ee8de8c Mon Sep 17 00:00:00 2001 From: Xiao Date: Mon, 27 May 2024 23:17:36 +1000 Subject: [PATCH] update Dockerfile: lldb -> gdb (#1471) * Update Dockerfile * Update Dockerfile * Update Dockerfile * Update Dockerfile --- Dockerfile | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/Dockerfile b/Dockerfile index af5c8c317..2b0db7dc0 100644 --- a/Dockerfile +++ b/Dockerfile @@ -14,15 +14,20 @@ ENV llvm_version=16.0.0 ENV HOME=/home/SVF-tools # Define dependencies. -ENV lib_deps="cmake g++ gcc git zlib1g-dev libncurses5-dev libtinfo6 build-essential libssl-dev libpcre2-dev zip vim libzstd-dev" -ENV build_deps="wget xz-utils git gdb tcl python3.8 python3.8-dev python3.8-venv software-properties-common" +ENV lib_deps="cmake g++ gcc git zlib1g-dev libncurses5-dev libtinfo6 build-essential libssl-dev libpcre2-dev zip libzstd-dev" +ENV build_deps="wget xz-utils git tcl software-properties-common" -# Add deadsnakes PPA for multiple Python versions -RUN add-apt-repository ppa:deadsnakes/ppa # Fetch dependencies. RUN apt-get update --fix-missing RUN apt-get install -y $build_deps $lib_deps +# Add deadsnakes PPA for multiple Python versions +RUN add-apt-repository ppa:deadsnakes/ppa +RUN apt-get update +RUN apt-get install -y python3.8-dev +# Ensure python3.8 is available and set as default for lldb +RUN update-alternatives --install /usr/bin/python3 python3 /usr/bin/python3.8 1 + # Fetch and build SVF source. RUN echo "Downloading LLVM and building SVF to " ${HOME} WORKDIR ${HOME}