Reorder libraries list

stanford-centaur · Feb 20, 2025 · fb39369 · fb39369
1 parent b6cffd5
commit fb39369
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/python/setup.py.in b/python/setup.py.in
@@ -85,7 +85,7 @@ if not os.path.isfile(os.path.join('smt_switch', ext_filename)):
 
     # Set up the extension module
     ext_options = {
-        "libraries": ["smt-switch"] + [f"smt-switch-{solver}" for solver in solver_libs.keys()],
+        "libraries": [f"smt-switch-{solver}" for solver in solver_libs.keys()] + ["smt-switch"],
         "library_dirs": [PROJECT_BINARY_DIR, f"{PROJECT_BINARY_DIR}/python"] + [f"{PROJECT_BINARY_DIR}/{solver}" for solver in solver_libs],
         "runtime_library_dirs": [PROJECT_BINARY_DIR, f"{PROJECT_BINARY_DIR}/python"] + [f"{PROJECT_BINARY_DIR}/{solver}" for solver in solver_libs],
         "include_dirs": [f"{PROJECT_SOURCE_DIR}/include", PROJECT_BINARY_DIR, f"{PROJECT_BINARY_DIR}/python"] + [f"{PROJECT_SOURCE_DIR}/{solver}/include" for solver in solver_libs],