src/theory/CMakeLists.txt

   1 libcvc4_add_sources(GENERATED
   2   rewriter_tables.h
   3   theory_traits.h
   4   type_enumerator.cpp
   5 )
   6
   7 set(mktheorytraits_script ${CMAKE_CURRENT_LIST_DIR}/mktheorytraits)
   8 set(mkrewriter_script ${CMAKE_CURRENT_LIST_DIR}/mkrewriter)
   9
  10 add_custom_command(
  11   OUTPUT rewriter_tables.h
  12   COMMAND
  13     ${mkrewriter_script}
  14     ${CMAKE_CURRENT_LIST_DIR}/rewriter_tables_template.h
  15     ${KINDS_FILES}
  16     > ${CMAKE_CURRENT_BINARY_DIR}/rewriter_tables.h
  17   DEPENDS mkrewriter rewriter_tables_template.h ${KINDS_FILES}
  18 )
  19
  20 add_custom_command(
  21   OUTPUT theory_traits.h
  22   COMMAND
  23     ${mktheorytraits_script}
  24     ${CMAKE_CURRENT_LIST_DIR}/theory_traits_template.h
  25     ${KINDS_FILES}
  26     > ${CMAKE_CURRENT_BINARY_DIR}/theory_traits.h
  27   DEPENDS mktheorytraits theory_traits_template.h ${KINDS_FILES}
  28 )
  29
  30 add_custom_command(
  31   OUTPUT type_enumerator.cpp
  32   COMMAND
  33     ${mktheorytraits_script}
  34     ${CMAKE_CURRENT_LIST_DIR}/type_enumerator_template.cpp
  35     ${KINDS_FILES}
  36     > ${CMAKE_CURRENT_BINARY_DIR}/type_enumerator.cpp
  37   DEPENDS mktheorytraits type_enumerator_template.cpp ${KINDS_FILES}
  38 )
  39
  40 add_custom_target(gen-theory
  41   DEPENDS
  42     type_enumerator.cpp
  43     theory_traits.h
  44     rewriter_tables.h
  45 )