Location: LEMON/LEMON-main/tools/CMakeLists.txt

Load file history
gravatar
kpeter (Peter Kovacs)
Support real types + numerical stability fix in NS (#254) - Real types are supported by appropriate inicialization. - A feature of the XTI spanning tree structure is removed to ensure numerical stability (could cause problems using integer types). The node potentials are updated always on the lower subtree, in order to prevent overflow problems. The former method isn't notably faster during to our tests.
INCLUDE_DIRECTORIES(
${CMAKE_SOURCE_DIR}
${CMAKE_BINARY_DIR}
)
LINK_DIRECTORIES(${CMAKE_BINARY_DIR}/lemon)
ADD_EXECUTABLE(lgf-gen lgf-gen.cc)
TARGET_LINK_LIBRARIES(lgf-gen lemon)
ADD_EXECUTABLE(dimacs-to-lgf dimacs-to-lgf.cc)
TARGET_LINK_LIBRARIES(dimacs-to-lgf lemon)
ADD_EXECUTABLE(dimacs-solver dimacs-solver.cc)
TARGET_LINK_LIBRARIES(dimacs-solver lemon)
INSTALL(
TARGETS lgf-gen dimacs-to-lgf dimacs-solver
RUNTIME DESTINATION bin
COMPONENT bin
)
IF(NOT WIN32)
INSTALL(
FILES ${CMAKE_CURRENT_SOURCE_DIR}/lemon-0.x-to-1.x.sh
RUNTIME DESTINATION bin
COMPONENT bin)
ENDIF(NOT WIN32)