seahorn/crab

CMake Options

agurfinkel opened this issue · 0 comments

agurfinkel commented

CMake top-level options should be prefixed with CRAB. For example,

USE_LDD --> CRAB_ENABLE_LDD
USE_APRON --> CRAB_ENABLE_APRON

etc.