[CMake] Fix location of binaries

abenkhadra / gosat

SMT solver for the theory of floating-point arithmetic

MIT License

25 stars 8 forks source link

Closed delcypher closed 6 years ago

delcypher commented 7 years ago

They should go in the build tree (CMAKE_BINARY_DIR) not the source directory (CMAKE_SOURCE_DIR).