tools/CMakeLists.txt
author Peter Kovacs <kpeter@inf.elte.hu>
Fri, 03 Apr 2009 18:59:15 +0200
changeset 655 6ac5d9ae1d3d
child 596 ba659d676331
permissions -rw-r--r--
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.
alpar@574
     1
INCLUDE_DIRECTORIES(
alpar@574
     2
  ${CMAKE_SOURCE_DIR}
alpar@574
     3
  ${CMAKE_BINARY_DIR}
alpar@574
     4
)
alpar@574
     5
alpar@574
     6
LINK_DIRECTORIES(${CMAKE_BINARY_DIR}/lemon)
alpar@574
     7
alpar@574
     8
ADD_EXECUTABLE(lgf-gen lgf-gen.cc)
alpar@574
     9
TARGET_LINK_LIBRARIES(lgf-gen lemon)
alpar@574
    10
alpar@574
    11
ADD_EXECUTABLE(dimacs-to-lgf dimacs-to-lgf.cc)
alpar@574
    12
TARGET_LINK_LIBRARIES(dimacs-to-lgf lemon)
alpar@574
    13
alpar@574
    14
ADD_EXECUTABLE(dimacs-solver dimacs-solver.cc)
alpar@574
    15
TARGET_LINK_LIBRARIES(dimacs-solver lemon)
alpar@574
    16
alpar@574
    17
INSTALL(
alpar@574
    18
  TARGETS lgf-gen dimacs-to-lgf dimacs-solver
alpar@574
    19
  RUNTIME DESTINATION bin
alpar@574
    20
  COMPONENT bin
alpar@574
    21
)
alpar@574
    22
alpar@574
    23
IF(NOT WIN32)
alpar@574
    24
  INSTALL(
alpar@574
    25
    FILES ${CMAKE_CURRENT_SOURCE_DIR}/lemon-0.x-to-1.x.sh
alpar@574
    26
    RUNTIME DESTINATION bin
alpar@574
    27
    COMPONENT bin)
alpar@574
    28
ENDIF(NOT WIN32)