diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-12-12 11:42:12 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-12-12 11:48:46 +0100 |
| commit | e82e55e58c67b0215e768c4612ca542bc670f633 (patch) | |
| tree | 856c4512fa1fbde59c1d9845c5a763ef8c4a14b4 /m4/guix.m4 | |
| parent | 98bd851ee891ca4a84e061fe1e78ba78c292b096 (diff) | |
| parent | e35dff973375266db253747140ddf25084ecddc2 (diff) | |
| download | guix-patches-e82e55e58c67b0215e768c4612ca542bc670f633.tar guix-patches-e82e55e58c67b0215e768c4612ca542bc670f633.tar.gz | |
Merge branch 'master' into core-updates
Diffstat (limited to 'm4/guix.m4')
| -rw-r--r-- | m4/guix.m4 | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/m4/guix.m4 b/m4/guix.m4 index 842249a848..1e5985b30b 100644 --- a/m4/guix.m4 +++ b/m4/guix.m4 @@ -50,8 +50,13 @@ AC_DEFUN([GUIX_SYSTEM_TYPE], [ i*86) machine_name="i686";; amd64) - machine_name="x86_64";; - arm*) + machine_name="x86_64";; + arm|armv[[7-9]]*) + # Here we want to exclude CPUs such as "armv6l". On ARMv7 + # machines, we normally get "armv7l". However, in Guix, we + # configure with --build=arm-unknown-linux-gnueabihf, leading + # to just "arm", so we also have to allow it. + # # TODO: If not cross-compiling, add a sanity check to make # sure this build machine has the needed features to # support executables compiled using our armhf gcc, |