mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Download the crosstool from GitHub instead of crosstool-ng.org

Browse Source 
Temporary workaround since crosstool-ng.org was down. Consider mirroring
the release tarball as a more permanent solution.
This commit is contained in:
kennytm 2017-12-14 01:21:33 +08:00
parent 3dfbc88a62
commit bf0653ea8e
No known key found for this signature in database
GPG Key ID: FEF6C8051D0E013C
1 changed files with 5 additions and 4 deletions

9
src/ci/docker/scripts/crosstool-ng.sh

@ -10,11 +10,12 @@
set -ex set -ex
url="http://crosstool-ng.org/download/crosstool-ng/crosstool-ng-1.22.0.tar.bz2" url="https://github.com/crosstool-ng/crosstool-ng/archive/crosstool-ng-1.22.0.tar.gz"
curl -f $url | tar xjf - curl -Lf $url | tar xzf -
cd crosstool-ng cd crosstool-ng-crosstool-ng-1.22.0
./bootstrap
./configure --prefix=/usr/local ./configure --prefix=/usr/local
make -j$(nproc) make -j$(nproc)
make install make install
cd .. cd ..
rm -rf crosstool-ng rm -rf crosstool-ng-crosstool-ng-1.22.0