about summary refs log tree commit diff
path: root/src/tools/miri/genmc-sys/build.rs
AgeCommit message (Expand)AuthorLines
2025-07-28Reduce required cc crate version.Patrick-6-1/+3
2025-07-27various minor adjustmentsRalf Jung-9/+8
2025-07-27Add support for building and linking against genmcPatrick-6-0/+268