Update Dockerfiles to Ubuntu 22.04, update Pin version

microwalk-project · Apr 14, 2023 · dda5ae0 · dda5ae0
1 parent ed0d00c
commit dda5ae0
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/build-pin-tool.yml b/.github/workflows/build-pin-tool.yml
@@ -16,7 +16,7 @@ jobs:
       - uses: actions/checkout@v2
       - name: Setup Pin SDK
         run: |
-          wget -O pin.tar.gz http://software.intel.com/sites/landingpage/pintool/downloads/pin-3.15-98253-gb56e429b1-gcc-linux.tar.gz
+          wget -O pin.tar.gz https://software.intel.com/sites/landingpage/pintool/downloads/pin-3.27-98718-gbeaa5d51e-gcc-linux.tar.gz
           mkdir -p pin-sdk
           tar -xf pin.tar.gz -C pin-sdk/ --strip-components=1
       - name: Compile PinTracer

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -49,7 +49,7 @@ jobs:
       # Build Pin
       - name: Setup Pin SDK
         run: |
-          wget -O pin.tar.gz http://software.intel.com/sites/landingpage/pintool/downloads/pin-3.15-98253-gb56e429b1-gcc-linux.tar.gz
+          wget -O pin.tar.gz https://software.intel.com/sites/landingpage/pintool/downloads/pin-3.27-98718-gbeaa5d51e-gcc-linux.tar.gz
           mkdir -p pin-sdk
           tar -xf pin.tar.gz -C pin-sdk/ --strip-components=1
       - name: Compile PinTracer

diff --git a/docker/jalangi2/Dockerfile b/docker/jalangi2/Dockerfile
@@ -21,7 +21,7 @@ RUN dotnet publish Tools/CiReportGenerator/CiReportGenerator.csproj -c Release -
 
 ## RUNTIME ##
 
-FROM mcr.microsoft.com/dotnet/runtime:6.0-focal
+FROM mcr.microsoft.com/dotnet/runtime:6.0-jammy
 
 # Get some dependencies
 RUN apt-get update -y && apt-get install -y \

diff --git a/docker/pin/Dockerfile b/docker/pin/Dockerfile
@@ -22,7 +22,7 @@ RUN dotnet publish Tools/CiReportGenerator/CiReportGenerator.csproj -c Release -
 
 ## RUNTIME ##
 
-FROM mcr.microsoft.com/dotnet/runtime:6.0-focal
+FROM mcr.microsoft.com/dotnet/runtime:6.0-jammy
 
 # Get some dependencies
 RUN apt-get update -y && apt-get install -y \
@@ -49,8 +49,8 @@ ENV CQR_GENERATOR_PATH=/mw/CiReportGenerator
 
 # Get Pin SDK
 WORKDIR /mw
-RUN wget https://software.intel.com/sites/landingpage/pintool/downloads/pin-3.21-98484-ge7cd811fd-gcc-linux.tar.gz
-RUN mkdir -p pin && tar -xf pin-3* -C pin --strip-components 1 && rm pin-3*
+RUN wget https://software.intel.com/sites/landingpage/pintool/downloads/pin-3.27-98718-gbeaa5d51e-gcc-linux.tar.gz
+RUN mkdir -p pin && tar -xf pin-3* -C pin --strip-components 1 --no-same-owner && rm pin-3*
 ENV PIN_PATH=/mw/pin
 
 # Build Pin tool