Skip to content

Refactor firedrake configure #5073

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
JHopeCollins merged 14 commits into from
May 6, 2026
+734 −584
Merged

Refactor firedrake configure #5073

Show file tree
Hide file tree
Changes from 9 commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
3db6317
Pipe firedrake-configure errors to stderr and check min Python version
connorjward May 1, 2026
89b16ce
stdout too
connorjward May 1, 2026
83ed5ea
Refactor firedrake-configure
connorjward May 1, 2026
c528954
Merge remote-tracking branch 'origin/release' into connorjward/refact…
connorjward May 1, 2026
9a1be6b
fixup
connorjward May 1, 2026
8fd5147
fixup
connorjward May 1, 2026
5ec6f0b
fixup
connorjward May 1, 2026
0e4ee8f
fixup
connorjward May 1, 2026
9b60277
Cleanup
connorjward May 2, 2026
d587b3c
Review comments and pin in CI for the moment
connorjward May 5, 2026
13c6883
fixup
connorjward May 5, 2026
f0fb70c
fixup
connorjward May 5, 2026
67a16ea
fixup
connorjward May 6, 2026
960e75f
Review comments and small formatting improvement
connorjward May 6, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 3 additions & 10 deletions docs/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ help:

TARGETS = html dirhtml singlehtml pickle json htmlhelp qthelp devhelp epub latex latexpdf text man changes linkcheck doctest gettext

GENERATED_FILES = source/team.rst source/demos source/element_list.csv source/apt_deps.txt source/homebrew_deps.txt source/minimal_apt_deps.txt source/petsc_configure_options.txt
GENERATED_FILES = source/team.rst source/demos source/element_list.csv source/apt_deps.txt source/homebrew_deps.txt source/petsc_configure_options.txt

publishpdf:
env FIREDRAKE_MANUAL_RELEASE=`date +%Y-%m` $(MAKE) latexpdf
Expand Down Expand Up @@ -86,23 +86,16 @@ source/team.rst: source/team2.py

source/apt_deps.txt:
python3 ../scripts/firedrake-configure \
--package-manager apt-x86_64 \
--package-manager ubuntu24.04-x86_64 \
Comment thread
connorjward marked this conversation as resolved.
Outdated
--show-system-packages > source/apt_deps.tmp
mv source/apt_deps.tmp source/apt_deps.txt

source/homebrew_deps.txt:
python3 ../scripts/firedrake-configure \
--package-manager brew-arm64 \
--package-manager macos-arm64 \
Comment thread
connorjward marked this conversation as resolved.
Outdated
--show-system-packages > source/homebrew_deps.tmp
mv source/homebrew_deps.tmp source/homebrew_deps.txt

source/minimal_apt_deps.txt:
python3 ../scripts/firedrake-configure \
--package-manager apt-x86_64 \
--show-minimal-system-packages > source/minimal_apt_deps.tmp
mv source/minimal_apt_deps.tmp source/minimal_apt_deps.txt


source/petsc_configure_options.txt:
python3 ../scripts/firedrake-configure \
--no-package-manager \
Expand Down
5 changes: 2 additions & 3 deletions docs/source/install.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -119,10 +119,9 @@ ensure that these system dependencies are in place. Some of the dependencies
downloaded by PETSc ``configure`` by passing additional flags like
``--download-mpich`` or ``--download-openblas`` (run ``./configure --help | less`` to
see what is available). To give you a guide as to what system dependencies are
needed, on Ubuntu they are:
needed, on Ubuntu they are::

.. literalinclude:: minimal_apt_deps.txt
:language: text
build-essential flex gfortran git ninja-build pkg-config python3-dev python3-pip

.. _install_petsc:

Expand Down
Loading
Loading