search

GaloisInc / MATE

MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
https://galoisinc.github.io/MATE/
BSD 3-Clause "New" or "Revised" License
177 stars 12 forks source link

Debugging a failing build #64

Open william-simmonstst opened 1 year ago

william-simmonstst commented 1 year ago

We are trying to run MATE on an exact pull of dnsmasq v2.77. The project compiles but fails to build after several hours. We attempted to follow the build debugging suggestions on https://galoisinc.github.io/MATE/debugging-builds.html, but the Docker logs only show the most recent activity and we didn't see information about the failure. There apparently were no out-of-memory issues (checked with dmesg | grep -i "OOM"). We'd appreciate any ideas about the likely cause or potential fixes.

Our machine runs Ubuntu 22.04.2 LTS with 4 threads and 64GB of RAM.

Screen Shot 2023-07-06 at 2 09 13 PM
thinkmoore commented 1 year ago

Can you try clicking the "Rebuild with minimal settings" button and see if it completes?

matteasu commented 1 year ago

@thinkmoore

Can you try clicking the "Rebuild with minimal settings" button and see if it completes?

I'm having a similar problem but with FFmpeg, I have already tried using "rebuild with minimal settings" and it still failed