Re: update devel/frama-c

On Fri, Aug 30 2019, Christopher Zimmermann <chrisz@openbsd.org> wrote:
> On Thu, 29 Aug 2019 12:58:14 +0200
> Jeremie Courreges-Anglas <jca@wxcvbn.org> wrote:
>
>> On Thu, Aug 29 2019, Jeremie Courreges-Anglas <jca@wxcvbn.org> wrote:
>> > On Thu, Aug 29 2019, Christopher Zimmermann <chrisz@openbsd.org>
>> > wrote:
>> >> On Sun, 25 Aug 2019 20:32:53 +0200
>> >> Jeremie Courreges-Anglas <jca@wxcvbn.org> wrote:
>> >>
>> >>> On Fri, Aug 23 2019, Christopher Zimmermann <chrisz@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