find-external: remove prefix from library names

jrl-umi3218 · Aug 5, 2024 · f7d0e73 · f7d0e73
1 parent 677669e
commit f7d0e73
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/find-external/CDD/FindCDD.cmake b/find-external/CDD/FindCDD.cmake
@@ -29,7 +29,7 @@ find_path(
   PATH_SUFFIXES include/cdd include/cddlib)
 find_library(
   CDD_LIBRARY
-  NAMES libcdd
+  NAMES cdd
   PATHS ${CDD_PREFIX})
 
 set(CDD_LIBRARIES ${CDD_LIBRARY})

diff --git a/find-external/CLP/FindCLP.cmake b/find-external/CLP/FindCLP.cmake
@@ -28,7 +28,7 @@ find_path(
   PATHS ${CLP_PREFIX})
 find_library(
   CLP_LIBRARY
-  NAMES libclp libClp
+  NAMES clp Clp
   PATHS ${CLP_PREFIX})
 
 set(CLP_LIBRARIES ${CLP_LIBRARY})

diff --git a/find-external/CoinUtils/FindCoinUtils.cmake b/find-external/CoinUtils/FindCoinUtils.cmake
@@ -29,7 +29,7 @@ find_path(
   PATHS ${CoinUtils_PREFIX})
 find_library(
   CoinUtils_LIBRARY
-  NAMES libCoinUtils
+  NAMES CoinUtils
   PATHS ${CoinUtils_PREFIX})
 
 set(CoinUtils_LIBRARIES ${CoinUtils_LIBRARY})

diff --git a/find-external/glpk/Findglpk.cmake b/find-external/glpk/Findglpk.cmake
@@ -28,7 +28,7 @@ find_path(
   PATHS ${glpk_PREFIX})
 find_library(
   glpk_LIBRARY
-  NAMES libglpk
+  NAMES glpk
   PATHS ${glpk_PREFIX}
   PATH_SUFFIXES include/glpk)