search

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.
https://galoisinc.github.io/cclyzerpp/
BSD 3-Clause "New" or "Revised" License
134 stars 15 forks source link

cmake: make openmp optional #157

Closed adrianherrera closed 1 year ago

adrianherrera commented 1 year ago

Souffle can work without OpenMP, so in theory, so should cclyzer++! I've modified the build process accordingly.

langston-barrett commented 1 year ago

Thanks @adrianherrera! I'd like to see if #158 fixes CI, then rebase this to get it passing in CI. If fixing CI ends up being a longer project, I'll manually test this and merge it.

adrianherrera commented 1 year ago

Wooo guessing it all works now. Thanks @langston-barrett!