On Fri, Aug 30 2019, Christopher Zimmermann <chr...@openbsd.org> wrote: > On Thu, 29 Aug 2019 12:58:14 +0200 > Jeremie Courreges-Anglas <j...@wxcvbn.org> wrote: > >> On Thu, Aug 29 2019, Jeremie Courreges-Anglas <j...@wxcvbn.org> wrote: >> > On Thu, Aug 29 2019, Christopher Zimmermann <chr...@openbsd.org> >> > wrote: >> >> On Sun, 25 Aug 2019 20:32:53 +0200 >> >> Jeremie Courreges-Anglas <j...@wxcvbn.org> wrote: >> >> >> >>> On Fri, Aug 23 2019, Christopher Zimmermann <chr...@openbsd.org> >> >>> wrote: >> >> Thank you again for testing. I managed to track down and fix >> >> several build problems for bytecode-only builds on amd64. So there >> >> is some reason to hope it will build successfully on sparc64, too. >> >> Could you have another try? >> > >> > It builds and packages fine! :) >> > Now running it in a loop to see if it's stable, but I see no reason >> > for hidden failures. >> >> That's 5 successful builds in a row, LGTM. I'm no frama-c user, >> though. > > That's great. So any OKs to commit this update? It's building fine > on amd64 with and without nativecode as well as sparc64. It will still fail > on i386. The added patches will hopefully be merged upstream in the next > Frama-C release.
ok jca@ (ports-wise) -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE