4 lines
308 B
CMake
4 lines
308 B
CMake
add_library(blast OBJECT expr.cpp state.cpp blast.cpp blast_tactic.cpp
|
|
init_module.cpp simplifier.cpp simple_actions.cpp intros_action.cpp proof_expr.cpp
|
|
options.cpp choice_point.cpp simple_strategy.cpp backward_action.cpp util.cpp
|
|
gexpr.cpp revert_action.cpp subst_action.cpp no_confusion_action.cpp)
|