From 828d3ee818668d98dc02c87bed994ae1da62832f Mon Sep 17 00:00:00 2001 From: MEKBAL Date: Mon, 24 Jun 2024 09:56:34 +0200 Subject: [PATCH] Add package MPFR --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 77dfe08..df41ca0 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -28,7 +28,7 @@ jobs: - name: Install the requirements for building run: sudo apt-get install -y build-essential g++ autoconf automake - name: Install LLVM, clang and opt libtool - run: sudo apt install clang lldb lld llvm opt libtool + run: sudo apt install clang lldb lld llvm opt libtool libmpfr-dev parallel - name: Install Verificarlo run: | git clone https://github.com/verificarlo/verificarlo.git