Failure in updating Firedrake #2906
-
I get the following error when I run 'firedrake-update' with my venv activated.
|
Beta Was this translation helpful? Give feedback.
Answered by
connorjward
May 2, 2023
Replies: 1 comment 3 replies
-
Ah. This is a bug. The error should go away if you add |
Beta Was this translation helpful? Give feedback.
3 replies
Answer selected by
connorjward
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Ah. This is a bug. The error should go away if you add
"netgen": false
to the"options"
bit of$VIRTUAL_ENV/.configuration.json
. I will get a proper fix in ASAP.