Change in coreboot[master]: coreboot-sdk: Don't install libisl-dev

[Nico Huber (Code Review)]

Nico Huber has uploaded this change for review. ( https://review.coreboot.org/29453

Change subject: coreboot-sdk: Don't install libisl-dev
......................................................................

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 
---
M util/docker/coreboot-sdk/Dockerfile
1 file changed, 0 insertions(+), 1 deletion(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/53/29453/1

diff --git a/util/docker/coreboot-sdk/Dockerfile b/util/docker/coreboot-sdk/Dockerfile
index 4410e5b..44682f8 100644
--- a/util/docker/coreboot-sdk/Dockerfile
+++ b/util/docker/coreboot-sdk/Dockerfile
@@ -41,7 +41,6 @@
    	libftdi1-dev \
    	libglib2.0-dev \
    	libgmp-dev \
-		libisl-dev \
    	libjaylink-dev \
    	liblzma-dev \
    	libncurses5-dev \