From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by pauillac.inria.fr; Thu, 19 May 94 18:00:46 +0200 Received: from margaux.inria.fr by pauillac.inria.fr; Thu, 19 May 94 14:51:38 +0200 Received: from concorde.inria.fr by margaux.inria.fr, Thu, 19 May 1994 14:51:37 +0200 Received: from zeus.cs.kun.nl (zeus.cs.kun.nl [131.174.33.1]) by concorde.inria.fr (8.6.9/8.6.9) with ESMTP id OAA14377 for ; Thu, 19 May 1994 14:51:35 +0200 Received: from omega.cs.kun.nl by zeus.cs.kun.nl with SMTP id OAA09164 (8.6.8/1.3 for ); Thu, 19 May 1994 14:51:28 +0200 Message-Id: <199405191251.OAA09164@zeus.cs.kun.nl> To: caml-list@margaux.inria.fr Subject: caml and OS/2 Organization: KUN (Katholieke Universiteit Nijmegen) Date: Thu, 19 May 1994 14:51:28 +0200 From: Mark Ruys Sender: weis@pauillac.inria.fr 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? Regards, Mark Ruys. -- Katholieke Universiteit Nijmegen Internet: markr@cs.kun.nl Faculteit Wiskunde en Informatica UUCP: uunet!cs.kun.nl!markr Toernooiveld 1 finger: markr@omega.cs.kun.nl 6525 ED Nijmegen, The Netherlands Telephone: +31.80.652647