# ------------------- Source files --------------------

add_library(
  PugsCheckpointing
  Checkpoint.cpp
  CheckpointUtils.cpp
  PrintCheckpointInfo.cpp
  Resume.cpp
  ResumeUtils.cpp
  ResumingData.cpp
  ResumingManager.cpp
  ResumingUtils.cpp)

# Additional dependencies
add_dependencies(PugsCheckpointing
  PugsLanguageAST
  PugsUtils)

target_link_libraries(
  PugsCheckpointing
  ${HIGHFIVE_TARGET}
)
