https://github.com/limbo018/OpenMPL
Raw File
Tip revision: f3b67d62a9b71fbca8a8be7da01740b3d6188722 authored by Yibo Lin on 14 November 2022, 10:44:23 UTC
Merge pull request #13 from andnasnd/master
Tip revision: f3b67d6
CMakeLists.txt
cmake_minimum_required(VERSION 3.8.2)

project(OpenMPL)

if (CMAKE_INSTALL_PREFIX_INITIALIZED_TO_DEFAULT)
    set (CMAKE_INSTALL_PREFIX "${CMAKE_CURRENT_SOURCE_DIR}" CACHE PATH "Prefix prepended to install directories" FORCE )
endif()
set(CMAKE_MODULE_PATH ${CMAKE_MODULE_PATH} "${CMAKE_CURRENT_SOURCE_DIR}/cmake")
message("-- CMAKE_INSTALL_PREFIX: ${CMAKE_INSTALL_PREFIX}")

if(NOT CMAKE_BUILD_TYPE)
    set(CMAKE_BUILD_TYPE "Release" CACHE STRING
        "Choose the type of build, options are: Debug Release."
        FORCE)
endif(NOT CMAKE_BUILD_TYPE)
message("-- CMAKE_BUILD_TYPE: ${CMAKE_BUILD_TYPE}")

if(NOT CMAKE_CXX_ABI)
    set(CMAKE_CXX_ABI 0 CACHE STRING
        "Choose the value for _GLIBCXX_USE_CXX11_ABI, options are: 0|1."
        FORCE)
endif(NOT CMAKE_CXX_ABI)
message("-- CMAKE_CXX_ABI: _GLIBCXX_USE_CXX11_ABI=${CMAKE_CXX_ABI}")
add_definitions(-D_GLIBCXX_USE_CXX11_ABI=${CMAKE_CXX_ABI})

option(ENABLE_GUROBI "whether enable Gurobi" OFF)
message("-- GUROBI: ${ENABLE_GUROBI}")
option(ENABLE_LEMONCBC "whether enable Lemon-CBC" OFF)
message("-- LEMONCBC: ${ENABLE_LEMONCBC}")

set(CMAKE_CXX_STANDARD 11)

set(LIMBO_SOURCE_DIR ${CMAKE_CURRENT_SOURCE_DIR}/thirdparty/Limbo)
message("-- LIMBO_SOURCE_DIR ${LIMBO_SOURCE_DIR}")
set(LIMBO_BINARY_DIR ${CMAKE_CURRENT_BINARY_DIR}/thirdparty/Limbo)
message("-- LIMBO_BINARY_DIR ${LIMBO_BINARY_DIR}")

find_package(ZLIB REQUIRED)
# first try to find static libraries, then try to find dynamic ones
set(Boost_USE_STATIC_LIBS ON) 
find_package(Boost 1.55.0...1.72.0 COMPONENTS timer chrono graph)
if (NOT Boost_FOUND)
    set(Boost_USE_STATIC_LIBS OFF)  
    find_package(Boost 1.55.0 REQUIRED COMPONENTS timer chrono graph)
endif (NOT Boost_FOUND)
message("-- Boost_INCLUDE_DIRS = ${Boost_INCLUDE_DIRS}")
find_package(Gurobi)
find_package(OpenMP)

add_subdirectory(thirdparty)
add_subdirectory(src)
back to top