Add and use System.Linux.time_t for time_t
commitb47ff02c8199e787506aa3574bca873f39d3b43b
authorhjl <hjl@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 15 Nov 2013 12:06:25 +0000 (15 12:06 +0000)
committerH.J. Lu <hjl.tools@gmail.com>
Mon, 2 Dec 2013 16:23:06 +0000 (2 08:23 -0800)
tree027e4c49ecace625d66cc90664ab61bad8a2943e
parent4e731096b20932331efd917de677ff17d5471c36
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@204840 138bc75d-0d04-0410-961f-82ee72b054a4
12 files changed:
gcc/ada/ChangeLog.x32 [new file with mode: 0644]
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 [copied from gcc/ada/s-linux.ads with 96% similarity]
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