From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.9 required=5.0 tests=DNS_FROM_RFC_ABUSE, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 7A6D2BC68 for ; Thu, 28 Sep 2006 09:29:16 +0200 (CEST) Received: from py-out-1112.google.com (py-out-1112.google.com [64.233.166.182]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8S7TF19026467 for ; Thu, 28 Sep 2006 09:29:16 +0200 Received: by py-out-1112.google.com with SMTP id f25so589745pyf for ; Thu, 28 Sep 2006 00:29:13 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=KYf5zGPuAb8A86wSTo8sPKWNe3bxir0+GZdn96g9917Ddx/Uaw3rPXrd9S0VzYOsj8FuWMsjCZNcMp4E6WIZN3MFZKmd2RP/PVItHIFQG4DmnOabWRsHyJ6UoemIws9VWXNzVQK20/Iv520vB8sUvw6HHUsaPFJNIgKZagfq9SU= Received: by 10.35.93.15 with SMTP id v15mr3193570pyl; Thu, 28 Sep 2006 00:29:13 -0700 (PDT) Received: by 10.35.66.20 with HTTP; Thu, 28 Sep 2006 00:29:13 -0700 (PDT) Message-ID: Date: Thu, 28 Sep 2006 08:29:13 +0100 From: "Neil Bartlett" Sender: njbartlett@gmail.com To: "Jonathan Roewen" Subject: Re: [Caml-list] wince question Cc: micha , "caml users" In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20060927192136.15b8f70f@localhost> X-Google-Sender-Auth: f2c5514f7a27eec7 X-Miltered: at discorde with ID 451B79CB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 compilation:01 ocaml:01 o'caml:01 libc:01 unix:01 threading:01 unix:01 ocamlopt:01 beginner's:01 bug:01 beginner's:01 bug:01 beginners:01 beginners:01 No problems at all with OCaml (including native code compilation) on the ARM. I am already running OCaml on a Sharp Zaurus, which is a Linux-based PDA device with an Intel Xscale processor. Everything compiled and built straight out of the box - it works like a dream. Of course WinCE is a whole different kettle of fish. Regards Neil On 9/27/06, Jonathan Roewen wrote: > The O'Caml VM is fairly easy to port. > > A minimal libc should be enough (excluding Unix module & Threading). > The rest will require a bit of work, but likely not too much. I have > the VM running in a freestanding environment (with vmthreads, without > Unix module), so definitely portable ;-) > > As for ocamlopt, I wouldn't know. > > Jonathan > > On 9/28/06, micha wrote: > > > > my interest in ocaml on WinCE comes from the fun I would had to > > demonstrate the power of ocaml to my collegues. We are developing > > navigation software components in c++ and one primary platform for > > this are PDAs with WinCE. The chance of switching away from c++ is > > lesser than zero without being able to run on that platform. Even JAVA > > runs on those devices allthough a smaller one than normal and a little > > slow. Ignoring the fact that maybe only few people would like to do a > > port, what would be the primary tasks to do it? WinCE is quite > > different from Win32, I don't know how open the ocaml-source is with > > respect to porting it to another platform (specially ARM CPU). > > > > comments and hints are greatly welcome :-) > > > > Michael > > > > _______________________________________________ > > Caml-list mailing list. Subscription management: > > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > > Archives: http://caml.inria.fr > > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > Bug reports: http://caml.inria.fr/bin/caml-bugs > > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- Neil Bartlett Senior Technical Consultant, Integility Ltd Tel: +44 (0) 20 7043 8328 Fax: +44 (0) 20 7043 8329 LinkedIn Profile: https://www.linkedin.com/in/neilbartlett