On Fri, Aug 30 2019, Christopher Zimmermann wrote:
> On Thu, 29 Aug 2019 12:58:14 +0200
> Jeremie Courreges-Anglas wrote:
>
>> On Thu, Aug 29 2019, Jeremie Courreges-Anglas wrote:
>> > On Thu, Aug 29 2019, Christopher Zimmermann
>> > wrote:
>> >> On Sun, 25 Aug 2019 20:32:53 +0200
>> >> Jerem
On Thu, 29 Aug 2019 12:58:14 +0200
Jeremie Courreges-Anglas wrote:
> On Thu, Aug 29 2019, Jeremie Courreges-Anglas wrote:
> > On Thu, Aug 29 2019, Christopher Zimmermann
> > wrote:
> >> On Sun, 25 Aug 2019 20:32:53 +0200
> >> Jeremie Courreges-Anglas wrote:
> >>
> >>> On Fri, Aug 23 2019,
On Fri, Aug 23 2019, Christopher Zimmermann wrote:
> Hi,
>
> this Frama-C release is compatible with OCaml 4.08. It builds and runs
> fine on amd64. I cannot build a bytecode-only version on amd64.
> I would welcome OKs and tests on real bytecode-only archs and i386,
> which is currently broken.
> On Aug 23, 2019, at 4:25 PM, Christopher Zimmermann
> wrote:
>
> I would welcome OKs and tests on real bytecode-only archs and i386,
> which is currently broken.
>
Still broken on i386.
On Fri, Aug 23, 2019 at 10:25:44PM +0200, Christopher Zimmermann wrote:
> Hi,
>
> this Frama-C release is compatible with OCaml 4.08. It builds and runs
> fine on amd64. I cannot build a bytecode-only version on amd64.
> I would welcome OKs and tests on real bytecode-only archs and i386,
> which i
Hi,
this Frama-C release is compatible with OCaml 4.08. It builds and runs
fine on amd64. I cannot build a bytecode-only version on amd64.
I would welcome OKs and tests on real bytecode-only archs and i386,
which is currently broken.
Christopher
Index: Makefile
=
> Simple upgrade from Sodium to Magnesium, which now builds with our
>.
Updated diff, registers a build and run dependency on findlib (noticed
by daniel@), and reenables the port on powerpc since it appears to work
(which means alpha is likely to be fixed as well, but I have not been
able to test
Simple upgrade from Sodium to Magnesium, which now builds with our
.
Index: Makefile
===
RCS file: /OpenBSD/ports/devel/frama-c/Makefile,v
retrieving revision 1.7
diff -u -p -r1.7 Makefile
--- Makefile30 Aug 2015 16:22:15 -
Michael McConville writes:
[...]
> I also got this during make update-plist:
>
>> pkg/PFRAG.no-native empty fragment: NOT writing it
>
> Does that mean that pkg/PFRAG.no-native is no longer needed and should
> be removed? Or was it added manually?
It was added manually. It is used on architect
This builds and tests successfully for me.
I needed to add an additional macro alias for a glibc rounding
operation. I'll submit upstream soon. The existing ones are wrapped in
an #ifdef __OpenBSD__, so presumably they'll accept it.
The PID-related fix is unchanged, but the source file moved.
I
10 matches
Mail list logo
