[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: 01/01: gnu: address@hidden: Remove aarch64-linux from supported-syst

From: Efraim Flashner
Subject: Re: 01/01: gnu: address@hidden: Remove aarch64-linux from supported-systems.
Date: Sun, 2 Dec 2018 12:57:24 +0200
User-agent: Mutt/1.11.0 (2018-11-25)

On Sat, Dec 01, 2018 at 05:23:32PM -0500, Mark H Weaver wrote:
> Hi Efraim,
> address@hidden writes:
> > efraim pushed a commit to branch master
> > in repository guix.
> >
> > commit 454e7132d6fffb5c9a5ce086ffd1b687416feb83
> > Author: Efraim Flashner <address@hidden>
> > Date:   Sat Dec 1 22:41:19 2018 +0200
> >
> >     gnu: address@hidden: Remove aarch64-linux from supported-systems.
> >     
> >     * gnu/packages/ocaml.scm (address@hidden)[supported-systems]: New field.
> What's the rationale for this change?
> Debian includes OCaml 4.01 in its arm64 port.
>       Mark

starting phase `configure'
../gnu/config.guess: unable to guess system type

This script, last modified 2011-11-11, has failed to recognize
the operating system you are using. It is advised that you
download the most up to date version of the config scripts from;a=blob_plain;f=config.guess;hb=HEAD

If the version you run (../gnu/config.guess) is already up to date, please
send the following data and any information you think might be
pertinent to <address@hidden> in order to provide the needed
information to handle your system.

config.guess timestamp = 2011-11-11

uname -m = aarch64
uname -r = 4.4.52
uname -s = Linux
uname -v = #19 SMP Tue May 2 11:36:30 HKT 2017

/usr/bin/uname -p =
/bin/uname -X     =

hostinfo               =
/bin/universe          =
/usr/bin/arch -k       =
/bin/arch              =
/usr/bin/oslevel       =
/usr/convex/getsysinfo =

UNAME_VERSION = #19 SMP Tue May 2 11:36:30 HKT 2017
Cannot guess host type
You must specify one with the -host option

I tried Debian's autoreconf plan, where every package gets "autoreconf
-vfi" before configure, but there was no in the source.
After looking through the included configure script, it checks for
arm*-*-*-*, so adding "-host" "arm64-unknown-linux-gnu" made it pass the
configure phase. There is more work needed to make it actually build,
but it looks like it is possible.

It still fails to build, but it's at least getting much closer. I'll fix

Efraim Flashner   <address@hidden>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

Attachment: signature.asc
Description: PGP signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]