diff --git a/machines/shared/add_dependencies_to_project.jl b/machines/shared/add_dependencies_to_project.jl index eb42d5dab..80a24ee13 100644 --- a/machines/shared/add_dependencies_to_project.jl +++ b/machines/shared/add_dependencies_to_project.jl @@ -101,6 +101,9 @@ elseif Sys.isapple() MPIPreferences.use_system_binary() catch println("Failed to auto-detect path of MPI library...") + + local mpi_library_path + default_mpi_library_path = get(mk_preferences, "mpi_library_path", "") mpi_library_path = get_input_with_path_completion( "\nEnter the full path to your MPI library (e.g. something like " @@ -111,6 +114,8 @@ elseif Sys.isapple() MPIPreferences.use_system_binary(library_names=mpi_library_path) + global mk_preferences, local_preferences + # Just got the value for the setting, now write it to LocalPreferences.toml mk_preferences["mpi_library_path"] = mpi_library_path open(local_preferences_filename, "w") do io