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
> 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
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
> 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
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
>> 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
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
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
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
> 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
[-- 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