summaryrefslogtreecommitdiff
path: root/util/docker/coreboot-sdk/Dockerfile
diff options
context:
space:
mode:
authorNico Huber <nico.h@gmx.de>2018-11-04 16:01:41 +0100
committerNico Huber <nico.h@gmx.de>2018-11-05 21:32:09 +0000
commitc8767058e42197e621d5c9b08978bdead154bb20 (patch)
treef2fc71b64efd5eb5dec08aa85d5863675c8641fc /util/docker/coreboot-sdk/Dockerfile
parent2c64a2c649adbdd44759449c74c699c2bd8e25cc (diff)
coreboot-sdk: Don't install libisl-dev
The current version in debian:sid is incompatible with our crossgcc version. But it turned out that we don't use the optimization features enabled by libisl at all: crossgcc builds with and without (a proper version of) libisl-dev installed generate the same coreboot binaries. Change-Id: I9f9115d8ab33cbe11aa77f16c98465e1c1dedeac Signed-off-by: Nico Huber <nico.h@gmx.de> Reviewed-on: https://review.coreboot.org/29453 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net> Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util/docker/coreboot-sdk/Dockerfile')
-rw-r--r--util/docker/coreboot-sdk/Dockerfile1
1 files changed, 0 insertions, 1 deletions
diff --git a/util/docker/coreboot-sdk/Dockerfile b/util/docker/coreboot-sdk/Dockerfile
index 4410e5b36c..44682f8c4c 100644
--- a/util/docker/coreboot-sdk/Dockerfile
+++ b/util/docker/coreboot-sdk/Dockerfile
@@ -41,7 +41,6 @@ RUN \
libftdi1-dev \
libglib2.0-dev \
libgmp-dev \
- libisl-dev \
libjaylink-dev \
liblzma-dev \
libncurses5-dev \