> Both '/' and '\' must be supported as directory separators. So
> DIR_SEPARATOR='/' is not OK in this case.
Understood.
> Unconditional converting '/' to '\' in case of DJGPP native build causes
> gnatmake to break. Retested it today it with gcc-6.1.0. The problem is that
> special directory name /dev/env/DJDIR is used as prefix for DJGPP (it
> resolves to $DJDIR in execution time)
So it's only because of the /dev/ thing, i.e. this would work without it? If
so, can we restrict the special-casing to this block of code?
-- Replace all '/' by Directory Separators (this is for Windows)
if Directory_Separator /= '/' then
for Index in 1 .. End_Path loop
if Path_Buffer (Index) = '/' then
Path_Buffer (Index) := Directory_Separator;
end if;
end loop;
end if;
IOW, can we disable it for the /dev/ thing and leave the rest untouched?
Since DIR_SEPARATOR=='\', the block immediately below will be disabled too.
--
Eric Botcazou
