push 5767758..594762f

* commit 594762f2fefe5ed8eb399d06b6672aa977646e01
  Author: Marc Legendre <marc.legendre@inria.fr>
  Date:   Thu Jan 30 18:29:53 2014 +0100
  
      Save the list of build options in misc/options.txt
      
      This commit adds a sofa_option() CMake function to declare options instead
      of the standard option(). It stores a list of the options in the cache, as
      well as their default values, and the list of options that changed is saved
      to 'misc/options.txt' in the build directory at the end of a cmake run.
      
      This should be a convenient way to share your configuration with people you
      work with, and a good way to complete your bug reports :-)
  
   CMakeLists.txt          |    1 +
   cmake/environment.cmake |    1 +
   cmake/functions.cmake   |   41 ++++++-
   cmake/options.cmake     |  321 +++++++++++++++++++++++------------------------
   4 files changed, 200 insertions(+), 164 deletions(-)


git-svn-id: svn://scm.gforge.inria.fr/svnroot/sofa/trunk@10593 b7f1a160-662a-0410-a6d8-bea165342f16