Make our CMake options properly cached values.
authorManuel Nickschas <sputnick@quassel-irc.org>
Tue, 17 Jun 2008 19:21:50 +0000 (21:21 +0200)
committerManuel Nickschas <sputnick@quassel-irc.org>
Tue, 17 Jun 2008 19:25:48 +0000 (21:25 +0200)
commitff8284ca369552c71fc5f00cab337fc1f28ed4e0
tree56ca0b8f3dd0abd1beddaddb3f83364c883455ac
parent4001dd0b65c297486a519d3ca63c630b05f1db67
Make our CMake options properly cached values.

This way, CMake will remember the values we specify on the command
line, plus it is possible to edit them via cmake -i or various GUIs.
CMakeLists.txt