[coreboot-gerrit] 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 <nico.h at gmx.de>
---
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 \

-- 
To view, visit https://review.coreboot.org/29453
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: newchange
Gerrit-Change-Id: I9f9115d8ab33cbe11aa77f16c98465e1c1dedeac
Gerrit-Change-Number: 29453
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h at gmx.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot-gerrit/attachments/20181104/f2d68f47/attachment-0001.html>