move the built exec. into bin directory

usi-verification-and-security / opensmt

The opensmt solver

Other

78 stars 18 forks source link

move the built exec. into bin directory #680

Closed Tomaqa closed 8 months ago

Tomaqa commented 8 months ago

Resolves #671

In case someone prefers having the executable also in build instead of build/bin, a symlink can be added. But I have not figured out how to do it easily in CMake..

Tomaqa commented 8 months ago

It seems that it would require too much effort, so I am abandoning this attempt.

Hence it would be good to remove build/bin directory (resp. not creating it), but I still have not figured out how to.