auto-rebuild if settings indicates old gpkit version

convexengineering · Oct 8, 2019 · 4a08554 · 4a08554
1 parent e44f232
commit 4a08554
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/gpkit/globals.py b/gpkit/globals.py
@@ -26,7 +26,9 @@ def load_settings(path=None, firstattempt=True):
                         value.remove("mosek")
     except IOError:
         settings_ = {"installed_solvers": [""]}
-    if settings_["installed_solvers"] == [""]:
+    if (settings_["installed_solvers"] == [""]
+        or ("mosek" in settings_["installed_solvers"]
+            and "mosek_version" not in settings_)):
         if firstattempt:
             print("Found no installed solvers, beginning a build.")
             build()