lean2/src/util/CMakeLists.txt

2 lines
125 B
CMake
Raw Normal View History

add_library(util trace.cpp debug.cpp name.cpp exception.cpp verbosity.cpp interrupt.cpp hash.cpp escaped.cpp bit_tricks.cpp)