Update build.yml

meelgroup · Apr 11, 2024 · b4dd718 · b4dd718
1 parent 3dd3ad8
commit b4dd718
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -21,7 +21,7 @@ jobs:
     - uses: actions/checkout@v3
 
     - name: boost install
-      run: sudo apt-get update && sudo apt-get install -yq libboost-dev libboost-program-options-dev libboost-serialization-dev
+      run: sudo apt-get update && sudo apt-get install -yq libboost-dev libboost-program-options-dev libboost-serialization-dev libmpfr-dev
 
     - name: Checkout Cadical
       uses: actions/checkout@v2