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