Add and use System.Linux.time_t for time_t
authorH.J. Lu <hongjiu.lu@intel.com>
Fri, 15 Nov 2013 12:06:25 +0000 (12:06 +0000)
committerH.J. Lu <hjl@gcc.gnu.org>
Fri, 15 Nov 2013 12:06:25 +0000 (04:06 -0800)
commit9f13879ee894334867240f087b699232395bc36c
treef6854d8417f71282546ff4e7157a6bdbe43baad5
parentd877729c89a04e57f4acdff574120f7e1dd275d0
Add and use System.Linux.time_t for time_t

PR ada/54040
* s-linux-x32.ads: New file.
* s-osprim-x32.adb: Likewise.
* s-linux.ads (time_t): New type.
* s-linux-alpha.ads (time_t):  Likewise.
* s-linux-hppa.ads (time_t):  Likewise.
* s-linux-mipsel.ads (time_t):  Likewise.
* s-linux-sparc.ads (time_t):  Likewise.
* s-osinte-linux.ads (time_t): Mark it private.  Replace long
with System.Linux.time_t.
(timespec): Replace long with time_t.
* s-osinte-posix.adb (To_Timespec): Likewise.
* s-taprop-linux.adb (timeval): Replace C.long with
System.OS_Interface.time_t.
* gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS): Replace
s-linux.ads with s-linux-x32.ads, s-osprim-posix.adb with
s-osprim-x32.adb for x32.

From-SVN: r204840
12 files changed:
gcc/ada/ChangeLog
gcc/ada/gcc-interface/Makefile.in
gcc/ada/s-linux-alpha.ads
gcc/ada/s-linux-hppa.ads
gcc/ada/s-linux-mipsel.ads
gcc/ada/s-linux-sparc.ads
gcc/ada/s-linux-x32.ads [new file with mode: 0644]
gcc/ada/s-linux.ads
gcc/ada/s-osinte-linux.ads
gcc/ada/s-osinte-posix.adb
gcc/ada/s-osprim-x32.adb [new file with mode: 0644]
gcc/ada/s-taprop-linux.adb