This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
def fetchPIDE(version: Version)(implicit ec: ExecutionContext): Future[List[Path]] = { | |
val repositories = Seq(Repository.ivy2Local, Repository.mavenCentral, Repository.sonatypeReleases) | |
val files = coursier.Files( | |
Seq("https://" -> new File(sys.props("user.home") + "/.libisabelle/cache")), | |
() => sys.error("impossible") | |
) | |
val cachePolicy = Repository.CachePolicy.Default |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[SKIP] maxaf/dandy ivy failed. | |
[PASS] typesafehub/dbuild ivy ok, coursier ok. | |
[PASS] stacycurl/delta ivy ok, coursier ok. | |
[SKIP] xdotai/diff ivy failed. | |
[PASS] mkroli/dns4s ivy ok, coursier ok. | |
[PASS] stew/dogs ivy ok, coursier ok. | |
[PASS] tpolecat/doobie ivy ok, coursier ok. | |
[SKIP] smarter/dotty-bridge ivy failed. | |
[PASS] djspiewak/emm ivy ok, coursier ok. | |
[PASS] ensime/ensime-sbt ivy ok, coursier ok. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# build gcc toolchain targeting x86_64-linux-musl with https://github.com/richfelker/musl-cross-make | |
# don't use master branch which uses musl v1.2.1(the new malloc implementation has deadlock problems, v1.2.2 fixes it, v1.2.0 doesn't have it) | |
cd ~ | |
git clone https://github.com/richfelker/musl-cross-make -b v0.9.9 | |
cd musl-cross-make | |
cp config.mak.dist config.mak | |
# edit config.mak: TARGET = x86_64-linux-musl | |
make -j`nproc` | |
make install | |
ln -s output/bin/x86_64-linux-musl-gcc output/bin/musl-gcc |