From mboxrd@z Thu Jan  1 00:00:00 1970
Received: by pauillac.inria.fr; Fri, 20 May 94 22:54:29 +0200
Received: from margaux.inria.fr by pauillac.inria.fr; Fri, 20 May 94 15:15:13 +0200
Received: from concorde.inria.fr by margaux.inria.fr, Fri, 20 May 1994 15:15:11 +0200
Received: from melimelo.enst-bretagne.fr (melimelo.enst-bretagne.fr [192.108.115.36]) by concorde.inria.fr (8.6.9/8.6.9) with SMTP id PAA02242 for <caml-list@margaux.inria.fr>; Fri, 20 May 1994 15:15:12 +0200
Received: from enstb.enst-bretagne.fr by melimelo.enst-bretagne.fr (5.67b8/090294); Fri, 20 May 1994 15:15:31 +0200
Received: from [192.44.75.51] (mac11.enst-bretagne.fr) by enstb.enst-bretagne.fr (5.65c8/180193); Fri, 20 May 1994 15:14:09 +0200
Message-Id: <199405201314.AA07476@enstb.enst-bretagne.fr>
Date: Fri, 20 May 1994 15:17:54 +0100
To: caml-list@margaux.inria.fr, Mark Ruys <markr@cs.kun.nl>
From: bourget@enstb.enst-bretagne.fr (Daniel Bourget)
X-Sender: bourget@192.44.75.30
Subject: Re: caml and OS/2
X-Charset: LATIN1
X-Char-Esc: 29
Sender: weis@pauillac.inria.fr

_ (At) 14:51 19/05/94 +0200, Mark Ruys _crit (wrote)NS:
>Caml has been compiled to several platforms now, amoung which 80386/DOS.
>
>I wonder if anyone has ever attempted to port caml (and coq) to
>OS/2. I'm not really familiar with c or gcc. Is it just a recompile of
>the 386 source, or will it be quite a hassle?
>

 Caml-light to OS/2 is available.
Now this verssion is in the Telecoms Labs.
This version was porting by Pierre Saunier.
I see with X.Leroy and P.Weis for his spread.



Daniel Bourget - Telecom Bretagne     TEL: (33) 98 00 14 32
Departement Informatique et Reseaux   Fax (33) 98 00 12 82
BP 832 29285 BREST Cedex              E-Mail bourget@enstb.enst-bretagne.fr