Gabriele Contini
2019-09-01 cda3bcaec6ebc7a8cb5cae4ac2ec9471d9d0a1e6
src/tools/base_lib/CMakeLists.txt
@@ -17,3 +17,5 @@
     tools_base
     ${EXTERNAL_LIBS}
)
install(TARGETS tools_base ARCHIVE DESTINATION lib)