On 08/28/2014 04:16 PM, Julia Lawall wrote:
On Thu, 28 Aug 2014, Francois BERENGER wrote:
I think the uninstall target can be made much simpler and robust.
Could you explain? I am not at all familiar with the code.
Rather than removing things one by one in [...]/share/coccinelle/*
you can remove directly [...]/share/coccinelle .
This is more robust since some of the things in [...]/share/coccinelle/*
are not installed by all make targets but were nonetheless listed
by the uninstall target (which would fail with an exit 1, which is a
problem when you package things for opam).
--
Regards,
Francois.
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
