From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mark H Weaver Subject: Re: 01/01: gnu: ocaml@4.01: Remove aarch64-linux from supported-systems. Date: Sun, 02 Dec 2018 15:51:58 -0500 Message-ID: <87zhtnmz1y.fsf@netris.org> References: <20181201204303.4663.74240@vcs0.savannah.gnu.org> <20181201204304.CAB1820A18@vcs0.savannah.gnu.org> <874lbw51j4.fsf@netris.org> <20181202105724.GE28059@macbook41> <87ftvgowit.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:37545) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gTYjP-0008EQ-R3 for guix-devel@gnu.org; Sun, 02 Dec 2018 15:52:48 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gTYjM-0002ux-Ko for guix-devel@gnu.org; Sun, 02 Dec 2018 15:52:47 -0500 In-Reply-To: <87ftvgowit.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Sun, 02 Dec 2018 15:04:10 +0100") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Ludovic =?utf-8?Q?Court=C3=A8s?= Cc: guix-devel@gnu.org ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Efraim Flashner skribis: > >> On Sat, Dec 01, 2018 at 05:23:32PM -0500, Mark H Weaver wrote: >>> Hi Efraim, >>>=20 >>> guix-commits@gnu.org writes: >>>=20 >>> > efraim pushed a commit to branch master >>> > in repository guix. >>> > >>> > commit 454e7132d6fffb5c9a5ce086ffd1b687416feb83 >>> > Author: Efraim Flashner >>> > Date: Sat Dec 1 22:41:19 2018 +0200 >>> > >>> > gnu: ocaml@4.01: Remove aarch64-linux from supported-systems. >>> >=20=20=20=20=20 >>> > * gnu/packages/ocaml.scm (ocaml@4.01)[supported-systems]: New fie= ld. >>>=20 >>> What's the rationale for this change? >>> Debian includes OCaml 4.01 in its arm64 port. >>>=20 >>> https://packages.debian.org/search?arch=3Darm64&keywords=3Docaml >>> http://http.us.debian.org/debian/pool/main/o/ocaml/ocaml_4.01.0-5_arm= 64.deb >>>=20 >>> Mark >> >> starting phase `configure' >> ../gnu/config.guess: unable to guess system type > > Would it be enough to add Automake as a native input and copy > =E2=80=98config.guess=E2=80=99 from there? Ideally, we shouldn't need 'config.guess' at all. Normally, it is only used if the GNU triplet is not explicitly passed to ./configure. A few years ago, I fixed most instances of this problem by unconditionally passing --build=3D to ./configure in the default 'configure' phase of gnu-build-system. https://git.savannah.gnu.org/cgit/guix.git/commit/?id=3D3c7d023d6458669c6= bfa23bc85e098c91f699892 However, our OCaml package has a custom 'configure' phase that does not pass --build. I'm not sure if that's because OCaml's configure phase doesn't support --build, or if it was omitted because it's not typically needed on x86_64. * * * Anyway, more generally, I hope that we will not get in the habit of simply removing systems from 'supported-systems' when builds fail on those systems, without investigating and concluding that it would be prohibitively difficult to support the software on that system. To my mind, it's *good* to see failed builds on other architectures, to be reminded of bugs on non-x86_64 systems that should be fixed. When we remove systems from 'supported-systems' without good reason, this is somewhat analogous to deleting unfixed bug reports. What do you think? Mark