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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 8B1477F89F for ; Mon, 24 Mar 2014 12:02:11 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rich@annexia.org) identity=pra; client-ip=80.68.91.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of rich@annexia.org designates 80.68.91.176 as permitted sender) identity=mailfrom; client-ip=80.68.91.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@furbychan.cocan.org) identity=helo; client-ip=80.68.91.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="postmaster@furbychan.cocan.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYJAAIQMFNQRFuw/2dsb2JhbABZgwY7qjCZF4EVFnSCJQEBAQMBOkQLCxgJEwcLDwUoIQGIAwwBCLE3nDoXhgKINkmDJIEUBJhJgTOQG2SBb4E+PYEu X-IPAS-Result: AiYJAAIQMFNQRFuw/2dsb2JhbABZgwY7qjCZF4EVFnSCJQEBAQMBOkQLCxgJEwcLDwUoIQGIAwwBCLE3nDoXhgKINkmDJIEUBJhJgTOQG2SBb4E+PYEu X-IronPort-AV: E=Sophos;i="4.97,720,1389740400"; d="scan'208";a="53852235" Received: from furbychan.cocan.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 24 Mar 2014 12:02:10 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.80) (envelope-from ) id 1WS2dr-0004sg-LK; Mon, 24 Mar 2014 11:02:07 +0000 Date: Mon, 24 Mar 2014 11:02:07 +0000 From: "Richard W.M. Jones" To: Francois Berenger , caml-list@inria.fr Message-ID: <20140324110207.GA18751@annexia.org> Reply-To: caml-list@inria.fr References: <532F8D40.4030007@riken.jp> <20140324083301.GE10374@annexia.org> <532FF7C6.8010608@riken.jp> <20140324110120.GM3162@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20140324110120.GM3162@annexia.org> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] Anybody interested in creating binary RPMs for each official release of the compiler? On Mon, Mar 24, 2014 at 06:15:50PM +0900, Francois Berenger wrote: > On 03/24/2014 05:33 PM, Richard W.M. Jones wrote: > >On Mon, Mar 24, 2014 at 10:41:20AM +0900, Francois Berenger wrote: > >>I'm always annoyed when I have to wait ~20mn to install OCaml on a machine. > >> > >>Nowadays, thanks to OPAM, I think only a compiler is needed to > >>bootstrap quickly an OCaml environment for developers. > > > >Binary RPMs for which distro? > > I am personally interested into: > > CentOS release 6.4 (Final) > CentOS release 6.5 (Final) > > But ideally, any rpm-based distro should have access > to the recent OCaml compilers, I fell (or I am just dreaming). We have to stick with the original OCaml compiler on RHEL releases because of binary compatibility. Also EPEL policy doesn't allow us to ship an upgrading OCaml compiler in EPEL, since we can't replace packages from the original RHEL. > I don't know anything yet about RPM packaging. Start with the RPM spec file from Fedora Rawhide: http://pkgs.fedoraproject.org/cgit/ocaml.git/tree/ Use fedpkg to build an SRPM from that. > I don't know how the src RPMs are portable across > distros and if they allow easily to create binary RPMs. It's very difficult to have a binary RPM that would work on any distro. I would say practically impossible. However you could conceivably have a source RPM that can be rebuilt on several RPM-based distros, using rpmbuild --rebuild ocaml-XXX.src.rpm. It would have lots of %-conditionals ... Rich. -- Richard Jones Red Hat