diff options
| -rw-r--r-- | util/crossgcc/Dockerfile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/util/crossgcc/Dockerfile b/util/crossgcc/Dockerfile index da3c840501..9f1a58c760 100644 --- a/util/crossgcc/Dockerfile +++ b/util/crossgcc/Dockerfile @@ -5,8 +5,8 @@ RUN \ useradd -p locked -m coreboot && \ apt-get -qq update && \ apt-get -qq upgrade && \ - apt-get -qqy install gcc g++ make patch python diffutils bison flex \ - git doxygen ccache subversion p7zip-full unrar-free \ + apt-get -qqy install gcc g++ gnat-6 make patch python diffutils bison \ + flex git doxygen ccache subversion p7zip-full unrar-free \ m4 wget curl bzip2 vim-common cmake xz-utils pkg-config \ dh-autoreconf unifont \ libssl-dev libgmp-dev zlib1g-dev libpci-dev liblzma-dev \ @@ -22,7 +22,8 @@ COPY tarballs/ /root/coreboot/util/crossgcc/tarballs/ RUN \ cd /root/coreboot/util/crossgcc && \ - make all_without_gdb CPUS=$(nproc) DEST=/opt/xgcc && \ + make all_without_gdb \ + BUILD_LANGUAGES=c,ada CPUS=$(nproc) DEST=/opt/xgcc && \ cd /root && \ rm -rf coreboot |