[pixi] Fix finding pagmo and ipopt

dartsim · Jun 27, 2024 · e747106 · e747106
1 parent 97f66a2
commit e747106
Show file tree

Hide file tree

Showing 4 changed files with 386 additions and 1 deletion.
diff --git a/cmake/DARTFindIPOPT.cmake b/cmake/DARTFindIPOPT.cmake
@@ -8,6 +8,11 @@
 
 find_package(IPOPT 3.11.9 QUIET MODULE)
 
+message(STATUS "[DEBUG] IPOPT_FOUND: ${IPOPT_FOUND}")
+message(STATUS "[DEBUG] IPOPT_INCLUDE_DIRS: ${IPOPT_INCLUDE_DIRS}")
+message(STATUS "[DEBUG] IPOPT_LIBRARIES: ${IPOPT_LIBRARIES}")
+message(STATUS "[DEBUG] IPOPT_VERSION: ${IPOPT_VERSION}")
+
 # HAVE_CSTDDEF is necessary to workaround this bug:
 # https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=684062
 if(IPOPT_FOUND AND NOT TARGET IPOPT::ipopt)

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