Browse Source

Use more robust download location to acquire isl library.

master
Christoph Scholtes 8 months ago
parent
commit
9fbb254192
1 changed files with 2 additions and 2 deletions
  1. +2
    -2
      Makefile

+ 2
- 2
Makefile View File

@@ -27,7 +27,7 @@ toolchain-lin: $(toolchain-lin)
$(toolchain-lin): $(crosstool-ng)
# HACK until crosstool-ng has fixed its mirror for isl library
-mkdir /home/build/src
cd /home/build/src && wget ftp.halifax.rwth-aachen.de/gentoo/distfiles/isl-0.24.tar.xz
cd /home/build/src && wget http://deb.debian.org/debian/pool/main/i/isl/isl_0.20.orig.tar.xz && mv isl_0.20.orig.tar.xz isl-0.20.tar.xz
ct-ng x86_64-ubuntu16.04-linux-gnu
CT_PREFIX="$(LOCAL_DIR)" ct-ng build
rm -rf .build .config build.log /home/build/src
@@ -42,7 +42,7 @@ toolchain-win: $(toolchain-win)
$(toolchain-win): $(crosstool-ng)
# HACK until crosstool-ng has fixed its mirror for isl library
-mkdir /home/build/src
cd /home/build/src && wget ftp.halifax.rwth-aachen.de/gentoo/distfiles/isl-0.24.tar.xz
cd /home/build/src && wget http://deb.debian.org/debian/pool/main/i/isl/isl_0.20.orig.tar.xz && mv isl_0.20.orig.tar.xz isl-0.20.tar.xz
ct-ng x86_64-w64-mingw32
CT_PREFIX="$(LOCAL_DIR)" ct-ng build
rm -rf .build .config build.log /home/build/src


Loading…
Cancel
Save