usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

CMake: consistently used target_sources for object libs #758

Closed Tomaqa closed 2 months ago

Tomaqa commented 2 months ago

PUBLIC usually corresponds to the installed headers, but sometimes also contains source files. According to CMake doc, using PUBLIC/PRIVATE is probably not crucial for headers. We may use them later for automatic installation of public headers which seems to be supported by newer versions of CMake.