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@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 \