diff --git a/.github/workflows/create_release.yml b/.github/workflows/create_release.yml index f00e1858..5401f6a9 100644 --- a/.github/workflows/create_release.yml +++ b/.github/workflows/create_release.yml @@ -109,21 +109,21 @@ jobs: target: ${{ matrix.target }} - name: Install packages (Ubuntu) - if: matrix.os == 'ubuntu-latest' + if: contains(matrix.os, 'ubuntu') shell: bash run: | sudo apt-get update - sudo apt-get install cmake llvm-dev libclang-dev clang + sudo apt-get install -y cmake llvm-dev libclang-dev clang lld - name: Install packages (MacOS) - if: matrix.os == 'macos-latest' + if: contains(matrix.os, 'macos') shell: bash run: | brew update brew install cmake - name: Install packages (Windows) - if: matrix.os == 'windows-latest' + if: contains(matrix.os, 'windows') shell: bash run: | choco install -y cmake llvm diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 5dbf4a2a..b4248b35 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -8,6 +8,11 @@ jobs: runs-on: [self-hosted, Linux] steps: - uses: actions/checkout@v3 + - name: Install packages + shell: bash + run: | + sudo apt-get update + sudo apt-get install -y cmake llvm-dev libclang-dev clang lld - uses: dtolnay/rust-toolchain@stable - run: cargo test --workspace @@ -27,6 +32,11 @@ jobs: runs-on: [self-hosted, Linux] steps: - uses: actions/checkout@v3 + - name: Install packages + shell: bash + run: | + sudo apt-get update + sudo apt-get install -y cmake llvm-dev libclang-dev clang lld - uses: dtolnay/rust-toolchain@stable with: components: clippy diff --git a/docker/Dockerfile b/docker/Dockerfile index 38657eef..e8229e3c 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -2,7 +2,7 @@ FROM --platform=$BUILDPLATFORM rust:latest AS rust-builder # install required dependencies to build z3.rs... -RUN apt-get update && apt-get install -y cmake llvm-dev libclang-dev clang +RUN apt-get update && apt-get install -y cmake llvm-dev libclang-dev clang lld WORKDIR /root/caesar COPY . . diff --git a/docker/single_platform.dockerfile b/docker/single_platform.dockerfile index 1a5560af..0b06a7a2 100644 --- a/docker/single_platform.dockerfile +++ b/docker/single_platform.dockerfile @@ -2,7 +2,7 @@ FROM rust:latest as builder # install required dependencies to build z3.rs... -RUN apt-get update && apt-get install -y cmake llvm-dev libclang-dev clang +RUN apt-get update && apt-get install -y cmake llvm-dev libclang-dev clang lld WORKDIR /root/caesar COPY . . diff --git a/website/docs/getting-started/installation.mdx b/website/docs/getting-started/installation.mdx index 0f702bdb..81a4d388 100644 --- a/website/docs/getting-started/installation.mdx +++ b/website/docs/getting-started/installation.mdx @@ -94,9 +94,9 @@ You might need to restart your terminal after installing Rust. ```bash curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh ``` - 2. Install Python, CMake, LLVM and Clang using `apt`: + 2. Install Python, CMake, LLVM, Clang and LLD using `apt`: ```bash - apt install python3 cmake llvm-dev libclang-dev clang + apt install python3 cmake llvm-dev libclang-dev clang lld ```