[Cocci] Compiling with OCaml 4.08

[Cocci] Compiling with OCaml 4.08

[Richard W.M. Jones]

Has anyone attempted to port coccinelle to OCaml 4.08?  It seems
to require multiple complex changes.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-builder quickly builds VMs from scratch
http://libguestfs.org/virt-builder.1.html
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Compiling with OCaml 4.08

[Markus Elfring]

> Has anyone attempted to port coccinelle to OCaml 4.08?

I am unsure also about this detail.


> It seems
 to require multiple complex changes.

I am waiting on corresponding software improvements according to a report
like “Checking dependencies for current OCaml compiler version”.
https://systeme.lip6.fr/pipermail/cocci/2019-June/006029.html
https://lore.kernel.org/cocci/5e66ab8c-2232-ca87-b5bf-c93b3c1a1406@web.de/

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Compiling with OCaml 4.08

[Richard W.M. Jones]

On Thu, Jul 11, 2019 at 04:21:16PM +0100, Richard W.M. Jones wrote:
> Has anyone attempted to port coccinelle to OCaml 4.08?  It seems
> to require multiple complex changes.

I wonder if anyone has done the port yet?  It is apparently causing
trouble for Fedora:

https://bugzilla.redhat.com/show_bug.cgi?id=1734855#c12

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine.  Supports Linux and Windows.
http://people.redhat.com/~rjones/virt-df/
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Compiling with OCaml 4.08

[Markus Elfring]

> https://bugzilla.redhat.com/show_bug.cgi?id=1734855#c12

Would you like to achieve the contribution of additional
software development resources so that more improvements
would become possible by easier ways?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Compiling with OCaml 4.08

[Richard W.M. Jones]

On Wed, Sep 18, 2019 at 12:56:30PM +0200, Markus Elfring wrote:
> > https://bugzilla.redhat.com/show_bug.cgi?id=1734855#c12
> 
> Would you like to achieve the contribution of additional
> software development resources so that more improvements
> would become possible by easier ways?

I have tried to do it myself twice and failed both times, and I don't
know anyone with the skills (and certainly not anyone who works for
me).  I and the company I work for put in a vast amount of money and
effort supporting open source software, so we know how the system
works.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
libguestfs lets you edit virtual machines.  Supports shell scripting,
bindings from many languages.  http://libguestfs.org
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Compiling with OCaml 4.08

[Markus Elfring]

>> Would you like to achieve the contribution of additional
>> software development resources so that more improvements
>> would become possible by easier ways?
>
> I have tried to do it myself twice and failed both times,

Did these attempts point any opportunities out for related considerations
and possible clarifications?


> and I don't know anyone with the skills

Your view might be too limited so far.


> (and certainly not anyone who works for me).

This information can be reasonable.

How are the chances for supporting any known contributors
(also from this mailing list) a bit more?


> I and the company I work for put in a vast amount of money and
> effort supporting open source software,

These activities are also known.


> so we know how the system works.

We are still competing for development interests and corresponding resources.
Would you like to adjust any constraints there?

Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Compiling with OCaml 4.08

[Julia Lawall]

The version in github should now compile with 4.08.  If I don't hear any
complaints by Friday, I will make a release.

julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Compiling with OCaml 4.08

[Richard W.M. Jones]

On Wed, Sep 18, 2019 at 09:11:46PM +0200, Julia Lawall wrote:
> The version in github should now compile with 4.08.  If I don't hear any
> complaints by Friday, I will make a release.

Thanks Julia, I can confirm it builds here with OCaml 4.08.1.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-top is 'top' for virtual machines.  Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://people.redhat.com/~rjones/virt-top
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Compiling with OCaml 4.08

[Julia Lawall]

On Wed, 18 Sep 2019, Richard W.M. Jones wrote:

> On Wed, Sep 18, 2019 at 09:11:46PM +0200, Julia Lawall wrote:
> > The version in github should now compile with 4.08.  If I don't hear any
> > complaints by Friday, I will make a release.
>
> Thanks Julia, I can confirm it builds here with OCaml 4.08.1.

Thanks very much for the confirmation.

julia

>
> Rich.
>
> --
> Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
> Read my programming and virtualization blog: http://rwmj.wordpress.com
> virt-top is 'top' for virtual machines.  Tiny program with many
> powerful monitoring features, net stats, disk stats, logging, etc.
> http://people.redhat.com/~rjones/virt-top
>
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Compiling with OCaml 4.09

[Markus Elfring]

> The version in github should now compile with 4.08.

This is another nice improvement. Thank you.

I have generated the software combination “Coccinelle 1.0.7-00238-ge291d096”
based on the OPAM switch “4.09.0” for my development system a moment ago.
This software generation pointed the following information out
for further considerations.

Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.


Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Compiling with OCaml 4.09

[Julia Lawall]

[-- Attachment #1: Type: text/plain, Size: 590 bytes --]



On Thu, 19 Sep 2019, Markus Elfring wrote:

> > The version in github should now compile with 4.08.
>
> This is another nice improvement. Thank you.
>
> I have generated the software combination “Coccinelle 1.0.7-00238-ge291d096”
> based on the OPAM switch “4.09.0” for my development system a moment ago.
> This software generation pointed the following information out
> for further considerations.
>
> Alert deprecated: module Stdlib.Pervasives
> Use Stdlib instead.

Thank you for the test.  Since this appears to be just a warning, I thik I
will make a release anyway.

julia

[-- Attachment #2: Type: text/plain, Size: 136 bytes --]

_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci