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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 842727F1C9 for ; Fri, 9 Nov 2012 09:11:45 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=74.125.82.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 74.125.82.182 as permitted sender) identity=mailfrom; client-ip=74.125.82.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-we0-f182.google.com) identity=helo; client-ip=74.125.82.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-we0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlgBAF25nFBKfVK2imdsb2JhbABEw0IIIwEBAQoJDQcSBiOCHgEBBAE6BgE4AQMBCwEFBTQSNAEFAQIaBogLAwkGBAeeFY8ohSMnDYlOAQUMjAaFZ2EDlxeNRj+BWII6 X-IronPort-AV: E=Sophos;i="4.80,744,1344204000"; d="scan'208";a="180781269" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Nov 2012 09:11:45 +0100 Received: by mail-we0-f182.google.com with SMTP id x43so2674686wey.27 for ; Fri, 09 Nov 2012 00:11:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer; bh=GgjlrkmhvRxbT+DnqFodbHB0gLJx0iopFGYi+ZFOMKw=; b=w3iBk6zyZpOARa42ZQATkusEveCkkGxG6iZ/z1ygrR5KJ6FgJ+qq6VZFgjzbh84EQv 10JzR7+lGxxv9iWlth8CtrsM82LToQllm9EzUJasLWyNJhZo2Kt5a5CzSLf2ULFMZbR3 0JaL+lYo2feYx8dBNpZhn4v4zvKwrCVIMyevKblrEfltPwwoPIEzTYN4mP3fjQZlSHGG /yBgp4jjLDWM0dgR+yy1jj3aGXt059cVS8M9H2+WhqP18C814TlW3Uzp/WbfbJ267NcS 5OfWzjyOZNpU7a/qaYWXMygLP7xFi+3t53tWryHHdZTDfJZVLa+kxYxT19LdhSTr77E1 yS9w== Received: by 10.180.76.203 with SMTP id m11mr1231850wiw.6.1352448704867; Fri, 09 Nov 2012 00:11:44 -0800 (PST) Received: from saorge.home (ANice-551-1-367-166.w83-197.abo.wanadoo.fr. [83.197.207.166]) by mx.google.com with ESMTPS id r10sm1290764wiz.0.2012.11.09.00.11.42 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 09 Nov 2012 00:11:43 -0800 (PST) Sender: Thomas Gazagnaire Mime-Version: 1.0 (Apple Message framework v1085) Content-Type: text/plain; charset=us-ascii From: Thomas Gazagnaire In-Reply-To: Date: Fri, 9 Nov 2012 09:04:33 +0100 Cc: Caml List Content-Transfer-Encoding: quoted-printable Message-Id: <8B4AD0E4-DA7B-4C69-94AE-90E4F252610F@ocamlpro.com> References: To: Ashish Agarwal X-Mailer: Apple Mail (2.1085) Subject: Re: [Caml-list] OPAM exceptions This kinds of bugs are better tracked on opam issue system. Could we contin= ue this discussion in https://github.com/OCamlPro/opam/issues/285 ? On Nov 8, 2012, at 11:11 PM, Ashish Agarwal wrote: > While running opam install [packages], several packages installed fine an= d then one failed with: >=20 > The compilation of oasis.0.3.0 failed in /home/aa144/.opam/3.12.1/build/o= asis.0.3.0. > cannot unlock /home/aa144/.opam/3.12.1/lock (29885) >=20 > 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: >=20 > $ opam switch system > 'opam.opt switch system' failed >=20 > 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 >=20 > $ opam install oasis > 'opam.opt install oasis' failed >=20 > 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 >=20