fix: use ISL package

Signed-off-by: Martin Kröning <[email protected]>
hermit-os · Aug 9, 2024 · 66c6f38 · 66c6f38
1 parent 4ee29be
commit 66c6f38
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -8,6 +8,7 @@ RUN set -eux; \
         git \
         flex \
         libgmp-dev \
+        libisl-dev \
         libmpc-dev \
         libmpfr-dev \
         texinfo \

diff --git a/toolchain.sh b/toolchain.sh
@@ -33,9 +33,6 @@ fi
 
 if [ ! -d "gcc" ]; then
 git clone $CLONE_DEPTH https://github.com/hermit-os/gcc.git
-wget ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-0.15.tar.bz2 -O isl-0.15.tar.bz2
-tar jxf isl-0.15.tar.bz2
-mv isl-0.15 gcc/isl
 fi
 
 if [ ! -d "hermit" ]; then