From ea9fd80998261a51864af13a97c315613e12f494 Mon Sep 17 00:00:00 2001 From: Thomas Krijnen Date: Tue, 10 Aug 2021 14:01:33 +0200 Subject: [PATCH] Update ci.yml --- .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 e8bc7c21b4..77b114df5a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -60,7 +60,7 @@ jobs: -DGMP_INCLUDE_DIR=/usr/include \ -DMPFR_INCLUDE_DIR=/usr/include \ -DGMP_LIBRARY_DIR=/usr/lib/x86_64-linux-gnu \ - -DMFRP_LIBRARY_DIR=/usr/lib/x86_64-linux-gnu \ + -DMPFR_LIBRARY_DIR=/usr/lib/x86_64-linux-gnu \ \ "-DSCHEMA_VERSIONS=2x3;4" \ -DHDF5_INCLUDE_DIR=/usr/include/hdf5/serial \