From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jeffsco@psellos.com>
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 11A9C7ED7A
	for <caml-list@sympa.inria.fr>; Mon, 17 Sep 2012 19:12:03 +0200 (CEST)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jeffsco@psellos.com) identity=pra; client-ip=174.121.218.178;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeffsco@psellos.com";
  x-sender="jeffsco@psellos.com"; x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jeffsco@psellos.com) identity=mailfrom;
  client-ip=174.121.218.178;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeffsco@psellos.com";
  x-sender="jeffsco@psellos.com"; x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@pse.psellos.com) identity=helo;
  client-ip=174.121.218.178;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="jeffsco@psellos.com";
  x-sender="postmaster@pse.psellos.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvwEAAhZV1Cuedqy/2dsb2JhbAAqGrwbgQeCYT8iC30UiBMLLLoiiyGGCGADiFaOIIRMhTqFB4MG
X-IronPort-AV: E=Sophos;i="4.80,437,1344204000"; 
   d="scan'208";a="156027255"
Received: from pse.psellos.com ([174.121.218.178])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Sep 2012 19:12:01 +0200
Received: from [192.168.1.54] (71-212-115-138.tukw.qwest.net [71.212.115.138])
	(authenticated bits=0)
	by pse.psellos.com (8.13.8/8.13.8) with ESMTP id q8HHBuZJ018175
	(version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO);
	Mon, 17 Sep 2012 12:11:58 -0500
Content-Transfer-Encoding: 7bit
From: Jeffrey Scofield <jeffsco@psellos.com>
Content-Type: text/plain; charset=us-ascii
Message-Id: <31C8FC32-F53A-4CD2-B3E0-E0D1F268322F@psellos.com>
Date: Mon, 17 Sep 2012 10:12:03 -0700
Cc: Jeffrey Scofield <jeffsco@psellos.com>
To: Caml List <caml-list@inria.fr>
Mime-Version: 1.0 (Apple Message framework v1280)
X-Mailer: Apple Mail (2.1280)
X-Validation-by: jeffsco@psellos.com
Subject: [Caml-list] OCaml 4.00.0 for iOS is released

Greetings OCamlers,

I've released a version of OCaml 4.00.0 that creates iOS apps.  First
class modules and generalized abstract data types for your iPhone and
iPad!

I wrote a little bit about the project here:

    http://psellos.com/2012/09/2012.09.ocamlxarm-ocaml4-released.html

If you just want to download the cross compiler or build it from source,
you can go directly to the main OCaml-on-iOS page:

    http://psellos.com/ocaml/compile-to-iphone.html

I also have a page of OCaml-on-iOS resources with many example
apps and an interface to OpenGL ES:

    http://psellos.com/ocaml/

This version of OCamlXARM (my name for the project) generates code only
for the armv7 architecture (in the Thumb encoding), which works on all
iOS devices introduced since September 2009.  Despite some excellent
advice to the contrary, I'm planning to put out a release that also
generates armv6 code (in ARM encoding), which will support all historical
iOS devices.

Thanks to Benedikt Meurer for writing the OCaml 4 ARM code generator,
and for help and advice.  Thanks to my colleagues at SEAiq[1] for helping
with the testing.  Thanks to the OCaml team at INRIA for fixing some
bugs we found in the base OCaml 4.00.0 release (PR 5731[2], PR 5757[3]).

(The SEAiq guys have also recently demonstrated that OCaml threading
works under iOS.  I'll have more about this soon in my sporadic
blog, linked above.)

I'm very happy to hear from anybody interested.

Jeffrey

[1]: http://www.seaiq.com/
[2]: http://caml.inria.fr/mantis/view.php?id=5731
[3]: http://caml.inria.fr/mantis/view.php?id=5757