diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 926d9a5..b82ff8d 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -17,6 +17,8 @@ else (REFERENCE_TIGER) set(TIGER_SRC_FILES ../lib/freetiger/C/tiger.c) endif (REFERENCE_TIGER) +message(STATUS "Using backend ${BACKEND_NAME}") + configure_file( "${PROJECT_SOURCE_DIR}/${PROJECT_NAME}Config.d.in" "${PROJECT_BINARY_DIR}/${PROJECT_NAME}Config.d"