CMakeLists.txt

   1 cmake_minimum_required(VERSION 2.8)
   2
   3 project(PathExplorer)
   4
   5 include(FindPin.cmake)
   6 include(UsePin.cmake)
   7
   8 set(PINTOOL_LINK_LIBS boost_log pthread)
   9
  10 ADD_PINTOOL(PathExplorer2 src/main.cpp
  11   src/analysis/operand.cpp
  12   src/analysis/instruction.cpp
  13   src/analysis/cbranch.cpp
  14   src/analysis/dataflow.cpp
  15   src/engine/checkpoint.cpp
  16   src/engine/fast_execution.cpp
  17   src/instrumentation/analyzer.cpp
  18   src/instrumentation/resolver.cpp
  19   src/instrumentation/dbi.cpp
  20   src/utilities/utils.cpp)