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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BBFCF7F89E for ; Mon, 31 Mar 2014 08:02:24 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of steph@glondu.net) identity=pra; client-ip=138.231.136.39; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="steph@glondu.net"; x-sender="steph@glondu.net"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of steph@glondu.net) identity=mailfrom; client-ip=138.231.136.39; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="steph@glondu.net"; x-sender="steph@glondu.net"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@redisdead.crans.org) identity=helo; client-ip=138.231.136.39; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="steph@glondu.net"; x-sender="postmaster@redisdead.crans.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmsBAKYDOVOK54gnl2dsb2JhbABZhyK9AIMOgRcWDgEBAQEBCBYHPIImAQEEI1URCxoCBRYEBwICCQMCAQIBRRMIAod1BK8LogwXgSmNXRaCWYFJAQOYToZNjVmBQQ X-IPAS-Result: AmsBAKYDOVOK54gnl2dsb2JhbABZhyK9AIMOgRcWDgEBAQEBCBYHPIImAQEEI1URCxoCBRYEBwICCQMCAQIBRRMIAod1BK8LogwXgSmNXRaCWYFJAQOYToZNjVmBQQ X-IronPort-AV: E=Sophos;i="4.97,762,1389740400"; d="scan'208";a="65488331" Received: from redisdead.crans.org ([138.231.136.39]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 31 Mar 2014 08:02:24 +0200 Received: from [10.125.1.2] (fbx.up7.fr [81.56.96.177]) (using TLSv1 with cipher ECDHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by redisdead.crans.org (Postfix) with ESMTPSA id 9D29BF6E for ; Mon, 31 Mar 2014 08:02:23 +0200 (CEST) Message-ID: <533904EE.2090006@glondu.net> Date: Mon, 31 Mar 2014 08:02:22 +0200 From: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Icedove/24.3.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <532F8D40.4030007@riken.jp> <20140324083301.GE10374@annexia.org> <532FF7C6.8010608@riken.jp> <20140324110120.GM3162@annexia.org> <20140324110207.GA18751@annexia.org> <877g7c3e7f.fsf@mid.deneb.enyo.de> <5338C35A.5020805@riken.jp> In-Reply-To: <5338C35A.5020805@riken.jp> X-Enigmail-Version: 1.6 OpenPGP: id=49881AD3 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Anybody interested in creating binary RPMs for each official release of the compiler? Le 31/03/2014 03:22, Francois Berenger a =C3=A9crit : > Maybe, if the ocaml source distribution 'make install' target > was obeying DESTDIR, we could avoid being root. You can avoid being root by hijacking PREFIX. Cheers, --=20 St=C3=A9phane