From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 3C3BF82603 for ; Thu, 14 Mar 2019 06:33:24 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rixed@happyleptic.org; spf=Pass smtp.mailfrom=rixed@happyleptic.org; spf=Pass smtp.helo=postmaster@out2-smtp.messagingengine.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rixed@happyleptic.org) identity=pra; client-ip=66.111.4.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rixed@happyleptic.org"; x-sender="rixed@happyleptic.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rixed@happyleptic.org designates 66.111.4.26 as permitted sender) identity=mailfrom; client-ip=66.111.4.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rixed@happyleptic.org"; x-sender="rixed@happyleptic.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@out2-smtp.messagingengine.com designates 66.111.4.26 as permitted sender) identity=helo; client-ip=66.111.4.26; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rixed@happyleptic.org"; x-sender="postmaster@out2-smtp.messagingengine.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AYZdtPREmBrY54rurZ1ZTRZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ79rsiwAkXT6L1XgUPTWs2DsrQY0rKQ6/mocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSaxbaluIBmrsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOTk3/27YicJ/jqxbrhyhqRJh3oDbfJqYNOZicq7HYd8XX3BMU8RXWidcAo28?= =?us-ascii?q?dYwPD+8ZMOZCron8qEUBogalCAmsHuzv0idIh3/y3aIky+QhDQDG0xA6E9IJqn?= =?us-ascii?q?TUo9P4P7oRX+Ct1KTFzDTOY+lL1Tvg9YTEaB8sreuSUb9xd8fa1FMhGBnfjlqK?= =?us-ascii?q?rIzoJzOV2foJs2ic9+dgUv+vi3I5pw1ouTivw9ssipHTioIQ1F/E7j55z5w6Jd?= =?us-ascii?q?25Tk57bsCrEJ1ftyGbMYt5XNkuTH1vuCY/0rEGuJi7czYWyJk/xhPSauaLf5WV?= =?us-ascii?q?7h7+TuqcLi10iGxkdb6ngha960mgyunyVsmu11ZKqzJIksPNtnECyRPc99OKSv?= =?us-ascii?q?tn8Ue5wTaO1wTT5f9cIUAolKrUN4QtwrkqlpocqUjDBDP5mF3qjK+KcUUp4vSn?= =?us-ascii?q?5P7iYrXiv5OcM450ihriMqk1gcy+AeE4MhAUUGSB+OS80qfj/UzjT7lQgP02iK?= =?us-ascii?q?/Uu43EKMQfu665GBNV3Zg56xiiDjen0coXkGEbIAENRBXShIHsPxTKIevkJfa5?= =?us-ascii?q?mVWl1jlxlN7cObi0GJTdI3TrkL75Zad55lZAyQF1yspQtMEcMa0IPP+mAhy5j9?= =?us-ascii?q?ffFBJsa1XlkdaiM81008YlYUzKB6aYNK3ItlrRubAvKvGUdYsYoCr8IL4i/fG8?= =?us-ascii?q?1CZly29YRrGg2N4sUF79Bu5vehrLYXP0msYFHH8WvwF4S/bl2gXbDGxjIk2qVq?= =?us-ascii?q?d53QkVTYKrCYCYH9KqnaDbmTy+AoUQY21dEVmDEHHneoOLWvEBLimVJ504nw?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AYAABQ54lchxoEb0JkHQEBBQEHBQGBU?= =?us-ascii?q?QgBCwGDeieMJ1+MI5hdgXsNhGwChEcbBgEEMAkNAQEDAQEJAQMBAQETAQEBCA0?= =?us-ascii?q?JCCkjDII6IoJvBkABATgPC0YsK4M7gXasQYIggngBAQWCPINUgSUIgS8BhmWCA?= =?us-ascii?q?oJFF4F/gTiCa4VOhHIipD8JkxgfgWsBkVyeCYFHgg59Qy4aVoFOggoag1SFFIV?= =?us-ascii?q?bIwECMJAtAQE?= X-IPAS-Result: =?us-ascii?q?A0AYAABQ54lchxoEb0JkHQEBBQEHBQGBUQgBCwGDeieMJ1+?= =?us-ascii?q?MI5hdgXsNhGwChEcbBgEEMAkNAQEDAQEJAQMBAQETAQEBCA0JCCkjDII6IoJvB?= =?us-ascii?q?kABATgPC0YsK4M7gXasQYIggngBAQWCPINUgSUIgS8BhmWCAoJFF4F/gTiCa4V?= =?us-ascii?q?OhHIipD8JkxgfgWsBkVyeCYFHgg59Qy4aVoFOggoag1SFFIVbIwECMJAtAQE?= X-IronPort-AV: E=Sophos;i="5.58,477,1544482800"; d="scan'208";a="373320312" X-MGA-submission: =?us-ascii?q?MDFl0mnrM5q8Mgzc7BEoMzPQWVO1XJojxBMpJU?= =?us-ascii?q?xTKbq2ZXKlh8UQmmHRSRHY5gscCzOJBCbSwurtSwsyMG/i9quuUDjRlR?= =?us-ascii?q?z89pjmDjLq6avYJTMkKkUieL1GZaWQe/ckILC7/vLGAk1uSOkCUPegxX?= =?us-ascii?q?9c6Cf9Rjpc4NtCIh2gWubn/A=3D=3D?= Received: from out2-smtp.messagingengine.com ([66.111.4.26]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 14 Mar 2019 06:33:20 +0100 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id 0077F21B5A for ; Thu, 14 Mar 2019 01:33:18 -0400 (EDT) Received: from imap2 ([10.202.2.52]) by compute3.internal (MEProxy); Thu, 14 Mar 2019 01:33:18 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=happyleptic.org; h=mime-version:message-id:in-reply-to:references:date:from:to :subject:content-type; s=fm2; bh=sHaRtcium4BniduNGgIFv0oyl1ldKbW SnzSBwS+AG48=; b=Ic+n4+vHgPZdzEXUQ8wBDceHZn0+klcXbS4iM3ZKkE7HjcJ ZTNIxgC6MmHSQWIJLa+JPmwVxF8raiveGu0CvyiuPwTj62gUC3a8iNYUdYHq3Sml /OsVNiYXL+k/NxufYV36hmI8UZZehBFfyg0nPu+Fm41eV16G94LevvbKN/DT+7YE vlFi/uyzcXV+iQXFtRRJagFBRmTLj1GfgHcRnxgYu6xcHHvjXRYrBTvp+lM0ow4R CidePlJQP1hw1Xijop44MvzCf36+HFNTjfcgVTSt5rQLMy2pU9FTYGPFWm1Mr3CT HTBtXk/X4QQQt93uyvJAk4BuN2MJg4tHCOWucwA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-me-proxy :x-me-proxy:x-me-sender:x-me-sender:x-sasl-enc; s=fm2; bh=sHaRtc ium4BniduNGgIFv0oyl1ldKbWSnzSBwS+AG48=; b=HzWPzvU3Iuc3DA3yepEj95 E8PecbhSoH7PKd7i4ETIssGo6DRGZHCCvbmbXzK3HkwSylUIHv4EqwycycJcsswh x2TIWMuhy0mqTuUnPOivPgDRuFfOXlng9XB2Asw0zuhho6Z8bdvaoWrR6RvqNbxp CPXa+xiw4DKDQrgfnpqQZY+tBDPUTmWDxQysN1HTk6gGpfuEUBcB9YfUHFczy54I 5ny83U+FJtydl4P/5CSm0GpdEUWuRaavYS6+3AA3F0AKnw6GAwrd7IhN7fr0np4W 9iWMoGNao8/O3g8+egs41fhqWdo3ibYVDp5aSmD8XuvZPBUVjCHmt/Tt97FbDISw == X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedutddrhedugdekgecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhepofgfggfkjghffffhvffutgesthdtre dtreerjeenucfhrhhomheprhhigigvugeshhgrphhphihlvghpthhitgdrohhrghenucfr rghrrghmpehmrghilhhfrhhomheprhhigigvugeshhgrphhphihlvghpthhitgdrohhrgh enucevlhhushhtvghrufhiiigvpedt X-ME-Proxy: Received: by mailuser.nyi.internal (Postfix, from userid 501) id 498C47C32E; Thu, 14 Mar 2019 01:33:18 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.1.5-976-g376b1f3-fmstable-20190314v3 Mime-Version: 1.0 X-Me-Personality: 89859568 Message-Id: <3fbb7eda-905f-4a3b-91bd-19690be240df@www.fastmail.com> In-Reply-To: References: Date: Thu, 14 Mar 2019 01:33:17 -0400 From: rixed@happyleptic.org To: caml-list@inria.fr Content-Type: text/plain Subject: Re: [Caml-list] overriding config-file "path" with environment variable OCAMLPATH ? It is still present in 1.8.0.