search

dreal / dreal3

There is a new version of dReal, available at https://github.com/dreal/dreal4
GNU General Public License v3.0
48 stars 36 forks source link

feat(CMakeLists.txt): use BUILD_TESTING option from CTest module #305

Closed jamiesnape closed 8 years ago

jamiesnape commented 8 years ago

Also remove enable_testing() since the CTest module calls it internally.

This change is Reviewable

soonho-tri commented 8 years ago

@jamiesnape, thank you!