Hi Graham, [...] > >I'm not sure which error you might have been seeing, but here's the one I am > >getting when rebuilding with your proposed patch applied: > > I don't recall the exact message I saw, but I'm sure it wasn't the same. >
That might have been different versions of goto-cc then - it's constantly evolving (fixing bugs...) so even though CBMC 4.9 was uploaded only recently to Debian I'm running a version with many patches over here. Eventually this will all converge... [...] > Would you please try removing the '--disable demos' line from > debian/rules and build again? > Although we don't build the demos for distribution, I build them for > testing and if there are users who might want them, they are > available in the source package and will at least build (which > reminds me, I should mention this in README.Debian, or somewhere). > Would it trivial for you to send me a patch to cover the removal of "--disable demos"? Saves me 2 minutes if you have one at hand, but obviously I'll just craft one myself otherwise. Best, Michael
pgpVxadbJsMMK.pgp
Description: PGP signature
