Install LLD in build steps (GitHub Actions/Docker)

Also updated the documentation to reflect the additional dependency.

.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

.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

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 . .

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 . .

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
     ```
 
 </TabItem>