[PPL-devel] make ; make distclean is not idempotent
zaffanella at cs.unipr.it
Wed Nov 5 20:19:19 CET 2008
Michael Tautschnig wrote:
> Hi all,
> It seems that make distclean still removes stuff (or fails to do so) that is
> part of your .tar.gz distribution.
> I don't consider this really critical, but I would be nice if future versions of
> ppl could handle this properly.
Thanks for reporting the problems. I have just committed in a few
changes to our Makefile.am files that seem solve them all.
These changes will be included in the next release of the library.
Do not hesitate contacting us if you see anything else wrong.
More information about the PPL-devel