add_executable(tapl tapl.cpp)
target_link_libraries(tapl
  system
  common
  utap
  udbm
  ${LIBXML2_STATIC_LIBRARIES}
  ${Boost_PROGRAM_OPTIONS_LIBRARY}
)

add_executable(mcta mcta.cpp)
target_link_libraries(mcta
  gdheuristic
  ffheuristic
  ulheuristic
  pdbheuristic
  system
  search
  common
  utap
  udbm
  ${LIBXML2_STATIC_LIBRARIES}
  ${Boost_LIBRARIES}
)

add_executable(abstractor abstractor.cpp)
target_link_libraries(abstractor
  system
  common
  utap
  udbm
  ${LIBXML2_STATIC_LIBRARIES}
  ${Boost_LIBRARIES}
)

add_executable(safeabs safeabs.cpp)
target_link_libraries(safeabs
  system
  common
  causalgraph
  utap
  udbm
  ${LIBXML2_STATIC_LIBRARIES}
  ${Boost_LIBRARIES}
)

add_executable(pdbgen
  edge.cpp
  explorer.cpp
  graph.cpp
  node.cpp
  options.cpp
  parser.cpp
  pdbgen.cpp
  tester.cpp
)
target_link_libraries(pdbgen common)

### how shall we link the executables?
set_property(TARGET
  tapl
  mcta
  safeabs
  abstractor
  pdbgen
  PROPERTY LINK_SEARCH_END_STATIC ${STATIC_LINKAGE}
)