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 716457EE4B for ; Tue, 24 Sep 2013 18:15:52 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bertrand.desmons@gmail.com) identity=pra; client-ip=209.85.128.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bertrand.desmons@gmail.com"; x-sender="bertrand.desmons@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of bertrand.desmons@gmail.com designates 209.85.128.182 as permitted sender) identity=mailfrom; client-ip=209.85.128.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bertrand.desmons@gmail.com"; x-sender="bertrand.desmons@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-ve0-f182.google.com) identity=helo; client-ip=209.85.128.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bertrand.desmons@gmail.com"; x-sender="postmaster@mail-ve0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvQBAHS5QVLRVYC2m2dsb2JhbABaFoMpUq4DK4leh3pKgRgIFg4BAQEBAQYLCwkUKIJsASwMAQMNBQkHXRIBBQGIKAMPDJ5Vj1iERycNV4kNAQUMj0GEKAOUH4NdgS+OXxgpgWGCbTo X-IPAS-Result: AvQBAHS5QVLRVYC2m2dsb2JhbABaFoMpUq4DK4leh3pKgRgIFg4BAQEBAQYLCwkUKIJsASwMAQMNBQkHXRIBBQGIKAMPDJ5Vj1iERycNV4kNAQUMj0GEKAOUH4NdgS+OXxgpgWGCbTo X-IronPort-AV: E=Sophos;i="4.90,971,1371074400"; d="scan'208";a="27941762" Received: from mail-ve0-f182.google.com ([209.85.128.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Sep 2013 18:15:51 +0200 Received: by mail-ve0-f182.google.com with SMTP id oy12so3827985veb.27 for ; Tue, 24 Sep 2013 09:15:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to:cc:content-type; bh=JbQsBnJw+AG5RdZuFYBj0wF9K3Z/8WcaKR18ashEcHE=; b=R61X6zhC898ytGHS/dJtmIq0Z0OFjj5EMI6tH6hWnvbYd99qwNGOUDqCN30tuQQVKd 18FI+cLxESabcECi6OUfRV41pyWDFRGcM4UKzyFymlJrNXzDJxlggNjS2vlE4CKnUYqv qimgQ7ACKl2+IDleeGev4HlNDN6MBgoi8GYY5bZJ3UmvhLgDBO/wxRPUcOiLd86bvuAF 65lNMk5/7KJDkq6dlzwvwvwgOjHgSplcwHUxuhhcKD8U6n2xpt7Xhn9pT3UIKLbWed0u B1T+cdWVhobXEVhSztYfHkoSJYp/P6HDYK86fEMcB8KTdRNGrEpsGmow6w1BRM/Aq/NQ sdvA== X-Received: by 10.221.27.73 with SMTP id rp9mr1012676vcb.29.1380039350169; Tue, 24 Sep 2013 09:15:50 -0700 (PDT) MIME-Version: 1.0 Sender: bertrand.desmons@gmail.com Received: by 10.58.147.4 with HTTP; Tue, 24 Sep 2013 09:15:30 -0700 (PDT) From: Bertrand Desmons Date: Tue, 24 Sep 2013 18:15:30 +0200 X-Google-Sender-Auth: YbbecAI8Z5CK_phT-jE7IP1Du2A Message-ID: To: anil@recoil.org Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a113397063e37f704e723734e X-Validation-by: bertrand.desmons@umons.ac.be Subject: [Caml-list] PPA repos (was: [ANN] Beta release of OPAM 1.1.0) --001a113397063e37f704e723734e Content-Type: text/plain; charset=ISO-8859-1 Hello, Also, I'd love to get any feedback about whether the beta PPAs in my > ppa-testing repository work well for you. Following the install instructions from http://opam.ocamlpro.com/doc/Quick_Install.html : add-apt-repository ppa:avsm/ppa apt-get update apt-get install ocaml opam the repo was well added, but I had the error that the 'opam' package was not found. I'm running Ubuntu Precise on a 64-bit machine. From what I see here: https://launchpad.net/~avsm/+archive/ppa/+packages it seems that the opam package is only available for Raring... But on the "testing" repository, I confirm that opam is available, even for Precise - though I didn't install it that way. >From my side, I downloaded the development branch using Git, and I reset the branch back to the tag '1.0.0'. Compiled and works. However, I had to cheat in order to get the latest compiler in service at any time. The reason is explained here: http://superuser.com/questions/385766/profile-not-running-when-i-start-a-bash-terminal ... given the fact that I launch terminals to compile. I did the following trick : 1) add to both .profile and .bashrc, the line ". ~/.opaminit"; 2) in the new file .opaminit, write the single line "eval `opam config env`". Best regards, Bertrand Desmons I'm still learning my way > around the (very powerful) system Canonical have, and I think this new > repository should work with Ubuntu Precise, Quantal and Raring on both > x86_64 and i386. I'm still working my way through building ARM packages > for the rPi and Dreamplugs, since that's a more manual process. > > cheers, > Anil --001a113397063e37f704e723734e Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
=
Hello,

Also, I'd love to get any feedback about whether the beta PPAs in my
ppa-testing repository work well for you.

= Following the install instructions from http://opam.ocamlpro.com/doc/Qui= ck_Install.html :
add-apt-repository ppa:avsm/ppa
apt-get update
apt-get install ocaml opam
the repo was well added, = but I had the error that the 'opam' package was not found. I'm = running Ubuntu Precise on a 64-bit machine. From what I see here:
https://launchpad.= net/~avsm/+archive/ppa/+packages
it seems that the opam package is only available for Raring... B= ut on the "testing" repository, I confirm that opam is available,= even for Precise - though I didn't install it that way.

From my side, I downloaded the development branch using Git,= and I reset the branch back to the tag '1.0.0'. Compiled and works= .

However, I had to cheat in order to get the latest compiler in ser= vice at any time. The reason is explained here:
http://superuser.com/questions/385766/profile-not-r= unning-when-i-start-a-bash-terminal
... given the fact th= at I launch terminals to compile. I did the following trick :
1) add to both .profile and .bashrc, the line ". ~/.opamini= t";
2) in the new file .opaminit, write the single line = "eval `opam config env`".

Best regards,
Bertrand Desmons
<= /div>

=A0I= 'm still learning my way
around the (very powerful) system Canonical have, and I think this new
repository should work with Ubuntu Precise, Quantal and Raring on both
x86_64 and i386. =A0I'm still working my way through building ARM packa= ges
for the rPi and Dreamplugs, since that's a more manual process.

cheers,
Anil
--001a113397063e37f704e723734e--