28 Nov
2006
28 Nov
'06
6:10 p.m.
Arthur Reutenauer wrote:
namely the Makefile doesn't find makecpool in the build/ subdirectory,
That's odd (because it works fine here).
(long explanation snipped for now) I see. This could be a bug/difference in make executables, because my 'make' does not seem to have that problem. Anyway, as you say, there is a simple and efficient fix: delete the perl file! (which is what I've done in the repository) Thanks for checking this, Taco