[Cocci] it would be nice if spdiff also ships with coccinelle in future releases

[Cocci] it would be nice if spdiff also ships with coccinelle in future releases

[Francois Berenger]

Hello,

Not everybody being a pro at writing .spatch files, that could be handy.

Also, we could have a single package in OPAM for both cocci and spdiff,
instead of the current situation with two packages (that I had to create).

Thanks!
Francois.

[Cocci] it would be nice if spdiff also ships with coccinelle in future releases

[Jesper Andersen]

Hi,

On Wed Dec 03 2014 at 17.29.24 Francois Berenger <francois.berenger@inria.fr>
wrote:

> Also, we could have a single package in OPAM for both cocci and spdiff,
> instead of the current situation with two packages (that I had to create).
>
>
It would be cool if spdiff could use the system-wide installed version of
coccinelle. What would you think, is that possible? (I have not looked at
how one could handle this using OPAM)

I'm not sure Julia would want to include spdiff in coccinelle, but I can go
ahead and ask her.

Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20141204/eb17ec29/attachment.html>

[Cocci] it would be nice if spdiff also ships with coccinelle in future releases

[Francois Berenger]

On 12/04/2014 11:41 AM, Jesper Andersen wrote:
> Hi,
>
> On Wed Dec 03 2014 at 17.29.24 Francois Berenger
> <francois.berenger at inria.fr <mailto:francois.berenger@inria.fr>> wrote:
>
>     Also, we could have a single package in OPAM for both cocci and spdiff,
>     instead of the current situation with two packages (that I had to
>     create).
>
>
> It would be cool if spdiff could use the system-wide installed version
> of coccinelle. What would you think, is that possible? (I have not
> looked at how one could handle this using OPAM)

OPAM does not install things system-wide (in a default setup).

OPAM only touches things under your ~/.opam directory.

> I'm not sure Julia would want to include spdiff in coccinelle, but I can
> go ahead and ask her.

Yes, this one is maybe a bigger/more fundamental problem.

-- 
Regards,
Francois.

[Cocci] it would be nice if spdiff also ships with coccinelle in future releases

[Julia Lawall]

On Thu, 4 Dec 2014, Jesper Andersen wrote:

> Hi,
>
> On Wed Dec 03 2014 at 17.29.24 Francois Berenger
> <francois.berenger@inria.fr> wrote:
>       Also, we could have a single package in OPAM for both cocci and
>       spdiff,
>       instead of the current situation with two packages (that I had
>       to create).
>
>
> It would be cool if spdiff could use the system-wide installed version of
> coccinelle. What would you think, is that possible? (I have not looked at
> how one could handle this using OPAM)
>
> I'm not sure Julia would want to include spdiff in coccinelle, but I can go
> ahead and ask her.

I think I would rather have someone who is able to work on spdiff before
merging it with Coccinelle.

julia

[Cocci] it would be nice if spdiff also ships with coccinelle in future releases

[Jesper Andersen]

On Thu Dec 04 2014 at 14.39.20 Julia Lawall <julia.lawall@lip6.fr> wrote:

>
> I think I would rather have someone who is able to work on spdiff before
> merging it with Coccinelle.
>
>
I absolutely understand! I can only spend my relatively scarce spare time
on spdiff at the moment.

Jesper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20141204/10b8c398/attachment.html>