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 B3A8A7FF07 for ; Sun, 6 Mar 2016 15:16:36 +0100 (CET) IronPort-PHdr: 9a23:rhfn3B9ojYqhoP9uRHKM819IXTAuvvDOBiVQ1KB80+8cTK2v8tzYMVDF4r011RmSDdqdtKMP1rCempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRciN3o/qjaibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1BVso/9XmvgXvSg6G531UEjlH00kAPw+QzBz8Uo3wsWPQse14kH2aMMv6V7E3cSil96BqDgfvjz5BPDk8pjL5kMt12Y1Sqgigqhg3+IXUbZuYLrIqcarXZ9IXQSxaVcZcTSFbKoy5ZooLSeEGOLAL/MHGu1ISoE7mVkGXD+T1x2oN2yb7 Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f173.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.173 as permitted sender) identity=mailfrom; client-ip=209.85.223.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-io0-f173.google.com) identity=helo; client-ip=209.85.223.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AXAQB5O9xWjq3fVdFdhAxtBqoJhU+KboFpIYVuAoEUBzoSAQEBAQEBAQEQAQEBAQcLCwkfMYItghQBAQEDARIRHQEbEgsBAwELBgUEBw0NHQICIgERAQUBChIGExIQh2oBAwoIDqJdgTE+MYs2gWqCV4RsChknAwpRg3YBAQEBAQUBAQEBAQEBARIBBQoEhgmEPYRnglOBOgWGHAyHfIkGgUqEGYgKgi6MTI0XER6BDw8YBoIrHoFuHi6JQAEBAQ X-IPAS-Result: A0AXAQB5O9xWjq3fVdFdhAxtBqoJhU+KboFpIYVuAoEUBzoSAQEBAQEBAQEQAQEBAQcLCwkfMYItghQBAQEDARIRHQEbEgsBAwELBgUEBw0NHQICIgERAQUBChIGExIQh2oBAwoIDqJdgTE+MYs2gWqCV4RsChknAwpRg3YBAQEBAQUBAQEBAQEBARIBBQoEhgmEPYRnglOBOgWGHAyHfIkGgUqEGYgKgi6MTI0XER6BDw8YBoIrHoFuHi6JQAEBAQ X-IronPort-AV: E=Sophos;i="5.22,546,1449529200"; d="scan'208,217";a="167300328" Received: from mail-io0-f173.google.com ([209.85.223.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Mar 2016 15:16:07 +0100 Received: by mail-io0-f173.google.com with SMTP id n190so107306442iof.0 for ; Sun, 06 Mar 2016 06:16:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=1CTeeZqyLkTVTIKjZYCEBuY1VRlpP++5wLTbr4GMf7o=; b=OsCcUo2Q5+WDY+utL6hyxlZHkzf/2mRMquFHQsWtp86XvCaEkVViHqU0Zn3ftpqBsZ mqNB3jeFZ9qf65eUlcKkFyKF7sg07u8cW72i4TmRp5B0SMoO2mSxVlwxN0boOhTVhAql 4gqaTHK4zPuL8q987DXtYlHIhxWPEkyi0p8ltx38C59ZWAzgaWkrIjxfwE1YGMrYpra9 mUeJWoEp57WqQ45QvOYdhxfhdmbGEczdQCeNWJVEBiI70ONyQYzVxRQ+UOPMVqIbHHXc OXfl5Dftjwyz/0i2wYhGLrmgqopXdVAT3LlbIuYEW5Gb/oSU7QhltRQpq/a3PVVaN8Sh 1m6Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=1CTeeZqyLkTVTIKjZYCEBuY1VRlpP++5wLTbr4GMf7o=; b=X/PKmVTdLx0Ci2j2hNB08mI6abCnnf51rEyIXDEMs+Z16VNTqzdV4py0dMpkHjh1jC ZDBzKxrDIlGIHHZ5UJkzwNrjynyeUevz/3AtFizjv+uuuxhUvVRQ66FwMn4As6jUS691 QNSF2PofX4PUZ+z0gWfDWSFLWtgSCSUti5UcOP8/BpNF0Ax26zK8/jBbMovpERyMeBUw ZcXG7wz6TCVvrILHveXZ9O8243rvxjxkIN+KaJe/EZ+dMeqP0q4eiFbrviSfDhcWZjF8 fNWhDRQxCtlEO8bZjABBFncRRCpMybE6nkXizbzoLIRhldr/RSuVisV4GCapeldUe3WC 7Ujw== X-Gm-Message-State: AD7BkJLYLC9IRhtQyMLAlQ0HI2RSJ423hZA7o1jS7gbg1/x6yP2hPzBdT6/SfDOBXPvGMeH1uX2TCavNeF2FjA== X-Received: by 10.107.47.163 with SMTP id v35mr15262408iov.19.1457273765980; Sun, 06 Mar 2016 06:16:05 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.17.4 with HTTP; Sun, 6 Mar 2016 06:15:26 -0800 (PST) In-Reply-To: <20160306112345.GA20220@topoi.pooq.com> References: <56DC04DD.4030503@sulley.info> <20160306112345.GA20220@topoi.pooq.com> From: Gabriel Scherer Date: Sun, 6 Mar 2016 09:15:26 -0500 Message-ID: To: Hendrik Boom Cc: caml users Content-Type: multipart/alternative; boundary=001a11c151ce298d64052d61fd0d Subject: Re: [Caml-list] Installing 4.02 --001a11c151ce298d64052d61fd0d Content-Type: text/plain; charset=UTF-8 I've been using eval $(opam config env) myself. Maybe this would be less error-prone to document? (Is it less portable to other shells?) On Sun, Mar 6, 2016 at 6:23 AM, Hendrik Boom wrote: > 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 > > -- > 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 > --001a11c151ce298d64052d61fd0d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
I've been using
=C2=A0 eval $(opam = config env)
myself. Maybe this would be less error-prone to docume= nt?
(Is it less portable to other shells?)

On Sun, Mar 6, 2016 at 6:23 AM, Hendr= ik Boom <hendrik@topoi.pooq.com> wrote:
On Sun, Mar 06, 2016 at 10:22:21AM +000= 0, Mick Sulley wrote:
> Hi,
>
> Totally new to OCaml.=C2=A0 I am trying to install OCaml version 4.02 = or
> higher on a Raspberry Pi running Raspbian.=C2=A0 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=3D"/home/pi/.opam/4.02.1/lib/stublibs";= export
> CAML_LD_LIBRARY_PATH;
> MANPATH=3D":/home/pi/.opam/4.02.1/man"; export MANPATH;
> PERL5LIB=3D"/home/pi/.opam/4.02.1/lib/perl5"; export PERL5LI= B;
> OCAML_TOPLEVEL_PATH=3D"/home/pi/.opam/4.02.1/lib/toplevel"; = export
> OCAML_TOPLEVEL_PATH;
> PATH=3D"/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

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocam= l_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001a11c151ce298d64052d61fd0d--