2014-01-02 14:46:28 +00:00
|
|
|
add_library(lean_frontend frontend.cpp operator_info.cpp scanner.cpp
|
|
|
|
parser.cpp parser_imp.cpp parser_expr.cpp parser_error.cpp
|
|
|
|
parser_imp.cpp parser_cmds.cpp parser_level.cpp parser_tactic.cpp
|
2014-01-02 18:53:14 +00:00
|
|
|
parser_macros.cpp parser_calc.cpp pp.cpp frontend_elaborator.cpp
|
|
|
|
register_module.cpp environment_scope.cpp coercion.cpp shell.cpp)
|
2014-01-02 14:46:28 +00:00
|
|
|
|
2013-08-21 16:04:49 +00:00
|
|
|
target_link_libraries(lean_frontend ${LEAN_LIBS})
|