* Re: caml and OS/2
@ 1994-05-20 14:17 Daniel Bourget
0 siblings, 0 replies; 2+ messages in thread
From: Daniel Bourget @ 1994-05-20 14:17 UTC (permalink / raw)
To: caml-list, Mark Ruys
_ (At) 14:51 19/05/94 +0200, Mark Ruys _crit (wrote)\x1dNS:
>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.
\x03
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
^ permalink raw reply [flat|nested] 2+ messages in thread
* caml and OS/2
@ 1994-05-19 12:51 Mark Ruys
0 siblings, 0 replies; 2+ messages in thread
From: Mark Ruys @ 1994-05-19 12:51 UTC (permalink / raw)
To: caml-list
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1994-05-20 20:54 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1994-05-20 14:17 caml and OS/2 Daniel Bourget
-- strict thread matches above, loose matches on Subject: below --
1994-05-19 12:51 Mark Ruys
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox