From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <marek@xivilization.net>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id AF3417EE63
	for <caml-list@sympa.inria.fr>; Wed, 22 May 2013 18:18:20 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  marek@xivilization.net) identity=pra; client-ip=178.63.18.39;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="marek@xivilization.net";
  x-sender="marek@xivilization.net";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  marek@xivilization.net designates 178.63.18.39 as permitted
  sender) identity=mailfrom; client-ip=178.63.18.39;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="marek@xivilization.net";
  x-sender="marek@xivilization.net";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@coaxial.xivilization.net) identity=helo;
  client-ip=178.63.18.39;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="marek@xivilization.net";
  x-sender="postmaster@coaxial.xivilization.net";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiQKACzvnFGyPxIn/2dsb2JhbABagwiDJL5xBAQBgQYWdIIjAQEEAUABATgECwshJQ9IBhOIBwqoQ4Q+AQV+jSgGjySDVJc6kUGDEYFmJA
X-IPAS-Result: AiQKACzvnFGyPxIn/2dsb2JhbABagwiDJL5xBAQBgQYWdIIjAQEEAUABATgECwshJQ9IBhOIBwqoQ4Q+AQV+jSgGjySDVJc6kUGDEYFmJA
X-IronPort-AV: E=Sophos;i="4.87,722,1363129200"; 
   d="scan'208";a="15320974"
Received: from coaxial.xivilization.net ([178.63.18.39])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 22 May 2013 18:18:05 +0200
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=xivilization.net; s=xiv;
	h=Content-Transfer-Encoding:Content-Type:Mime-Version:References:In-Reply-To:Message-ID:Subject:To:From:Date; bh=k06lMLyHp0Up/FA+80Pn7zHUYPxnSnCbDRqab6ZNM24=;
	b=SJkIGwQn9LuDDf5fuoGISdGB4J9qgoI3OX2+6ibuU6+32sd6MJZEZtGLSFUlX9OkBqNr96/jpZ/vh1+mkolpRgaYRTT5Spz3Op9QFQQMOGZPN0oBZPCIs0LAlHPb9QG3;
Received: from ppp-188-174-103-112.dynamic.mnet-online.de ([188.174.103.112] helo=localhost.localdomain)
	by coaxial.xivilization.net with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128)
	(Exim 4.80)
	(envelope-from <marek@xivilization.net>)
	id 1UfBjo-0006Va-2X
	for caml-list@inria.fr; Wed, 22 May 2013 18:18:04 +0200
Date: Wed, 22 May 2013 18:18:02 +0200
From: Marek Kubica <marek@xivilization.net>
To: Caml List <caml-list@inria.fr>
Message-ID: <20130522181802.7c42f9ef@xivilization.net>
In-Reply-To: <BF93BAF255A04406990006D8A1E9E672@erratique.ch>
References: <CAE1DttDGxQ0x_RBtvX6=rbivnr7ceOaT6EYmA9MzJ=+9c0OuEg@mail.gmail.com>
	<519CDB05.3010504@frisch.fr>
	<BF93BAF255A04406990006D8A1E9E672@erratique.ch>
X-Mailer: Claws Mail 3.9.1 (GTK+ 2.24.18; x86_64-unknown-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] [rpi] opam switch to get ocamlopt on RPi with
 raspbian

On Wed, 22 May 2013 15:57:35 +0100
Daniel B=FCnzli <daniel.buenzli@erratique.ch> wrote:

> Le mercredi, 22 mai 2013 =E0 15:49, Alain Frisch a =E9crit :
> > The trunk was temporarily broken. Please try again! (if OPAM gets
> > a copy on the trunk only once in a while, you might need to wait a
> > little longer)
>=20
> Note Florent that this won't change anything to our original problem.
> To compile ocaml (camlp4 to be precise) on a raspberry pi you need to
> increase and activate the swap as suggested in my previous message.=20=20

No need to increase swap, I built 4.00.1+rpi (the 4.00.1 with the ARM
patch for the RPi) on a 512 MB Raspberry Pi with the default 100 MB
swap that Raspbian creates.

regards,
Marek