Fix syntax error in cmake file of tools (#578).

This cmake file is still not finished, use ./compile to compile the
editor.