improvements for issue #42

gcontini

2019-11-10 1c18dbea1cbd759aaf42a7e78afe0d8781065a50

 src/CMakeLists.txt

@@ -1,4 +1,4 @@
add_subdirectory("library")
add_subdirectory("tools")