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 7C9E67ED7A for ; Sun, 23 Sep 2012 02:33:06 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of thelema314@gmail.com) identity=pra; client-ip=209.85.223.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="thelema314@gmail.com"; x-sender="thelema314@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of thelema314@gmail.com designates 209.85.223.182 as permitted sender) identity=mailfrom; client-ip=209.85.223.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="thelema314@gmail.com"; x-sender="thelema314@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-ie0-f182.google.com) identity=helo; client-ip=209.85.223.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="thelema314@gmail.com"; x-sender="postmaster@mail-ie0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnUCAChYXlDRVd+2m2dsb2JhbABFhUS4YQgjAQEBAQEICQsJFCeCIAEBAQQSAiQIARscAgMMBgULDQkWDwkDAgECARERAQUBHBMIAQEeh1ABAw+ZfQkDjCaCdYQhChknDVmIdAEFDIsQgwqDIAOVZYVhiGM/hCM X-IronPort-AV: E=Sophos;i="4.80,469,1344204000"; d="scan'208";a="174246388" Received: from mail-ie0-f182.google.com ([209.85.223.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Sep 2012 02:33:05 +0200 Received: by ieak10 with SMTP id k10so9015174iea.27 for ; Sat, 22 Sep 2012 17:33:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=MLMEenX15nnpuNPggTMKt3dw2v27fPSijXOMqJVcxbk=; b=tUxm4UFBijS/QcNcaHauLvZU+VZ4ebB7noCBZQ4Z+iAQBYJWVrC5W8ykHwjvsda354 PpAIqyKbZ+RSbNPXYi6OmbyE9l/dewk+1Q8S8Ud4AO+WbnwFRF75A3i0mPg2PRlO84X6 o/Pych0gEkY8wEXlPc2BCQTKjURwWQPfzBKn9gtE0x0jKBfeZ0RTFpk5kbvVzK3F6GQj 3/uCbtzTkNCG0m0vSYrKcMMjlwhk+F96xxDalSVYnjmWxxv5cYL1bNjW4Rs1fX8aIntW I81me8TL7O4KSbQhDyNuXo75otqFVGTfp0n8CLBoRLQihzCwuuxFVysUNY4xUU0lzSlB EQ+g== Received: by 10.50.140.65 with SMTP id re1mr2021540igb.68.1348360384711; Sat, 22 Sep 2012 17:33:04 -0700 (PDT) Received: from [192.168.24.238] ([50.33.151.22]) by mx.google.com with ESMTPS id a10sm4690331igd.1.2012.09.22.17.33.02 (version=SSLv3 cipher=OTHER); Sat, 22 Sep 2012 17:33:03 -0700 (PDT) Message-ID: <505E58BD.3030909@gmail.com> Date: Sat, 22 Sep 2012 20:33:01 -0400 From: Edgar Friendly User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:15.0) Gecko/20120907 Thunderbird/15.0.1 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Build OCaml on linux 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? E.