From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA15633; Wed, 14 Apr 2004 18:12:30 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA16073 for ; Wed, 14 Apr 2004 18:12:29 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from web12404.mail.yahoo.com (web12404.mail.yahoo.com [216.136.173.131]) by nez-perce.inria.fr (8.12.10/8.12.10) with SMTP id i3EGDTjq021575 for ; Wed, 14 Apr 2004 18:13:30 +0200 Message-ID: <20040414161227.14830.qmail@web12404.mail.yahoo.com> Received: from [208.251.204.71] by web12404.mail.yahoo.com via HTTP; Wed, 14 Apr 2004 09:12:27 PDT Date: Wed, 14 Apr 2004 09:12:27 -0700 (PDT) From: Erol Akarsu Subject: [Caml-list] Real Time Ocaml To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; ocaml:01 ocaml:01 center:98 binary:02 binary:02 compile:02 compile:02 intermediate:05 tax:93 maybe:06 semantic:07 language:10 language:10 services:89 think:11 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 334 Hi: I am evaluating Ocaml for the implementation language to build Semantic Web-based services. I would like to run the required Ocaml application on a Real Time Operating System. I think Ocaml generates an intermediate C code and compile it into binary code or maybe directly into binary one. We have so many real time OSs that support C language. In this case, I don't know Ocaml can compile on Real time OS. This issue is very critical for the project. Have we tried to run Ocaml application on any real time os? Best Regards Erol Akarsu __________________________________ Do you Yahoo!? Yahoo! Tax Center - File online by April 15th http://taxes.yahoo.com/filing.html ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners