helm/software/lambda-delta/lib/time.ml

   1 let utime_stamp =
   2    let old = ref 0.0 in
   3    fun msg ->
   4       let times = Unix.times () in
   5       let stamp = times.Unix.tms_utime in
   6       let lap = stamp -. !old in
   7       Printf.printf "UTIME STAMP (%s): %f (%f)\n" msg stamp lap; flush stdout;
   8       old := stamp
   9
  10 let gmtime msg =
  11    let gmt = Unix.gmtime (Unix.time ()) in
  12    let yy = gmt.Unix.tm_year + 1900 in
  13    let mm = gmt.Unix.tm_mon in
  14    let dd = gmt.Unix.tm_mday in
  15    let h = gmt.Unix.tm_hour in
  16    let m = gmt.Unix.tm_min in
  17    let s = gmt.Unix.tm_sec in
  18    Printf.printf "UTC TIME STAMP (%s): %u/%u/%u %u:%u:%u\n"
  19       msg yy mm dd h m s;
  20    flush stdout