From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 171D47EEB2 for ; Fri, 25 Jan 2013 00:00:20 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of krismicinski@gmail.com) identity=pra; client-ip=209.85.219.42; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="krismicinski@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of krismicinski@gmail.com designates 209.85.219.42 as permitted sender) identity=mailfrom; client-ip=209.85.219.42; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="krismicinski@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oa0-f42.google.com) identity=helo; client-ip=209.85.219.42; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="postmaster@mail-oa0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoMBAFO8AVHRVdsqm2dsb2JhbABEq2iSWggWDgEBAQEBCAkLCRQngh4BAQUMNAEbEgsBAwwGBQsNDSEiAREBBQEKEgYTEod1AQMPDJ8+jDSCe4R4ChknAwpZiHYBBQyQbwOIYY0rgRyNSxYphDg X-IronPort-AV: E=Sophos;i="4.84,532,1355094000"; d="scan'208";a="191414401" Received: from mail-oa0-f42.google.com ([209.85.219.42]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Jan 2013 00:00:19 +0100 Received: by mail-oa0-f42.google.com with SMTP id j1so10914614oag.29 for ; Thu, 24 Jan 2013 15:00:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type:content-transfer-encoding; bh=Hvdvack2LqE+YPuCFhmikHgqJriAnNhlEb5UwhvTTFI=; b=wnsIKz6sl+YM6SA+rm7EZ7YZ3xVvZiFXxQc5qQAj42IFj9bx0+sv+IYhwb5+utiNTD B06K4+aE0d2x122oqe3M+ogqwOI/Nzn3UrrRG7R+1/wWCbTg1KO6H4X8eIPr8Z9kB0YS wjrq0+QLW5Ew+r82WYK6ZDYSdmg+rJoQCT073+mFylyhboqMEQpWsgOsQauEo9tuuChd w+vdAi8u1YMF6Ya5A71FPxiEaNlGo3aR5Anm1NNB9hrjVJ35caLfewLM8grPczYBH72d D1KdcEmlMYVHK1lgODmXVCK6fUHQfVd2mI4pQhRk8jt4MgPk+lfffpSFtGojmIpdD/Sa JloQ== MIME-Version: 1.0 X-Received: by 10.182.92.70 with SMTP id ck6mr2944603obb.46.1359068418077; Thu, 24 Jan 2013 15:00:18 -0800 (PST) Received: by 10.182.76.134 with HTTP; Thu, 24 Jan 2013 15:00:18 -0800 (PST) In-Reply-To: <51006982.20704@pps.univ-paris-diderot.fr> References: <51006982.20704@pps.univ-paris-diderot.fr> Date: Thu, 24 Jan 2013 18:00:18 -0500 Message-ID: From: Kristopher Micinski To: =?ISO-8859-1?Q?J=E9r=F4me_Vouillon?= Cc: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] [ANN] OCaml 4.00.1 for Android: OPAM packages Interesting indeed. Do you have any ability to use the Android specific facilities? What's your status on things like (e.g.,) UI usage? Many of these will need wrappers, but I would probably be willing to help with this. Kris On Wed, Jan 23, 2013 at 5:51 PM, J=E9r=F4me Vouillon wrote: > Hi, > > I have packaged an OCaml 4.00.1 cross-compiler for Android as well as > Android versions of the Lwt library and of the Unison file synchronizer. = The > OPAM repository is at the following address: > > https://github.com/vouillon/opam-android-repository/ > > You can use the command below to add this repository to the list of > repositories used by OPAM: > > opam repo -add android > https://github.com/vouillon/opam-android-repository.git > > The following command will list the available packages: > > opam list | grep android > > Contributions (additional packages, ...) are welcome. > > Many thanks to Keigo Imai for its OCaml 3.12 cross-compiler. > > Regards, > > -- J=E9r=F4me Vouillon > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs