The Coq mailing list

[Mike Hogan <MikeHogan62 AT gmail.com>]

I recently compiled OCaml 3.10 and Coq 8.1 (pl2) for the Playstation 3 under
Yellow Dog Llinux 5.0.2 -- and it all seems to work.  I am completely new to
open source and I was wondering how to go about contributing in some small
way -- e.g. making some quasi-official RPM that folks could download or
maybe just posting a small "how to" (there are some small but frustrating
"gotchas" in the compilation process).

Although the idea of running Coq on a machine that is ostensibly a gaming
platform may seem completely bizarre, the PS3 has generated a fair amount of
interest in in the high-performance computing community -- and I'm kind of
hoping that the PS3's cell processor can be exploited in some interesting
way (e.g. using coq and camp4 to generate validated Cell BE code).

Thanks,
mh
-- 
View this message in context: 
http://www.nabble.com/Coq-on-Playstation-3-tf4844097.html#a13858910
Sent from the Coq mailing list archive at Nabble.com.