Re: Windows file timestamp converted to local time

[Simon Wright <simon@pushface.org>]

Matt Borchers <mattborchers@gmail.com> writes:

> Below is the function from System.OS_Lib. 
> Does anybody know where the C implementation can be found?
> Does anybody know where the C implementation of "localtime" is found?
>
>    function File_Time_Stamp (Name : C_File_Name) return OS_Time is
>       function File_Time (Name : Address) return OS_Time;
>       pragma Import (C, File_Time, "__gnat_file_time_name");
>    begin
>       return File_Time (Name);
>    end File_Time_Stamp;

For the first question, very likely to be in gcc/ada/adaint.c in the GCC
sources (https://github.com/gcc-mirror/gcc)

localtime() is in libc; depends on your OS.