title: Advantages of using CMake option command rather than set?
body: <p>I think the <code>option</code> command is redundant because it can be replaced by the <code>set</code> command. What are the benefits I could get when I use the <code>option</code> command?</p>