[Cocci] it would be nice if spdiff also ships with coccinelle in future releases
francois.berenger at inria.fr
Thu Dec 4 11:43:59 CET 2014
On 12/04/2014 11:41 AM, Jesper Andersen wrote:
> On Wed Dec 03 2014 at 17.29.24 Francois Berenger
> <francois.berenger at inria.fr <mailto:francois.berenger at 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
> 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.
More information about the Cocci