alexarchambault

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

alexarchambault

[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.

alexarchambault

# 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