From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.2 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id C9473BC6B for ; Tue, 8 Jan 2008 21:57:57 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAADtyg0fRVca9kmdsb2JhbACQGwEBAQEHAgYpklmGOg X-IronPort-AV: E=Sophos;i="4.24,259,1196636400"; d="scan'208";a="21032487" Received: from rv-out-0910.google.com ([209.85.198.189]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Jan 2008 21:57:56 +0100 Received: by rv-out-0910.google.com with SMTP id k20so6358682rvb.3 for ; Tue, 08 Jan 2008 12:57:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=yvs0bVyQwo7So8Tx5xE8yBI9/6bqiDkmpV2gCUmRHf0=; b=fDtJqPemEJhyTfvMxX8H3rhhNCMfpQygXbe00h4AE5lAqa5Dh7IAeWXQ6TQ2Q4qeVJze/fIMCdOhj3LboSe0WaDRAC0Josrcm3jhnCSC4MlBj3eKBfBB7MSTuxlXUi9dFQS7F9WjSdBWVZPfNXOPY55Jt6PxVKToRUp5aDUEkis= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=vNO1nu9yCYfE+Z+nDWRLuypQlhGCjqBjU99UJVCGpM8US9lsxHhht8fFC9uAhssCUqsBHAMm+asnWlDYw/Tz0zOGz9Pq3gnsXD2/b3DbyxNppQUgy3fFCaj7buFvqZPdMnLfcbpGYRS80PSA8qaqx0T6ipDtOLrQLMA8EIYGyH0= Received: by 10.140.226.14 with SMTP id y14mr709792rvg.164.1199825875929; Tue, 08 Jan 2008 12:57:55 -0800 (PST) Received: by 10.140.134.3 with HTTP; Tue, 8 Jan 2008 12:57:55 -0800 (PST) Message-ID: <666572260801081257q56c5ffc2m37c6cd03a494240e@mail.gmail.com> Date: Tue, 8 Jan 2008 21:57:55 +0100 From: Adrien To: "Philippe Wang" Subject: Re : Re : [Caml-list] An ocaml livecd Cc: caml-list@yquem.inria.fr In-Reply-To: <666572260801081235s7129e1dao7702a723b4c8f709@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <666572260801080658o226cba0bs8696e3bf01e61e61@mail.gmail.com> <200801081517.34568.jon@ffconsultancy.com> <4d1b2df20801080829j8c2fecg5b2b06be665805c1@mail.gmail.com> <4d1b2df20801080830o592d9344t91f830ac2af71a97@mail.gmail.com> <666572260801081235s7129e1dao7702a723b4c8f709@mail.gmail.com> X-Spam: no; 0.00; ocaml:01 bug:01 ocamlopt:01 ocamlopt:01 ocaml:01 toplevel:01 mixed-mode:01 computer's:98 binaries:01 caml-list:01 executables:01 output:02 seems:03 fault:04 correctly:04 Quick update, 2008/1/8, Adrien : > First, I encountered a bug with ocamlopt, ocamlopt.opt : they do not > run correctly and issue an "Input/Output error". The executables run > correctly on my hard drive-installed system though. ocaml runs well > though as the toplevel shows. Booting from the livecd on my laptop and desktop, everything works fine. For now, I'll say the person sitting next to me when I encountered this problem has a bad karma. It may also be the computer's fault or a incompatibility between the computer and the livecd but I think the bad karma solution is much more realistic. I first posted this because I thought ocaml mixed-mode binaries could have been stripped but it now seems this is not the problem. --- Adrien Nader