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