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 817737F1C9 for ; Fri, 9 Nov 2012 09:12:25 +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.52; 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.52 as permitted sender) identity=mailfrom; client-ip=74.125.82.52; 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-wg0-f52.google.com) identity=helo; client-ip=74.125.82.52; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wg0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhMCALa6nFBKfVI0jWdsb2JhbABEw0IIIwEBAQEJCQsJEgYjgh4BAQQBOgYBOAEDAQsBBQU0EjQBBQECGgaICwMJBgQHnhePKIUoJw2JTgEFDIwGhWdhA5cXjUY/gViCOg X-IronPort-AV: E=Sophos;i="4.80,744,1344204000"; d="scan'208";a="180781332" Received: from mail-wg0-f52.google.com ([74.125.82.52]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Nov 2012 09:11:52 +0100 Received: by mail-wg0-f52.google.com with SMTP id fg15so2269664wgb.9 for ; Fri, 09 Nov 2012 00:11:52 -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=EvU74rO2hUdCtAJmaBo+HDF/ES4//w8ktqQLmrtXOThKMk/JwdEkll5vf9u7BDyRKp 7nFb1uly/mrGPw+ezw3eOB/JR2u+pONgKF73cgkab2RDaYMyTjv6GOVoenHQu5Yv5GGj LtFtNFpPxDM7SqwWdbMDY039edAbpDuE7qlxu9M3cribtjYWXi4hMoFdIBoRev/H7SvP wE2ipyJ8Q7jWUn8hRR7JwY7klZh0AadKbwVpFV5uLFnQ1pDUE/6ZyspItgzecEEjlk6i Jm1g1AnBMb1deUpOwyZtDPj0++BXX192C/64GHVs9ibqXPdQAkEHs6ytZJdhdjLp1KUZ wTrQ== Received: by 10.180.106.9 with SMTP id gq9mr1215506wib.12.1352448712214; Fri, 09 Nov 2012 00:11:52 -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.50 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 09 Nov 2012 00:11:51 -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:11:50 +0100 Cc: Caml List Content-Transfer-Encoding: quoted-printable Message-Id: <4B3ADC5D-34F7-4F91-BE0E-9934D660EE8B@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