On Tue, Mar 02, 2021 at 03:52:21PM +0100, Julia Lawall wrote:
> This problem is fixed now in the github version.
Yup, can confirm it now works with git @ 3dc5d027b448
Thanks,
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and
On Sun, Feb 28, 2021 at 09:01:54PM +0100, Markus Elfring wrote:
> > A new version 1.1.0 has been released.
>
> Thanks.
>
> I have dared to activate also a current OCaml version by the command
> “opam switch create 4.12.0”.
> I have tried to rebuild your software accordingly.
>
>
ocamlfind ocamlopt -c -package result -package seq -bin-annot -no-alias-deps -I
. -alert -deprecated stdcompat__arg_s.mli -o stdcompat__arg_s.cmi
File "stdcompat__arg_s.mli", lines 3-17, characters 0-38:
3 | type spec = Arg.spec =
4 | | Unit of (unit -> unit)
5 | | Bool of (bool -> unit)
since Py_fopen is not
> available. When Py_fopen or Py_wfopen are available, we prefer to use
> them because they handle the Windows special case.
Oh I see, that makes sense.
Rich.
> Best regards.
> --
> Thierry.
>
> Julia Lawall :
> > On Tue, 5 Jan 2021, Richard W.M.
Firstly a gentle reminder that there's a patch waiting to be applied:
https://systeme.lip6.fr/pipermail/cocci/2020-November/thread.html#8398
Different from that patch, but still related to Python 3.10, we've got
another bug report here:
https://bugzilla.redhat.com/show_bug.cgi?id=1912931
This
On Tue, Nov 10, 2020 at 03:10:57PM +, Richard W.M. Jones wrote:
> Some more functions were deprecated/removed in Python 10,
> breaking Coccinelle compiles. It was reported by Fedora's
> Python team here:
>
> https://bugzilla.redhat.com/show_bug.cgi?id=1896393
>
> I have
Some more functions were deprecated/removed in Python 10,
breaking Coccinelle compiles. It was reported by Fedora's
Python team here:
https://bugzilla.redhat.com/show_bug.cgi?id=1896393
I have fixed it by chopping out bindings for these
functions from the bundled pyml, and it compiles fine
for
These have been removed in Python 3.10.
Fixes: https://bugzilla.redhat.com/show_bug.cgi?id=1896393
Signed-off-by: Richard W.M. Jones
---
bundles/pyml/pyml-current/py.ml| 12
bundles/pyml/pyml-current/py.mli | 12
bundles/pyml/pyml-current/pycaml.ml
https://bugzilla.redhat.com/show_bug.cgi?id=1791765
Py.find_library: unable to find the Python library
[/lib64/libpython3.9.so.1.0 returned Cannot resolve PyImport_Cleanup.
The documentation for this function says:
void PyImport_Cleanup()
Empty the module table. For internal use only.
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,
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
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.redh
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
I'm trying to compile coccinelle with OCaml 4.06, where the default
for strings has been switched to -safe-string.
It currently fails to build in the bundled parmap library:
/usr/bin/ocamlc.opt -unsafe -I parmap.1.0-rc7.1 -custom -cclib -lparmap_stubs
-c parmap.1.0-rc7.1/bytearray.ml -o
This bug was filed against the Fedora package:
https://bugzilla.redhat.com/show_bug.cgi?id=1416323
I looked at configure.ac and the Makefiles, but I cannot work out how
you tell ./configure to use /usr/bin/python3 instead of
/usr/bin/python, if indeed that is possible at all - it's not clear
On Tue, Jul 19, 2016 at 12:07:42PM +0200, Julia Lawall wrote:
>
>
> On Tue, 19 Jul 2016, Richard W.M. Jones wrote:
>
> > On Wed, Oct 28, 2015 at 11:06:34PM +0100, Julia Lawall wrote:
> > > Version 1.0.4 is released. This removes the make of spgen when making
&g
On Wed, Oct 28, 2015 at 11:06:34PM +0100, Julia Lawall wrote:
> Version 1.0.4 is released. This removes the make of spgen when making
> spatch, removes the pre-generated menhir file when menhir is available,
> and adds the ability to reason about the lengths of statement lists.
This problem
On Wed, Jan 13, 2016 at 05:02:21PM +0100, Julia Lawall wrote:
> Here is a patch that should avoid the problem.
Yes this fixes it for me.
I'm attaching the actual patch as applied/rebased by me since the
patch you sent didn't apply cleanly on top of the coccinelle github
repo.
Thanks,
Rich.
--
https://bugzilla.redhat.com/show_bug.cgi?id=1297855
Build log:
http://ppc.koji.fedoraproject.org/kojifiles/work/tasks/345/3060345/build.log
In brief the build fails at:
+ /builddir/build/BUILDROOT/coccinelle-1.0.4-2.fc24.ppc64le/usr/bin/spatch
-sp_file demos/simple.cocci demos/simple.c
On Wed, Jan 13, 2016 at 03:26:50PM +0100, Julia Lawall wrote:
>
>
> On Wed, 13 Jan 2016, Richard W.M. Jones wrote:
>
> > On Wed, Jan 13, 2016 at 03:17:36PM +0100, Julia Lawall wrote:
> > >
> > >
> > > On Wed, 13 Jan 2016, Richard
But note I'm not saying this is not a compiler bug. We've
had a few.
Is there a test case you could send me? I will run it on
our ppc64le machine.
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog:
On Wed, Jan 13, 2016 at 03:54:36PM +0100, SF Markus Elfring wrote:
> > But note I'm not saying this is not a compiler bug.
> > We've had a few.
>
> Interesting …
>
> How do you think about to share any more information
> about the last working system configuration
> for your special build
On Wed, Oct 28, 2015 at 08:08:15AM +0100, Julia Lawall wrote:
> On Tue, 27 Oct 2015, Richard W.M. Jones wrote:
>
> > On Tue, Oct 27, 2015 at 01:37:48PM +0100, Sébastien Hinderer wrote:
> > > Hi again Richard and all,
> > >
> > > Richard W.M. Jones (2015/10/
This version seems to be incompatible with the latest menhir. In
Fedora we have ocaml-menhir-20151012-1.fc24.x86_64, and I get
this error when compiling:
/usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I
../globals -I /usr/lib64/ocaml/menhirLib -c parser_cocci_menhir.mli
On Tue, Oct 27, 2015 at 01:37:48PM +0100, Sébastien Hinderer wrote:
> Hi again Richard and all,
>
> Richard W.M. Jones (2015/10/27 11:57 +):
> > BTW the 'spgen' program is installed, but it's broken. It's built as
> > a bytecode program using 'ocamlc -custom', RP
On Fri, Apr 26, 2013 at 04:52:17PM +0300, Artem Bityutskiy wrote:
Hi Julia, Richard,
not sure if this was already reported, but the latest Fedora 18
coccinelle produces a lot of junk. Just an example using the linux
kernel scripts:
$ spatch -sp_file ./scripts/coccinelle/free/clk_put.cocci
26 matches
Mail list logo
