From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id JAA23913 for caml-redistribution; Tue, 4 Jun 1996 09:10:44 +0200
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id JAA23895 for caml-list; Tue, 4 Jun 1996 09:10:00 +0200
From: Pierre Weis <weis@pauillac.inria.fr>
Message-Id: <199606040710.JAA23895@pauillac.inria.fr>
Subject: timer
To: caml-list@pauillac.inria.fr
Date: Tue, 4 Jun 1996 09:09:59 +0200 (MET DST)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis


Date: Mon, 3 Jun 1996 21:52:48 +0100
To: caml-list@pauillac.inria.fr
Subject: fonction pour mesurer le temps

[English: there is no means to measure elapsed time in Caml Light under PC or
Macintosh. Is there the necessary C code primitive already written somewhere ?]

j'avais pose a P.W. la question suivante:

> 1) d'un eleve: existe-t-il une fonction de bibliotheque pour mesurer le
> temps ecoule?

la reponse de P.W.:

> Elle existe dans la librairie Unix. Sinon il faut e'crire un bout de
> code C qui la procure...

d'ou une nouvelle question, a destination de la liste: quelqu'un a-t-il
ecrit cette fonction 1) pour caml-win 2) pour caml-dos 3) pour caml-mac ?
ceci pour eviter de re-inventer la roue (qui tourne, arf).

amicalement,

Bruno Petazzoni <bpetazzoni@sancerre.ac-idf.jussieu.fr>
Lyc. M. Berthelot
94100 SAINT-MAUR