Mail Archives: djgpp/2000/05/21/08:32:20
Thanks for your report.
On Sun, 21 May 2000, Jason Green wrote:
> The directory c:/djgpp/include/gl is required. This is actually known
> to the makefile as /dev/env/DJDIR/include/gl. The directory does not
> yet exist so the script is called. Because /dev is not found as a
> directory, the script creates it and from this point on it is doomed.
This is because you use Fileutils compiled with DJGPP v2.01, where the
magic string /dev/env is not supported yet. You can rebuild Fileutils
from sources using DJGPP v2.03, and then you will get `mkdir' that can
handle /dev/env (it will still create /dev and ./env directories, but
that's a minor nuisance; the installation step will work regardless).
Alternatively, say "make install prefix=${DJDIR}" from the command line,
instead of just "make install".
In general, if you configure the package on your machine, you should
use the --prefix=${DJDIR} option, rather than --prefix=/dev/env/DJDIR,
unless all of your tools were recompiled with DJGPP v2.03 or later.
> You can decide for yourself whether this should be considered a bug in
> DJGPP. I would say the problem stems from the inconsistent treatment
> of /dev.
What worries me more is that such problems are not reported when they are
seen. (If you reported them and I missed the report, I apologize.) This
prevents us from taking timely actions to correct these problems, either
by fixing DJGPP libraries/ports, or talking to GNU maintainers about
changing the involved scripts and Makefile's.
- Raw text -