Replies: 1 comment
-
|
Update: it seems most tools producing compilation databases do not handle linking commands. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Currently we rely on wllvm when building a C/C++ project. This is inconvenient because we cannot add our SMACK-specific flags easily as well as control the compilation process (e.g., by passing the link stage which causes us tons of trouble). Furthermore, there seem to be several mature tools that can capture the compilation process of various build tools and emit compilation database. Therefore, I think it's necessary for us to revive this feature.
Beta Was this translation helpful? Give feedback.
All reactions