The "Derecho version" specified in CMakeLists.txt is still 0.9.2, even in the commit that is tagged on GitHub as v2.0.0, which means that the library object file created by Cmake is named libderecho.0.9.2 when building Derecho v2.0. This will no doubt be confusing to users, and should be fixed.
The "Derecho version" specified in CMakeLists.txt is still 0.9.2, even in the commit that is tagged on GitHub as v2.0.0, which means that the library object file created by Cmake is named
libderecho.0.9.2when building Derecho v2.0. This will no doubt be confusing to users, and should be fixed.