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 CBB897ED7A for ; Sun, 23 Sep 2012 02:56:45 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@googlemail.com) identity=pra; client-ip=74.125.82.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@googlemail.com"; x-sender="wojciech.meyer@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of wojciech.meyer@googlemail.com designates 74.125.82.182 as permitted sender) identity=mailfrom; client-ip=74.125.82.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@googlemail.com"; x-sender="wojciech.meyer@googlemail.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-we0-f182.google.com) identity=helo; client-ip=74.125.82.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@googlemail.com"; x-sender="postmaster@mail-we0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmsBAMpdXlBKfVK2kGdsb2JhbABFhUS4YQgjAQEBAQkJDQcUBCOCIAEBAQMBEgIsAQE3AQQLCwsDCgklDwEEDRMBBQEiEyKHUAEDCQYEmXgJA4pohDMBBYQWCkANiU0GijpihiqUE4FVgRWKBIMrP4QI X-IronPort-AV: E=Sophos;i="4.80,469,1344204000"; d="scan'208";a="156618658" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Sep 2012 02:56:45 +0200 Received: by weyx56 with SMTP id x56so4082666wey.27 for ; Sat, 22 Sep 2012 17:56:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=6uhL9s7H/I1NPbi7FSQCPEBy2c1EeWoORfAs0EXsVmg=; b=z53nL/g6smT0ZuJMPq09OiesaZjAUUiH8Es+MUxlAjUO7C0j9DPftMn+6YQL7tJwSj nLemGkkCg+95bx9FT0BzZZW/l+D6Oho3kFH947Jlz583psLb38a1Fr6vXa5jol/efvyI jSinKbV3D4MYbGNDf/5f/8qAPKWopZTHthF+LHlRJLGFNOHsGTskqDnVN6YVbdvBWlRw 7WIzlhFTwW8JCGOC7xSV9UmXx25nfOZQPNiCKE3LY3s/Hg+b11gh84TPqymSPzvd52xS ZxkvvdGr7iSm7B4U4bN8idoczxvpC+yKciOFkFObbk9kbU7thWG73SEBMHNaaH04gEM0 VefQ== Received: by 10.180.82.164 with SMTP id j4mr5582184wiy.18.1348361804551; Sat, 22 Sep 2012 17:56:44 -0700 (PDT) Received: from spec-desktop.danmey.org (cpc1-cmbg12-0-0-cust201.5-4.cable.virginmedia.com. [86.9.116.202]) by mx.google.com with ESMTPS id l6sm6463496wiz.4.2012.09.22.17.56.42 (version=TLSv1/SSLv3 cipher=OTHER); Sat, 22 Sep 2012 17:56:43 -0700 (PDT) From: Wojciech Meyer To: Edgar Friendly Cc: caml-list@inria.fr References: <505E58BD.3030909@gmail.com> Date: Sun, 23 Sep 2012 01:56:57 +0100 In-Reply-To: <505E58BD.3030909@gmail.com> (Edgar Friendly's message of "Sat, 22 Sep 2012 20:33:01 -0400") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.94 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] Build OCaml on linux Edgar Friendly writes: > On 9/22/2012 4:58 PM, Didier Cassirame wrote: >> The first line of the bytecode executable is just a hint for the shell to >> locate the bytecode interpreter. > it might not hurt to have the default hint to the shell be: > #!/usr/bin/env ocamlrun > This would make it harder to have multiple OCaml installations and run > the compiler of one while the PATH is set to the other, but this is a > pretty edge case. Is there any other problem with doing this? No there is no other problem, but if you want to run an image with a different compiler in a different root, just use different ocamlrun. > > E. -- Wojciech Meyer http://danmey.org