non standard include

Gabriele Contini

2019-10-19 3f756bcefbf745e9bd0a2fbd75870142630b0a5e

 src/tools/base_lib/CMakeLists.txt

@@ -17,3 +17,5 @@
     tools_base
     ${EXTERNAL_LIBS}
)

install(TARGETS tools_base ARCHIVE DESTINATION lib)