Date: Sun, 21 May 2000 15:31:40 +0300 (IDT) From: Eli Zaretskii X-Sender: eliz AT is To: Jason Green cc: djgpp AT delorie DOT com Subject: Re: MESA3D compiling problem In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Reply-To: djgpp AT delorie DOT com Errors-To: nobody AT delorie DOT com X-Mailing-List: djgpp AT delorie DOT com X-Unsubscribes-To: listserv AT delorie DOT com Precedence: bulk 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.