diff --git a/Dockerfile b/Dockerfile index f8e2405..f1daad3 100644 --- a/Dockerfile +++ b/Dockerfile @@ -21,20 +21,6 @@ ENV build_deps="wget xz-utils git gdb tcl software-properties-common" 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 set -ex; \ - if [ "$TARGETPLATFORM" = "linux/amd64" ]; then \ - apt-get update && apt-get install -y python3.10-dev \ - && update-alternatives --install /usr/bin/python3 python3 /usr/bin/python3.10 1; \ - elif [ "$TARGETPLATFORM" = "linux/arm64" ]; then \ - apt-get update && apt-get install -y python3.8-dev \ - && update-alternatives --install /usr/bin/python3 python3 /usr/bin/python3.8 1; \ - else \ - echo "Unsupported platform: $TARGETPLATFORM" && exit 1; \ - fi - # Fetch and build SVF source. RUN echo "Downloading LLVM and building SVF to " ${HOME} WORKDIR ${HOME}