3 file(GLOB insets_sources ${TOP_SRC_DIR}/src/insets/*.C)
4 file(GLOB insets_headers ${TOP_SRC_DIR}/src/insets/*.h)
6 list(REMOVE_ITEM insets_sources ${TOP_SRC_DIR}/src/insets/insettheorem.C)
8 include_directories(${TOP_SRC_DIR}/src/insets)
10 add_library(insets STATIC ${insets_sources} ${insets_headers})