title: Running NuSMV on Mac
body: <p>I downloaded NuSMV source code for mac and started installing using the README. However, there is a step which asks me to build using 'cmake..' when I run that I get the issue The source directory does not appear to contain CMakeLists.txt.</p>
  
  <p>Any help please?</p>