ViewVC Help
View File | Revision Log | Show Annotations | View Changeset | Root Listing
root/REPOS_ERICCA/magic/CMakeLists.txt
(Generate patch)

Comparing magic/CMakeLists.txt (file contents):
Revision 313 by francois, Fri Nov 11 21:55:11 2011 UTC vs.
Revision 314 by francois, Sat Feb 18 04:49:46 2012 UTC

# Line 74 | Line 74 | if(ENABLE_SAT)
74   add_definitions(-DBREP_SAT)
75   endif(ENABLE_SAT)
76  
77 + if(ENABLE_OCC)
78 + add_definitions(-DBREP_OCC)
79 + endif(ENABLE_OCC)
80   if(ENABLE_STEP)
81   add_definitions(-DBREP_STEP)
82   endif(ENABLE_STEP)

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines