make install and some cleanup

Maximilien Siavelis

2018-01-05 b446e4d14a0694d23573d77672ef6d70c51d6a08

 src/tools/base_lib/CMakeLists.txt

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

install(TARGETS tools_base ARCHIVE DESTINATION lib)