[coreboot-gerrit] Change in coreboot[master]: [NOT FOR MERGE] buildgcc: Update GCC to 7.1.0.
Iru Cai (Code Review)
gerrit at coreboot.org
Mon May 8 04:34:16 CEST 2017
Iru Cai has uploaded a new change for review. ( https://review.coreboot.org/19618 )
Change subject: [NOT FOR MERGE] buildgcc: Update GCC to 7.1.0.
......................................................................
[NOT FOR MERGE] buildgcc: Update GCC to 7.1.0.
Tested with lenovo/x230 without libgfxinit.
libgfxinit fails to build with the following error:
hw-mmio_range.adb:50:63: volatile object cannot appear in this context (SPARK RM 7.1.3(11))
hw-mmio_range.adb:65:63: volatile object cannot appear in this context (SPARK RM 7.1.3(11))
Change-Id: I262fb421067f2e58d7f3905f86bea28bcec219b5
Signed-off-by: Iru Cai <mytbk920423 at gmail.com>
---
M util/crossgcc/buildgcc
D util/crossgcc/patches/gcc-6.3.0_memmodel.patch
D util/crossgcc/patches/gcc-6.3.0_nds32.patch
D util/crossgcc/patches/gcc-6.3.0_riscv.patch
R util/crossgcc/patches/gcc-7.1.0_elf_biarch.patch
R util/crossgcc/patches/gcc-7.1.0_gnat.patch
R util/crossgcc/patches/gcc-7.1.0_libgcc.patch
D util/crossgcc/sum/gcc-6.3.0.tar.bz2.cksum
A util/crossgcc/sum/gcc-7.1.0.tar.bz2.cksum
9 files changed, 2 insertions(+), 10,967 deletions(-)
git pull ssh://review.coreboot.org:29418/coreboot refs/changes/18/19618/1
--
To view, visit https://review.coreboot.org/19618
To unsubscribe, visit https://review.coreboot.org/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I262fb421067f2e58d7f3905f86bea28bcec219b5
Gerrit-PatchSet: 1
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Owner: Iru Cai <mytbk920423 at gmail.com>
More information about the coreboot-gerrit
mailing list