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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id D307B7F1C9 for ; Thu, 8 Nov 2012 23:11:59 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.214.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.214.182 as permitted sender) identity=mailfrom; client-ip=209.85.214.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f182.google.com) identity=helo; client-ip=209.85.214.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-ob0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvQBAIstnFDRVda2k2dsb2JhbABEsUuJBQGIaggjAQEBAQkJCwkUBCOCZQEbHgMSCQddAREBBQEiiAoBAw+afoJvjDCCeIUPChknDVmIdQEFDJJNA4hajSGBHIoYgy4WKYQv X-IronPort-AV: E=Sophos;i="4.80,740,1344204000"; d="scan'208";a="161862112" Received: from mail-ob0-f182.google.com ([209.85.214.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Nov 2012 23:11:58 +0100 Received: by mail-ob0-f182.google.com with SMTP id wc20so5704215obb.27 for ; Thu, 08 Nov 2012 14:11:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=OyfMGMvkvPXi+yObriLmHjX4sgCRglu2Rk8H+IDPtho=; b=l+Mm8vxAgnfD4VDWNyePNN779wGzEqHfGhHzmun5ym1pBc/Uqk2PVvDDKb2dQnMsaN 1APfV9qhPTjgmxV7nbYjOZakJRTo7/Y1QaYMKqZqj1+c3ifwMk5y2gdVMUXuP+KHECiH /IUFfhfGeGJ5YR4csBnd/Oy6XDh7Z2aqhb2Onw0gFzLmKRi/TZITs61zghry4zlMHa3y M6RYErCwVTuBrdbkoCXp0XaeNrOjrGVpMXC237imdgP5yZemw3eQ+oFlf0WzmbxLJxMG hzO9qNQ+64n5HFGmP19vpkWMEpZb1YBaTyQgXxbmnuDwdL5D9oskg8pvayuEuAuc5+Yp DBkQ== Received: by 10.182.18.142 with SMTP id w14mr7074066obd.65.1352412717391; Thu, 08 Nov 2012 14:11:57 -0800 (PST) MIME-Version: 1.0 Received: by 10.76.174.101 with HTTP; Thu, 8 Nov 2012 14:11:37 -0800 (PST) From: Ashish Agarwal Date: Thu, 8 Nov 2012 17:11:37 -0500 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary=f46d043c823c9c1f4104ce031fa6 Subject: [Caml-list] OPAM exceptions --f46d043c823c9c1f4104ce031fa6 Content-Type: text/plain; charset=ISO-8859-1 While running opam install [packages], several packages installed fine and then one failed with: The compilation of oasis.0.3.0 failed in /home/aa144/.opam/3.12.1/build/oasis.0.3.0. cannot unlock /home/aa144/.opam/3.12.1/lock (29885) I was running 'opam list' in another window, so perhaps that caused some problems. After this, most commands kept failing with the same error until I manually removed the lock file. But still I get the following errors: $ opam switch system 'opam.opt switch system' failed Fatal error: exception End_of_file at Raised at file "pervasives.ml", line 333, characters 20-31 Called from file "src/opamSystem.ml", line 396, characters 12-25 Called from file "src/opamFilename.ml", line 251, characters 4-39 Called from file "src/opamFilename.ml", line 247, characters 12-15 Re-raised at file "src/opamFilename.ml", line 252, characters 10-11 Called from file "src/opamFilename.ml", line 247, characters 12-15 Re-raised at file "src/opamFilename.ml", line 252, characters 10-11 Called from file "src/opamMain.ml", line 480, characters 6-102 $ opam install oasis 'opam.opt install oasis' failed Fatal error: exception End_of_file at Raised at file "pervasives.ml", line 333, characters 20-31 Called from file "src/opamSystem.ml", line 396, characters 12-25 Called from file "src/opamFilename.ml", line 251, characters 4-39 Called from file "src/opamMain.ml", line 480, characters 6-102 --f46d043c823c9c1f4104ce031fa6 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable While running opam install [packages], several packages installed fine and = then one failed with:

The compilation of oasis.0.3.= 0 failed in /home/aa144/.opam/3.12.1/build/oasis.0.3.0.
cannot un= lock /home/aa144/.opam/3.12.1/lock (29885)

I was running 'opam list' in another wind= ow, so perhaps that caused some problems. After this, most commands kept fa= iling with the same error until I manually removed the lock file. But still= I get the following errors:

$ opam switch system
=A0 'opam.opt s= witch system' failed

Fatal error: exception En= d_of_file
=A0 =A0 at
=A0Raised at file "pervasives.ml", line 333, characters 20-31<= /div>
Called from file "src/opamSystem.ml", line 396, characters 1= 2-25
Called from file "src/opamFilename.ml", line 251, = characters 4-39
Called from file "src/opamFilename.ml",= line 247, characters 12-15
Re-raised at file "src/opamFilename.ml", line 252, character= s 10-11
Called from file "src/opamFilename.ml", line 24= 7, characters 12-15
Re-raised at file "src/opamFilename.ml&q= uot;, line 252, characters 10-11
Called from file "src/opamMain.ml", line 480, characters 6-1= 02

$ opam install oasis
=A0 'opam.op= t install oasis' failed

Fatal error: exception= End_of_file
=A0 =A0 at
=A0Raised at file "pervasives.ml", line 333, characters 20-31
Calle= d from file "src/opamSystem.ml", line 396, characters 12-25
=
Called from file "src/opamFilename.ml", line 251, characters 4-39=
Called from file "src/opamMain.ml", line 480, characte= rs 6-102

--f46d043c823c9c1f4104ce031fa6--