Use Sleipnir backend

SleipnirGroup · Feb 17, 2024 · 19cf630 · 19cf630
1 parent b78c4b6
commit 19cf630
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/rust/build.rs b/rust/build.rs
@@ -2,7 +2,7 @@ use cmake::Config;
 
 fn main() -> miette::Result<()> {
     let mut cmake_config = Config::new("..");
-    let optimizer_backend = "casadi";
+    let optimizer_backend = "sleipnir";
 
     cmake_config
         .profile("RelWithDebInfo")
@@ -24,6 +24,7 @@ fn main() -> miette::Result<()> {
             cmake_config
                 .generator("Visual Studio 17 2022")
                 .define("CMAKE_GENERATOR_PLATFORM", "x64")
+                .define("BUILD_SHARED_LIBS", "OFF")
                 .cxxflag("/EHsc");
         }
     }