Re: Preliminary 'wip-armhf' branch pushed

[John Darrington]

It would seem then, that the only difference between the wip-arm and the 
wip-armhf
branches is the value of the --with-fpu flag.

I'm not an ARM expert, so I don't know how important that setting is.  But I do 
know
that there are many different fpus - if we are going to have a new branch for 
every combination
of flags then there are going to be rather a lot of branches.

We need to find a better solution.

J'

On Wed, Dec 31, 2014 at 12:31:03PM -0500, Mark H Weaver wrote:
     Hello Guix,
     
     I've pushed a new branch 'wip-armhf' (not to be confused with 'wip-arm')
     which seems likely to finish natively building bootstrap tarballs soon.
     It is based on the 'core-updates' branch.
     
     I chose system name "armhf-linux", GNU triplet "arm-linux-gnueabihf",
     and the following GCC configure flags:
     
        --with-arch=armv7-a
        --with-float=hard
        --with-mode=thumb
        --with-fpu=vfpv3-d16
     
     I believe this coincides with what Debian does for their 'armhf' port.
     
     This branch is *not* ready for use.  For one thing, the current
     bootstrap tarballs are cross-compiled, and we should wait for the
     natively-compiled ones.
     
     The branch is for review.  Comments and suggestions solicited!
     
           Mark

-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.

signature.asc
Description: Digital signature