Merge pull request #54 from matter-labs/focal-arm

Removed libcvc4-dev

images/llvm_runner/Dockerfile

@@ -29,13 +29,6 @@ RUN add-apt-repository ppa:deadsnakes/ppa && \
     apt-get update && \
     apt-get --yes install python3.10 python3.10-dev python3.10-distutils
 
-# Hack for installing missing arm64 lib for the Focal dist.
-
-RUN if [ "$TARGETARCH" = "arm64" ]; then \
-      echo "deb [arch=arm64] http://ports.ubuntu.com/ubuntu-ports jammy main universe" > /etc/apt/sources.list.d/jammy.list && \
-      echo "Package: *\nPin: release a=focal\nPin-Priority: 500\n\nPackage: libcvc4-dev\nPin: release a=jammy\nPin-Priority: 600" > /etc/apt/preferences.d/jammy.pref; \
-    fi
-
 # Required to build solidity fork
 RUN apt-get update && apt-get -y install -y \
     libboost-dev \
@@ -44,7 +37,6 @@ RUN apt-get update && apt-get -y install -y \
     libboost-system-dev \
     libboost-program-options-dev \
     libcln-dev \
-    libcvc4-dev \
     libboost-regex-dev \
     libboost-thread-dev \
     libboost-random-dev