chkt

Author: vitalych

.github/workflows/docker.yaml

@@ -0,0 +1,15 @@
+name: Build libs2e.so docker image
+on: [pull_request]
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out repository code
+        uses: actions/checkout@v2
+      
+      - name: Build docker image
+        run: |
+          set -x
+          docker build -t s2e-build .
+
+      - run: echo "🍏 This job's status is ${{ job.status }}."

Dockerfile

@@ -22,9 +22,12 @@
 
 FROM ubuntu:22.04
 
-# Install build dependencies
+# Install build dependencies.
+# The unzip and libgomp1 dependencies are needed to unzip and run binary Z3
+# distributions.
+
 RUN dpkg --add-architecture i386 && apt-get update &&                       \
-    apt-get -y install ca-certificates build-essential cmake curl wget texinfo flex bison  \
+    apt-get -y install git ca-certificates build-essential cmake curl wget texinfo flex bison  \
     python-is-python3 python3-dev python3-venv python3-distro mingw-w64 lsb-release \
     autoconf libtool libprotobuf-dev protobuf-compiler protobuf-c-compiler \
     libdwarf-dev libelf-dev libelf-dev:i386 \
@@ -34,30 +37,27 @@ RUN dpkg --add-architecture i386 && apt-get update &&                       \
     libbsd-dev libpixman-1-dev                                              \
     libglib2.0-dev libglib2.0-dev:i386 python3-docutils libpng-dev          \
     gcc-multilib g++-multilib libgomp1 unzip libzstd-dev \
-    libgmock-dev libgtest-dev libsoci-dev libcapstone-dev
-
-# The unzip and libgomp1 dependencies are needed to unzip and run binary Z3
-# distributions
+    libgmock-dev libgtest-dev libsoci-dev libcapstone-dev \
+    libcurl4-openssl-dev \
+    libedit-dev \
+    libpfm4-dev \
+    llvm-14-dev \
+    clang-format-14 \
+    libmlir-14-dev \
+    clang-14 \
+    clang-15
 
 # Required for C++17
 RUN DEBIAN_FRONTEND=noninteractive apt-get install -y software-properties-common
 RUN add-apt-repository ppa:ubuntu-toolchain-r/test && apt update
 RUN DEBIAN_FRONTEND=noninteractive apt-get install -y gcc-9 g++-9
 
-# Install S2E git
-RUN apt-get -y install git
-
-# Build LLVM first (to avoid rebuilding it for every change)
-RUN mkdir s2e
-RUN mkdir s2e-build
+RUN mkdir s2e && mkdir s2e-build
 COPY Makefile s2e/
-COPY scripts/determine_clang_binary_suffix.py s2e/scripts/
-
-RUN cd s2e-build &&                                                         \
-    make -f ../s2e/Makefile S2E_PREFIX=/opt/s2e stamps/llvm-release-make
 
 # Be explicit about not building Z3 from source, even though its default
-ENV USE_Z3_BINARY=yes
+ARG USE_Z3_BINARY=yes
+ARG SYSTEM_CLANG_VERSION=15
 
 RUN cd s2e-build &&                                                         \
     make -f ../s2e/Makefile S2E_PREFIX=/opt/s2e stamps/z3
@@ -71,7 +71,6 @@ RUN cd s2e-build &&                                                         \
 # Make the S2E codebase available in the container
 COPY . s2e/
 
-
 # Build and install everything else
 RUN cd s2e-build &&                                                         \
     make -f ../s2e/Makefile S2E_PREFIX=/opt/s2e install

Makefile

@@ -35,6 +35,8 @@
 #  SYSTEM_LLVM_CONFIG=llvm-config-14
 #      Override the default llvm-config command (defaults to llvm-config-14)
 #
+#  SYSTEM_CLANG_VERSION=19
+#      Override the default clang version (defaults to clang-19)
 
 
 # Check the build directory