PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
425 stars 91 forks source link

Pass stderr through calc_install_files when commands fail #709

Open JasonGross opened 10 months ago

JasonGross commented 10 months ago

I'm not sure how good an idea this is. It complicates the code a bit, but will probably make it easier to diagnose issues like #706 in the future

andrew-appel commented 10 months ago

I'm not sure about this. How about a version that does NOT run each command twice, but puts the standard error (or other info) in a log file, for later diagnosis if necessary?

JasonGross commented 10 months ago

That's a much better idea! I've stuck the info in .calc_install_files.depend.log and .calc_install_files.make.log, let me know if you prefer other names.