From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBIFdiR2030943 for ; Sun, 18 Dec 2011 16:39:44 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: An4BABAI7k7RVda2kWdsb2JhbABDhQymRQgiAQEBAQkLCwcUBCGBcgEBAQMBEgIPHQEbHgMBCwYFCwMMAiYCAiIBEQEFARwGNYdYmjoKix1IgmuEGz+IcQIFC4EkiT+BFgSUfo14PYN7 X-IronPort-AV: E=Sophos;i="4.71,371,1320620400"; d="scan'208";a="123820285" Received: from mail-tul01m020-f182.google.com ([209.85.214.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Dec 2011 16:39:39 +0100 Received: by obbwd18 with SMTP id wd18so2256207obb.27 for ; Sun, 18 Dec 2011 07:39:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=Md0ZqGuD3xjHA2QrnvZaCpJli4yW8gLSsfW1NPEPNbc=; b=F4JW/u0hkUh/kZGN/G/F4XuohQeRZaP/KP57CWiWTWfFo6rlzsiRvDXxfLvghsD5G4 JwtF7bHIDJAXFvuX/3RV9IZ/7xI9zBA+kId746PwlLYDTbkQQ/stvSHoyThO61/PPEMd 2kt39s36+QSUUQFPEalCJlFyLJVTvYe5ZGzrk= MIME-Version: 1.0 Received: by 10.182.154.66 with SMTP id vm2mr8380100obb.52.1324222778059; Sun, 18 Dec 2011 07:39:38 -0800 (PST) Received: by 10.182.34.162 with HTTP; Sun, 18 Dec 2011 07:39:38 -0800 (PST) In-Reply-To: <-3085435649396878115@unknownmsgid> References: <-3085435649396878115@unknownmsgid> Date: Sun, 18 Dec 2011 17:39:38 +0200 Message-ID: From: Dmitry Grebeniuk To: Jacques Garrigue Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] bytecode: ./prog vs ocamlrun ./prog Hello. > Do "head -1 prog" to see the right ocamlrun. Thank you, this really helped, but in the other way. I've found that this executable has ELF format. So, this is a -custom linked bytecode executable. But I can't find anywhere in the documentation any information about whether can I / should I run such executables using ocamlrun or I can't / I shouldn't. If the answer is "I can't / I shouldn't", then the problem is solved (and maybe I should report a documentation-related issue to mantis?).