From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 DF1117F164 for ; Sun, 6 Mar 2016 12:24:07 +0100 (CET) IronPort-PHdr: 9a23:8LRpthaRi4zIsZe+mpY9NM3/LSx+4OfEezUN459isYplN5qZpc+zbnLW6fgltlLVR4KTs6sC0LqJ9f+xEjZdqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7/0pMyYOVgArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Kq8xSLgdCDU9L0g04tfqvF/NV1ih/HwZB0UblBZSAguNxhb9W9+lsib8uvB82wGGOtXxTPYsXjO7qaxsTUm72288Kzcl/TSP2YRLh6VBrUf5qg== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DwBABfEtxW/4aDpUVdhFS6YwENgWmGDwKBVRQBAQEBAQEBAWMngi2CFAEBAQMBOkQLCxgJJQ8FGIheCL8DAQEIAh6KVIUGgl+BDwWOJIkGjWMKY44XjlUeAQFChAIeiW4BAQE X-IPAS-Result: A0DwBABfEtxW/4aDpUVdhFS6YwENgWmGDwKBVRQBAQEBAQEBAWMngi2CFAEBAQMBOkQLCxgJJQ8FGIheCL8DAQEIAh6KVIUGgl+BDwWOJIkGjWMKY44XjlUeAQFChAIeiW4BAQE X-IronPort-AV: E=Sophos;i="5.22,546,1449529200"; d="scan'208";a="167287538" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 06 Mar 2016 12:24:05 +0100 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 3342C1A046F; Sun, 6 Mar 2016 06:23:46 -0500 (EST) Date: Sun, 6 Mar 2016 06:23:46 -0500 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20160306112345.GA20220@topoi.pooq.com> References: <56DC04DD.4030503@sulley.info> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <56DC04DD.4030503@sulley.info> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] Installing 4.02 On Sun, Mar 06, 2016 at 10:22:21AM +0000, Mick Sulley wrote: > Hi, > > Totally new to OCaml. I am trying to install OCaml version 4.02 or > higher on a Raspberry Pi running Raspbian. I have OPAM and OCaml > 4.01 installed but if I enter > opam switch 4.02.1 > I get > pi@raspberrypi:~/geneweb $ opam switch 4.02.1 > # To setup the new switch in the current shell, you need to run: > eval `opam config env` > I've just struggled with this stuff on a 32-bit x86 Linux. The opam switch command alters the dotfiles (things like .bashrd) so that the next time you log in or start a shell, the environment variables are set to the new switch. opam config env generates the list of command you saw below: > I then try - > pi@raspberrypi:~/geneweb $ eval 'opam config env' > CAML_LD_LIBRARY_PATH="/home/pi/.opam/4.02.1/lib/stublibs"; export > CAML_LD_LIBRARY_PATH; > MANPATH=":/home/pi/.opam/4.02.1/man"; export MANPATH; > PERL5LIB="/home/pi/.opam/4.02.1/lib/perl5"; export PERL5LIB; > OCAML_TOPLEVEL_PATH="/home/pi/.opam/4.02.1/lib/toplevel"; export > OCAML_TOPLEVEL_PATH; > PATH="/home/pi/.opam/4.02.1/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/local/games:/usr/games"; > export PATH; The eval command > eval `opam config env` is *supposed* to get them executed in the present shell. If it doesn't work, your eval isn't the same as mine, and I suggest you log in again, or start a new shell. -- hendrik