[jenkins] Specify MPFR_ROOT for jenkins osx builds

TRIQS · Jan 17, 2024 · 0d48eed · 0d48eed
1 parent 40911ee
commit 0d48eed
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -83,6 +83,7 @@ for (int i = 0; i < osxPlatforms.size(); i++) {
       dir(buildDir) { withEnv(platformEnv[1].collect { it.replace('\$BREW', env.BREW) } + [
           "PATH=$venv/bin:${env.BREW}/bin:/usr/bin:/bin:/usr/sbin",
           "HDF5_ROOT=$hdf5",
+          "MPFR_ROOT=${env.BREW}",
           "C_INCLUDE_PATH=$hdf5/include:${env.BREW}/include",
           "CPLUS_INCLUDE_PATH=$venv/include:$hdf5/include:${env.BREW}/include",
           "LIBRARY_PATH=$venv/lib:$hdf5/lib:${env.BREW}/lib",