From 2be81f796544fefd0e6eb349eaa52f36db1848b5 Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Tue, 19 Nov 2019 09:36:03 +0100
Subject: [PATCH] Add a name in FindGLPK.cmake

---
 Installation/cmake/modules/FindGLPK.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Installation/cmake/modules/FindGLPK.cmake b/Installation/cmake/modules/FindGLPK.cmake
index b2e6f4476c5..9e060acf81d 100644
--- a/Installation/cmake/modules/FindGLPK.cmake
+++ b/Installation/cmake/modules/FindGLPK.cmake
@@ -15,7 +15,7 @@ if (NOT GLPK_FOUND)
              )
 
     find_library(GLPK_LIBRARIES
-                 NAMES libglpk
+                 NAMES libglpk glpk
                  PATHS ENV LD_LIBRARY_PATH
                        ENV LIBRARY_PATH
                        /usr/local/lib