diff options
author | Nico Huber <nico.h@gmx.de> | 2018-11-04 16:01:41 +0100 |
---|---|---|
committer | Nico Huber <nico.h@gmx.de> | 2018-11-05 21:32:09 +0000 |
commit | c8767058e42197e621d5c9b08978bdead154bb20 (patch) | |
tree | f2fc71b64efd5eb5dec08aa85d5863675c8641fc /util/docker/coreboot-sdk/Dockerfile | |
parent | 2c64a2c649adbdd44759449c74c699c2bd8e25cc (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/Dockerfile | 1 |
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 \ |