smackers / smack

SMACK Software Verifier and Verification Toolchain
http://smackers.github.io
Other
432 stars 82 forks source link

Removed unnecessary compiler selection in `build.rs` #778

Closed shaobo-he closed 2 years ago

shaobo-he commented 2 years ago

It shouldn't matter what the C compiler that the cc crate uses. So, I removed this function call such that we don't see cargo build failure in an environment such as our Docker image, where clang is not in the path.