diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index d8ea0d996e8..8a8411cb76b 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -25,7 +25,7 @@ jobs:
         if: matrix.TARGET.OS == 'ubuntu-latest'
         run: |
           sudo apt-get update
-          sudo apt-get install -y build-essential bison
+          sudo apt-get install -y build-essential bison libmpfr-dev
 
       - name: Configure for mips
         shell: bash