From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2740F7EFCD for ; Sat, 18 Oct 2014 07:46:20 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of whitequark@whitequark.org) identity=pra; client-ip=176.58.103.125; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="whitequark@whitequark.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of whitequark@whitequark.org designates 176.58.103.125 as permitted sender) identity=mailfrom; client-ip=176.58.103.125; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="whitequark@whitequark.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.whitequark.org) identity=helo; client-ip=176.58.103.125; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="whitequark@whitequark.org"; x-sender="postmaster@mail.whitequark.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmN+ALL9QVSwOmd9/2dsb2JhbABbg2GDDoZ+rzsBAQEBAQEGgUKRP4h6AX2EQQJTeUyIOwmpIqQqBIYihA6FDoEshDUFi1yKaohDg0aNK4QBgVOCKTiCegEBAQ X-IPAS-Result: AmN+ALL9QVSwOmd9/2dsb2JhbABbg2GDDoZ+rzsBAQEBAQEGgUKRP4h6AX2EQQJTeUyIOwmpIqQqBIYihA6FDoEshDUFi1yKaohDg0aNK4QBgVOCKTiCegEBAQ X-Spam-Status: Yes X-IronPort-AV: E=Sophos;i="5.04,743,1406584800"; d="scan'208";a="101762710" Received: from fehu.whitequark.org (HELO mail.whitequark.org) ([176.58.103.125]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Oct 2014 07:46:19 +0200 Received: by mail.whitequark.org (Postfix, from userid 33) id 0C8B610BE0B; Sat, 18 Oct 2014 05:46:18 +0000 (UTC) To: caml-list@inria.fr X-PHP-Originating-Script: 1000:rcube.php MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Sat, 18 Oct 2014 09:46:18 +0400 From: Peter Zotov Message-ID: <6fd7a5a5918bacf5f2a122f04dc67107@whitequark.org> X-Sender: whitequark@whitequark.org User-Agent: Roundcube Webmail/1.0.1 Subject: [Caml-list] [ANN] opam-android, a modern Android cross-toolchain Hello, I'm glad to announce opam-android, a cross-toolchain for Android based on OCaml 4.02.1. The goals of this port was to minimize the changes to the OCaml compiler, to simplify porting packages as much as possible, to support compile-time components like ppx rewriters or cstubs, and to make using it as simple as possible. I believe I have achieved these goals. In particular, I want to highlight that both bytecode and native code compiling works, -output-obj works and can be used to emit .o and .so files, and using the toolchain is as simple as passing -toolchain android to your ocamlfind invocation (or even setting the OCAMLFIND_TOOLCHAIN environment variable). For further details and installation instructions, please refer to the GitHub project page: https://github.com/whitequark/opam-android -- Peter Zotov