the three commands you need to execute to build dolphin are written inside build() function.
…you may want to replace `DCMAKE_BUILD_TYPE=Release` with `DCMAKE_BUILD_TYPE=Debug` though. You probably don't want "release" for development, and also "debug" is a bit faster to compile.
