Skip to content

Commit

Permalink
⚡ Use mold instead of ld in Dockerfile
Browse files Browse the repository at this point in the history
  • Loading branch information
marcelwa committed May 12, 2023
1 parent 14a83b4 commit 78267c3
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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
Expand Down

0 comments on commit 78267c3

Please sign in to comment.