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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id DA3327EE51 for ; Wed, 22 May 2013 13:30:33 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of monnier.florent@gmail.com) identity=pra; client-ip=209.85.219.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="monnier.florent@gmail.com"; x-sender="monnier.florent@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of monnier.florent@gmail.com designates 209.85.219.53 as permitted sender) identity=mailfrom; client-ip=209.85.219.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="monnier.florent@gmail.com"; x-sender="monnier.florent@gmail.com"; 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@mail-oa0-f53.google.com) identity=helo; client-ip=209.85.219.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="monnier.florent@gmail.com"; x-sender="postmaster@mail-oa0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At0BAAOrnFHRVds1m2dsb2JhbABAGoM4wmYIFg4BAQEBAQYLCwkUKIJqATkDDQUQXRIBBQEiHIdyAw8MM5lwgnaPPIURJw2IOgEFDJJpA5c4gSmOMhYpgV2CWjo X-IPAS-Result: At0BAAOrnFHRVds1m2dsb2JhbABAGoM4wmYIFg4BAQEBAQYLCwkUKIJqATkDDQUQXRIBBQEiHIdyAw8MM5lwgnaPPIURJw2IOgEFDJJpA5c4gSmOMhYpgV2CWjo X-IronPort-AV: E=Sophos;i="4.87,719,1363129200"; d="scan'208";a="15273051" Received: from mail-oa0-f53.google.com ([209.85.219.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 May 2013 13:30:32 +0200 Received: by mail-oa0-f53.google.com with SMTP id g12so2322221oah.40 for ; Wed, 22 May 2013 04:30:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; bh=IxXi8PUFQJa58E8blQDQha/OZF8zMhBUBlm4r12Wu2c=; b=uvO2R8a9N69B1OBv9mKGefJaVCqW13/YwGcQRW/lwZAumbYK9fgDo/onHMac8wQZC9 TU+rYlLnLL7GegALiCCR5FqreoNVcoYTue/KWuVLolCzeg6rjCMU/KQd5M99zLF4J9PD c8Tsi9x2SZm9ilTxCqv2YAqoGUuQ523azapCa4Pic8fc5LtBzmuO/oRoWc4eFKaE1wsD BWeZZn1ia0kP6SnszgfXuUS6GndWXOC0hlTU00Y6tBz8yH4/cbPkQo8RWG/WnWEbM1HE V5ROF4BBUoLVnloN3rxcFgB1Bo9TM0zpF6wq5v88R/kiRE2AoBbxVvo2xP0QCO6C5aOl Edmw== MIME-Version: 1.0 X-Received: by 10.182.233.227 with SMTP id tz3mr4381644obc.23.1369222231567; Wed, 22 May 2013 04:30:31 -0700 (PDT) Sender: monnier.florent@gmail.com Received: by 10.60.3.168 with HTTP; Wed, 22 May 2013 04:30:31 -0700 (PDT) Date: Wed, 22 May 2013 13:30:31 +0200 X-Google-Sender-Auth: _ZJxTRbIXRkAqTInLr_XnaZ6zXI Message-ID: From: Florent Monnier To: Caml List Content-Type: text/plain; charset=ISO-8859-1 X-Validation-by: fmonnier@linux-nantes.org Subject: [Caml-list] [rpi] getting ocamlopt on RPi with raspbian Hi, While searching for [ocamlopt raspberry pi] on seeks.fr I've found this: http://www.raspberrypi.org/phpBB3/viewtopic.php?t=23565&p=219670 which points to: https://godirepo.camlcity.org/pipermail/godi-list/2012-November/003537.html 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 """ I installed yesterday "2013-02-09-wheezy-raspbian.img" which provides ocaml 3. 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? What is the prefered way to get ocamlopt working on RPi today? Opam compiles fine with ocaml 3. After closing all the other applications opam init can finish without running out of memory. So I thought to try to: opam switch 4.00.1 [...] + ./boot/ocamlrun boot/myocamlbuild byte_stdlib_mixed_mode ocamlc lex/ocamllex camlp4/Camlp4/Camlp4Ast.partial.ml camlp4/boot/camlp4boot.byte camlp4/Camlp4.cmo camlp4/Camlp4Top.cmo camlp4/camlp4prof.byte camlp4/mkcamlp4.byte camlp4/camlp4.byte camlp4/camlp4fulllib.cma camlp4/camlp4boot.byte camlp4/camlp4boot.cma camlp4/camlp4r.byte camlp4/camlp4r.cma camlp4/camlp4rf.byte camlp4/camlp4rf.cma camlp4/camlp4o.byte camlp4/camlp4o.cma camlp4/camlp4of.byte camlp4/camlp4of.cma camlp4/camlp4oof.byte camlp4/camlp4oof.cma camlp4/camlp4orf.byte camlp4/camlp4orf.cma camlp4/Camlp4Parsers/Camlp4AstLoader.cmo camlp4/Camlp4Parsers/Camlp4DebugParser.cmo camlp4/Camlp4Parsers/Camlp4GrammarParser.cmo camlp4/Camlp4Parsers/Camlp4ListComprehension.cmo camlp4/Camlp4Parsers/Camlp4MacroParser.cmo camlp4/Camlp4Parsers/Camlp4OCamlOriginalQuotationExpander.cmo camlp4/Camlp4Parsers/Camlp4OCamlParser.cmo camlp4/Camlp4Parsers/Camlp4OCamlParserParser.cmo camlp4/Camlp4Parsers/Camlp4OCamlReloadedParser.cmo camlp4/Camlp4Parsers/Camlp4OCamlRevisedParser.cmo [...] camlp4/Camlp4Filters/Camlp4MetaGenerator.cmo camlp4/Camlp4Filters/Camlp4Profiler.cmo camlp4/Camlp4Filters/Camlp4TrashRemover.cmo make[1]: *** [odoc_config.cmx] Segmentation fault make: *** [ocamldoc.opt] Error 2 Without ocamlopt it's not possible to install most things from Opam... Is there a wiki for ocaml on RPi ? -- Thanks