You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A master student in our group had problems installing Elephant with Builder, adding the following to forms/elephant/<versjon>/default solved the problem
source_get() {
log_status ">>> no source fetching necessary."
}
This should be fixed in master as well.
(She got the following error message before adding the changes: Builder/build_functions.sh: line 148: URL: Unbound variable)
The text was updated successfully, but these errors were encountered:
This is probably caused by the URL line not being present, which is not (and should not be) used for Python packages. A fix as you did is reasonable for the moment and I'd probably still accept such PR, but we should have a look at the install mechanisms in general to make this unnecessary.
A master student in our group had problems installing Elephant with Builder, adding the following to
forms/elephant/<versjon>/default
solved the problemThis should be fixed in master as well.
(She got the following error message before adding the changes:
Builder/build_functions.sh: line 148: URL: Unbound variable
)The text was updated successfully, but these errors were encountered: