On 12/04/2014 11:41 AM, Jesper Andersen wrote:
Hi,
On Wed Dec 03 2014 at 17.29.24 Francois Berenger
<[email protected] <mailto:[email protected]>> 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 mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
