summaryrefslogtreecommitdiff
path: root/util
diff options
context:
space:
mode:
Diffstat (limited to 'util')
-rw-r--r--util/crossgcc/Dockerfile7
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