fix(minion): apply Georgiis hotfix for Minion build failure

Point the repo to Georgii's fork of Minion to apply his fix for Minion build failures (minion/minion#43)
conjure-cp · Feb 5, 2025 · ca82d66 · ca82d66
1 parent 177c21d
commit ca82d66
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,6 @@
 [submodule "solvers/minion/vendor"]
     path = solvers/minion/vendor
-    url = https://github.com/minion/minion
+    url = https://github.com/gskorokhod/minion
     branch = main 
     ignore = dirty
 
diff --git a/solvers/minion/vendor b/solvers/minion/vendor
+16 −0		minion/minion.h
+3 −3		minion/system/minlib/box.h
+3 −2		sphinxdocs/usage/constraints.rst