Merge pull request #14 from moves-rwth/link-lld

build: use lld by default on linux

.cargo/config.toml

@@ -0,0 +1,5 @@
+[target.x86_64-unknown-linux-gnu]
+rustflags = [
+ "-C", "link-arg=-fuse-ld=lld",
+]
+

.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

@@ -5,15 +5,20 @@ name: Rust
 jobs:
  test:
  name: Test Suite
- runs-on: [self-hosted, Linux]
+ runs-on: ubuntu-latest
  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
 
  fmt:
  name: Rustfmt
- runs-on: [self-hosted, Linux]
+ runs-on: ubuntu-latest
  steps:
  - uses: actions/checkout@v3
  - uses: dtolnay/rust-toolchain@stable
@@ -24,9 +29,14 @@ jobs:
 
  clippy:
  name: Clippy
- runs-on: [self-hosted, Linux]
+ runs-on: ubuntu-latest
  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>