Linux Kernel.Time: clock -> clock_gettime

diff --git a/new/_FreeBSDLinuxOpenBSD_Interp/build b/new/_FreeBSDLinuxOpenBSD_Interp/build
index 6592f024af61bdb1210d803b07678a0478e8ad35..56c17f5b388c43b47375725be17a2608acda2b5c 100755 (executable)
--- a/new/_FreeBSDLinuxOpenBSD_Interp/build
+++ b/new/_FreeBSDLinuxOpenBSD_Interp/build
@@ -4,6 +4,10 @@
 ConsCompiler.Compile('Lin/Mod', 'Dl.txt')
 ConsCompiler.Compile('Lin/Mod', 'Libc.txt')
 ConsCompiler.Compile('Lin/Mod', 'Iconv.txt')
+
+# Linux only
+ConsCompiler.Compile('Lin/Mod', 'Rt.txt')
+
 DevCompiler.CompileThis Kernel
 
 DevCompiler.CompileThis Files Console Math Strings Meta Dialog

diff --git a/new/_Linux_/Lin/Mod/Rt.txt b/new/_Linux_/Lin/Mod/Rt.txt
new file mode 100644 (file)
index 0000000..c58c4d0
--- /dev/null
+++ b/new/_Linux_/Lin/Mod/Rt.txt
@@ -0,0 +1,26 @@
+MODULE LinRt ["librt.so.1"];
+
+       (*
+               A. V. Shiryaev, 2013.12
+
+               GNU/Linux
+               32-bit
+       *)
+
+       CONST
+               CLOCK_REALTIME* = 0;
+               CLOCK_MONOTONIC* = 1;
+       
+       TYPE
+               time_t* = INTEGER;
+
+               timespec_t* = RECORD [untagged]
+                       tv_sec*: time_t; (* seconds *)
+                       tv_nsec*: INTEGER (* nanoseconds *)
+               END;
+
+               clockid_t* = INTEGER;
+
+       PROCEDURE [ccall] clock_gettime* (clock_id: clockid_t; VAR tp: timespec_t): INTEGER;
+
+END LinRt.

diff --git a/new/_Linux_/System/Mod/Kernel.odc b/new/_Linux_/System/Mod/Kernel.odc
index 08d2bcc2d9d1f596460b96a5f81c283bf6aa0c86..cc08a871198f5cd1e407240cc3212537a0404e24 100644 (file)
Binary files a/new/_Linux_/System/Mod/Kernel.odc and b/new/_Linux_/System/Mod/Kernel.odc differ

diff --git a/new/_Linux_/libBB.so b/new/_Linux_/libBB.so
index 1f943b19af86f0be45e4bd2b0da35086624ea014..6e4e174d1fadcaa925a204381ee29e9f343c8448 100644 (file)
Binary files a/new/_Linux_/libBB.so and b/new/_Linux_/libBB.so differ

diff --git a/new/_Linux_/libBB0.so b/new/_Linux_/libBB0.so
index 1f5910e8a03202382958d6cd38c4c91a4eac489a..b7ed696280b20f8d5eb6f169a4b9dab7055d7d9e 100644 (file)
Binary files a/new/_Linux_/libBB0.so and b/new/_Linux_/libBB0.so differ