This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH 1/4][Ada,DJGPP] Ada support for DJGPP
- From: Arnaud Charlet <charlet at adacore dot com>
- To: Andris Pavenis <andris dot pavenis at iki dot fi>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>, DJ Delorie <dj at delorie dot com>
- Date: Sat, 30 Jul 2016 10:05:34 +0200
- Subject: Re: [PATCH 1/4][Ada,DJGPP] Ada support for DJGPP
- Authentication-results: sourceware.org; auth=none
- References: <1b9dbcb4-484a-6f4c-766a-fda3b34d33a3@iki.fi>
Frankly at this stage, I do not think it makes sense to maintain an Ada port for DJGPP and in particular maintain all these extra special cases and #ifdefs.
How many users are we talking about here?
Arno
> This is first of 4 patches for DJGPP support of Ada compiler
>
> Patch adds support of handling DJGPP special paths which do not follow normal DOS file-name rules.
>
> Some details about handled DJGPP special pathnames: for example '/dev/c/foo' is interpreted as 'c:/foo', '/dev/env/DJDIR/include' is interpreted as $DJDIR/include. Adding drive prefix (like c:/dev/c/foo) is not supported for these special path-names.
>
> ChangeLog entry:
>
> 2016-07-30 Andris Pavenis <andris.pavenis@iki.fi>
>
> * ada/adaint.c (__gnat_is_djgpp): define (1 for DJGPP host, 0 otherwise).
> * ada/s-os_lib.ads (Is_Djgpp): import __gnat_is_djgpp as constant.
> * ada/s-os_lib.adb (Normalize_Pathname): support DJGPP special paths (/dev/*) for DJGPP hosts
>
> Andris
>
>
>
> <0001-DJGPP-Ada-File-path-handling-for-DJGPP-host.patch>