1 ###############################################################################
2 # Top contributors (to current version):
3 # Aina Niemetz, Mathias Preiner
5 # This file is part of the cvc5 project.
7 # Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
8 # in the top-level source directory and their institutional affiliations.
9 # All rights reserved. See the file COPYING in the top-level source
10 # directory for licensing information.
11 # #############################################################################
13 # The build system configuration.
16 libcvc5_add_sources(GENERATED
22 set(mktheorytraits_script ${CMAKE_CURRENT_LIST_DIR}/mktheorytraits)
23 set(mkrewriter_script ${CMAKE_CURRENT_LIST_DIR}/mkrewriter)
26 OUTPUT rewriter_tables.h
29 ${CMAKE_CURRENT_LIST_DIR}/rewriter_tables_template.h
31 > ${CMAKE_CURRENT_BINARY_DIR}/rewriter_tables.h
32 DEPENDS mkrewriter rewriter_tables_template.h ${KINDS_FILES}
36 OUTPUT theory_traits.h
38 ${mktheorytraits_script}
39 ${CMAKE_CURRENT_LIST_DIR}/theory_traits_template.h
41 > ${CMAKE_CURRENT_BINARY_DIR}/theory_traits.h
42 DEPENDS mktheorytraits theory_traits_template.h ${KINDS_FILES}
46 OUTPUT type_enumerator.cpp
48 ${mktheorytraits_script}
49 ${CMAKE_CURRENT_LIST_DIR}/type_enumerator_template.cpp
51 > ${CMAKE_CURRENT_BINARY_DIR}/type_enumerator.cpp
52 DEPENDS mktheorytraits type_enumerator_template.cpp ${KINDS_FILES}
55 add_custom_target(gen-theory