lean2/src/tests/frontend/CMakeLists.txt

add_executable(frontend_tst frontend.cpp)
target_link_libraries(frontend_tst ${EXTRA_LIBS})
add_test(frontend ${CMAKE_CURRENT_BINARY_DIR}/frontend_tst)
add_executable(scanner scanner.cpp)
target_link_libraries(scanner ${EXTRA_LIBS})
add_test(scanner ${CMAKE_CURRENT_BINARY_DIR}/scanner)
Add frontend object Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> 2013-08-10 01:00:05 +00:00			`add_executable(frontend_tst frontend.cpp)`
			`target_link_libraries(frontend_tst ${EXTRA_LIBS})`
			`add_test(frontend ${CMAKE_CURRENT_BINARY_DIR}/frontend_tst)`
Move sexpr/format/options to util/sexpr (reason: circular dependency between util and numerics lib), now numerics depend on util, and sexpr depends on numerics and util. Add scanner to frontend. Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> 2013-08-13 10:40:51 +00:00			`add_executable(scanner scanner.cpp)`
			`target_link_libraries(scanner ${EXTRA_LIBS})`
			`add_test(scanner ${CMAKE_CURRENT_BINARY_DIR}/scanner)`