more cmake functionality

2015-06-18 00:55:12 +01:00
parent b2e102faa9
commit 8ec89c5bef
6 changed files with 470 additions and 4 deletions
--- a/cmake/FindGecode.cmake
+++ b/cmake/FindGecode.cmake
@@ -21,10 +21,6 @@ if(GECODE_FOUND)
  set(GECODE_LIBRARIES ${GECODE_LIBRARY} ${GECODE_SUPPORT_LIBRARY})
  set(GECODE_INCLUDE_DIRS ${GECODE_INCLUDE_DIR})
  find_library(GECODE_DRIVER_LIBRARY gecodedriver)
-  if(GECODE_DRIVER_LIBRARY)
-    list(APPEND GECODE_LIBRARIES ${GECODE_DRIVER_LIBRARY})
-  endif()
-  find_library(GECODE_FZ_LIBRARY gecodeflatzinc)
  if(GECODE_FZ_LIBRARY)
    list(APPEND GECODE_LIBRARIES ${GECODE_FZ_LIBRARY})
  endif()