cmake-DCMAKE_INSTALL_PREFIX is not working fine

Usage
2

First you set the install prefix to workspae instead of workspace, and then nothing is installed until you explicitely call “make install” or “ninja install”.