[pixi] Fix finding pagmo and ipopt

(cherry picked from commit 75c5565cd6a45bb143ba1fe95137000f2610d03b)
dartsim · Jun 27, 2024 · d2f56b4 · d2f56b4
1 parent 97f66a2
commit d2f56b4
Show file tree

Hide file tree

Showing 3 changed files with 381 additions and 1 deletion.
diff --git a/cmake/FindIPOPT.cmake b/cmake/FindIPOPT.cmake
@@ -34,7 +34,7 @@ find_path(IPOPT_INCLUDE_DIRS
 
 # Libraries
 find_library(IPOPT_LIBRARIES
-    NAMES ipopt
+    NAMES ipopt ipopt-3
     HINTS ${PC_IPOPT_LIBDIR})
 
 # Version