From c8767058e42197e621d5c9b08978bdead154bb20 Mon Sep 17 00:00:00 2001 From: Nico Huber Date: Sun, 4 Nov 2018 16:01:41 +0100 Subject: [PATCH] coreboot-sdk: Don't install libisl-dev MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 Reviewed-on: https://review.coreboot.org/29453 Tested-by: build bot (Jenkins) Reviewed-by: Jonathan Neuschäfer Reviewed-by: Martin Roth --- util/docker/coreboot-sdk/Dockerfile | 1 - 1 file changed, 1 deletion(-) 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 \