From mboxrd@z Thu Jan 1 00:00:00 1970 From: Efraim Flashner Subject: Re: 01/01: gnu: ocaml@4.01: Remove aarch64-linux from supported-systems. Date: Mon, 3 Dec 2018 10:55:18 +0200 Message-ID: <20181203085518.GF28059@macbook41> 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> <87zhtnmz1y.fsf@netris.org> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="Zs/RYxT/hKAHzkfQ" Return-path: Received: from eggs.gnu.org ([208.118.235.92]:59708) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gTkFL-0007K0-9k for guix-devel@gnu.org; Mon, 03 Dec 2018 04:10:36 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gTk0f-0006mW-EZ for guix-devel@gnu.org; Mon, 03 Dec 2018 03:55:24 -0500 Content-Disposition: inline In-Reply-To: <87zhtnmz1y.fsf@netris.org> 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: Mark H Weaver Cc: guix-devel@gnu.org --Zs/RYxT/hKAHzkfQ Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sun, Dec 02, 2018 at 03:51:58PM -0500, Mark H Weaver wrote: > ludo@gnu.org (Ludovic Court=C3=A8s) writes: >=20 > > 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 > >>> > * gnu/packages/ocaml.scm (ocaml@4.01)[supported-systems]: New f= ield. > >>>=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_a= rm64.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? >=20 > 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. >=20 > https://git.savannah.gnu.org/cgit/guix.git/commit/?id=3D3c7d023d6458669= c6bfa23bc85e098c91f699892 >=20 > 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. >=20 > * * * >=20 > 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. >=20 > 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. >=20 > What do you think? >=20 > Mark I looked back at the "state of aarch64 in guix=C2=B9" blog post, which stat= ed: OCaml 4.01.0: Doesn't build on aarch64, haven't investigated. I believe this is the first one that I've marked unsupported in quite a while, but adding a note as to why it's labeled unsupported would be best; it gives us the best chance possible at revisiting the decision later. =C2=B9http://guix.info/blog/2017/state-of-aarch64-on-guix/ --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --Zs/RYxT/hKAHzkfQ Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAlwE73MACgkQQarn3Mo9 g1FaqRAAq+xG5Ogxuj/TDzx/b7D6+WSRth2C7BbDT9Plg+vGQDSE/5yyjE3FCvYu jFmpBgF+dG8uF8FyWbPPGoQuuwMTOBPHg/oLMBXTAg4kmth8SLySC128o3vQjvwE PeRyaFiztX3v84/NDb7roEtD0Jq5NSkQglGvav/mNyjfrgisNJEPM9rQrOjTmffA q39nqXtJYhciNkD6Cf+dIIKaufzu9DB4E3a/fiyquKMP3vplAiH/uqC1dKV1fOnB wuLCZ49ZP9oShgabKA0w04d+o1lZ2pLTBMxdav5UzbffHHs1/w3jOXUpxa1vNTst JJcTe5YA2oZxTpScnbKvgupF8VC3K7lm2IKN1YzgP/yB5mI87qLsqHFq8pMLLXIF KY1Wn6cTBXKDf/gDu+jH86cSEqiplvXSTHgjc2hA6LmhZAr/KnCX5TlZLURyAEqH 9PGKJILPo8F3GUqjIe40qIws6w5pykavD+WqVpnxAfXlVjH5bpygKXzoed2z2nqF M6I6JngaX2zx1Oc3sVM3hSRh7HkIjTkts5f+Hty8sqHU3SotBue64QBChN4aOiSs YFpk3rct2CPvJuq7xGDMyfsWNkB/5YWp+Hlwn9z695w97rCko/TPA6TbMIQBw7j8 2GtZI+hz3OOE9gqotxxfW2fpleGsJDfD1PcrvIAi/ULd35BJB2E= =DXPm -----END PGP SIGNATURE----- --Zs/RYxT/hKAHzkfQ--