From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 585B87F164 for ; Sun, 6 Mar 2016 11:22:29 +0100 (CET) IronPort-PHdr: 9a23:XfZVohJ9KNVJQ/S6jdmcpTZWNBhigK39O0sv0rFitYgUKf7xwZ3uMQTl6Ol3ixeRBMOAu60C1Lud6vuocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0ILohqvroNX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqz/e+E8TKdEJDUgKWE8osPx5jfZSg7aw3oXUS0tjx5MDhmNuBT7VZTZqTb+sudsniicM8qgHuN8Yiir86o+EEygsywALTNsqGw= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mick@sulley.info; spf=None smtp.mailfrom=mick@sulley.info; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mick@sulley.info) identity=pra; client-ip=217.72.192.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mick@sulley.info"; x-sender="mick@sulley.info"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mick@sulley.info) identity=mailfrom; client-ip=217.72.192.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mick@sulley.info"; x-sender="mick@sulley.info"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=217.72.192.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mick@sulley.info"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BMAADSA9xWlkrASNldrTOSBAENgWmHLjgUAQEBAQEBAQEQAQEBAQcNCQkhL4Itgj4VQDYCBRYLAgsDAgECAVgIAQGIIgGgZo9djnd7iESGG4I0gToFlx8LfIxxY4hCBIVRjlUeAQGBeF6BUIoqAQEB X-IPAS-Result: A0BMAADSA9xWlkrASNldrTOSBAENgWmHLjgUAQEBAQEBAQEQAQEBAQcNCQkhL4Itgj4VQDYCBRYLAgsDAgECAVgIAQGIIgGgZo9djnd7iESGG4I0gToFlx8LfIxxY4hCBIVRjlUeAQGBeF6BUIoqAQEB X-IronPort-AV: E=Sophos;i="5.22,545,1449529200"; d="scan'208";a="206181938" Received: from mout.kundenserver.de ([217.72.192.74]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Mar 2016 11:22:28 +0100 Received: from [192.168.1.12] ([88.107.199.194]) by mrelayeu.kundenserver.de (mreue101) with ESMTPSA (Nemesis) id 0MDgWE-1aeDiU36HW-00H5lM for ; Sun, 06 Mar 2016 11:22:28 +0100 To: caml-list@inria.fr From: Mick Sulley Message-ID: <56DC04DD.4030503@sulley.info> Date: Sun, 6 Mar 2016 10:22:21 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Provags-ID: V03:K0:J/npMyozlchlys5l/9XH3cQpNJ0kwBgb+d4HXV+KAWkzvNc7yMc JBQ1X9gr2+Nrc5MU69ImHjJFYV2mEn13f6cAC+sT2bDcEKUEnCEvjA/gchCId07PCQ/kmfL xAWKvF85mQwb3hB0d/fr7IcGBHSvvJRNW7zeQuvr6daRvBOb8YSO/N8xgrsMCbe4Yi+MUwM FOKo9lvrQ8tUUTaSVBmcw== X-UI-Out-Filterresults: notjunk:1;V01:K0:u9k2rk20mfc=:1jr6ngQlD2tnNWNYuJR04k xtYZE0PVhUtQG1An+opXz/gyGldCAX/l7N+Wr/cxhK7YzjibutbakZ4569mDCZisAUTXp9xl7 1ysWSRQqZKDJFKESTWCAsFfMtxtRCCn2uF3CHoe6Pm6ze7euYlLK9JL9WT9S1b8XQ/NnyHbx2 AgE4327/qlk7Y2TMnV742R4gNyo8eGgrQ6wNI9Bvs+Eg/6VfYqi769QGyp6qCo9DqdSlfWzhe I01WX2o1sJEDR88/Km0Sa+EtdMypj9//zw1uQjt6wgQLjvrzDh5OK2s7fgYkkj+Q5obPqE3iY +wV7EqNmJfPL3PKxTq+T7d5rhlHs+/SN9Sb3tHrAy2J4FPikf8skwLmIM31T+3Bbo+0v4xO5U rTV1B8agnaZls5HNRId7rAkT7nZQXVnYLTLQBuCAvULSgd7bTlbWq8NtGfDR+bHvx8Xs2TgbL zc+OgZV5PHbbJ4Ww32cO7Eck0DMKUhdgoJiFZ9GhL/TlI3A2WjyT6JUoSZmbEa4xh4uq+TJIX nkseNnwI43lfPSzYWmcF1Kv5MADgi2YqDZokt8KluB3b/im/K0AzDFM+oKvFZSibrOE5t8/1L VOvSpZLvxv9sbjnQmwuyPcVs0oyk4OBmH1g68H22eToo8urH6kPPzIRB8onE1QbYS/0qQpoNG 5Isie0sbfUPyt+auXEOiQUBK5KccLQaG3ffNYCcYTT+S+TN+1auNefUR5Wbc49WPgvoQLEI4s VU/8zLFDaLqxLtwJ Subject: [Caml-list] Installing 4.02 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 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; 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` How do I get to 4.02? Thanks Mick