Skip to content

Commit 382c96b

Browse files
authored
Download CMake on homebrew because PETSc release does not support version 4.0 yet (#4182)
1 parent 4a2224c commit 382c96b

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

scripts/firedrake-configure

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -385,6 +385,8 @@ def prepare_configure_options(
385385
# Avoid macos + openmpi + mumps segmentation violation issue;
386386
# see https://github.com/firedrakeproject/firedrake/issues/4102 and https://github.com/firedrakeproject/firedrake/issues/4113.
387387
configure_options.append("-download-mumps-avoid-mpi-in-place")
388+
# PETSc does not support CMake 4.0 (hopefully fixed in v3.23.1)
389+
configure_options.append("--download-cmake")
388390
else:
389391
configure_options.append("--FOPTFLAGS='-O3 -march=native -mtune=native'")
390392

0 commit comments

Comments
 (0)