⚡ Use mold instead of ld for faster link times (#210)

* ⚡ Use mold instead of ld in CI builds

* ⚡ Use mold instead of ld in Dockerfile

.github/workflows/codeql-analysis.yml

@@ -67,6 +67,9 @@ jobs:
           save: true
           max-size: 10G
 
+      - name: Setup mold
+        uses: rui314/setup-mold@v1
+
       - name: Install pip packages
         uses: BSFishy/pip-action@v1
         with:

.github/workflows/coverage.yml

@@ -61,6 +61,9 @@ jobs:
           save: true
           max-size: 10G
 
+      - name: Setup mold
+        uses: rui314/setup-mold@v1
+
       - name: Install pip packages
         uses: BSFishy/pip-action@v1
         with:

.github/workflows/ubuntu.yml

@@ -78,6 +78,9 @@ jobs:
           save: true
           max-size: 10G
 
+      - name: Setup mold
+        uses: rui314/setup-mold@v1
+
       - name: Install pip packages
         uses: BSFishy/pip-action@v1
         with:

Dockerfile

@@ -5,7 +5,7 @@ ARG NUMBER_OF_JOBS=2
 
 # Configure apt and install packages
 RUN apt-get -y update && apt-get -y upgrade && apt-get -y install \
-    make cmake gcc g++ git python3 python3-dev python3-pip libreadline-dev xdg-utils
+    make cmake gcc g++ mold git python3 python3-dev python3-pip libreadline-dev xdg-utils
 
 # Setup Z3
 RUN pip3 install z3-solver==4.10.0
@@ -24,6 +24,7 @@ RUN cmake -S fiction -B fiction/build \
     -DFICTION_PROGRESS_BARS=ON \
     -DMOCKTURTLE_EXAMPLES=OFF \
     -DWARNINGS_AS_ERRORS=OFF \
+    -DCMAKE_EXE_LINKER_FLAGS=-fuse-ld=mold \
     && cmake --build fiction/build --config Release -j${NUMBER_OF_JOBS}
 
 # Automatically start fiction when started in interactive mode