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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id C63DC7EE63 for ; Wed, 22 May 2013 14:34:04 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoYBAGa6nFFZELGanGdsb2JhbABAGoM4wWyBGQ4BAQEBAQgUCTyCIwEBBAF5BQsLDjhXBhMJh34KCDO6U45nMweCc2EDlziBKZMnOw X-IPAS-Result: AoYBAGa6nFFZELGanGdsb2JhbABAGoM4wWyBGQ4BAQEBAQgUCTyCIwEBBAF5BQsLDjhXBhMJh34KCDO6U45nMweCc2EDlziBKZMnOw X-IronPort-AV: E=Sophos;i="4.87,719,1363129200"; d="scan'208";a="18490804" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail2-smtp-roc.national.inria.fr with SMTP; 22 May 2013 14:34:04 +0200 Received: (qmail 9339 invoked by uid 634); 22 May 2013 12:34:03 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.1.75]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Wed, 22 May 2013 13:34:03 +0100 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) From: Anil Madhavapeddy In-Reply-To: Date: Wed, 22 May 2013 13:34:03 +0100 Cc: Caml List Content-Transfer-Encoding: quoted-printable Message-Id: <03D5E3E5-A51E-4B68-BD9A-9E1E7AD31B19@recoil.org> References: To: Florent Monnier X-Mailer: Apple Mail (2.1503) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] [rpi] getting ocamlopt on RPi with raspbian On 22 May 2013, at 12:30, Florent Monnier wrote: > Hi, >=20 > While searching for [ocamlopt raspberry pi] on seeks.fr I've found this: >=20 > http://www.raspberrypi.org/phpBB3/viewtopic.php?t=3D23565&p=3D219670 > which points to: > https://godirepo.camlcity.org/pipermail/godi-list/2012-November/003537.ht= ml > it says: > """ > If you read this, and OCaml-4.01 is already out, you probably > do not need to take care of the following, because the required patch > is probably already in this release > """ >=20 > I installed yesterday "2013-02-09-wheezy-raspbian.img" which provides oca= ml 3. >=20 > I've insalled ocaml libs provided by apt-get, included -dev libs. > I'm not sure to understand. What can we do with it without ocamlopt? >=20 > What is the prefered way to get ocamlopt working on RPi today? >=20 > Opam compiles fine with ocaml 3. > After closing all the other applications opam init can finish without > running out of memory. >=20 > So I thought to try to: > opam switch 4.00.1 4.00.1 (released) is not the same as 4.01. Try: $ opam switch 4.01.0dev+trunk ...which will give you a trunk compiler with all of the ARM fixes included. Benedikt has committed several more fixes since the original one, so trunk is generally in much better shape. These changes will be in OCaml-4.1 when it's released. -anil=