Code

Automatically build libstd#543

Code

Merged

RalfJung merged 17 commits intorust-lang:masterrust-lang/miri:masterfrom RalfJung:auto-libstdRalfJung/miri:auto-libstdCopy head branch name to clipboardNov 27, 2018

+222-148

Commits

Commits on Nov 27, 2018

• fix clippy lint whitelisting

  RalfJung

  committed
  14d58ca

• cargo miri: factor package manifest logic into separate function

  RalfJung

  committed
  6bd76c7

• setup routine to install xargo when missing

  RalfJung

  committed
  c945e30

• complete setup routine: instal rust-src, build libstd, use it

  RalfJung

  committed
  738133b

• use cargo miri setup for CI

  RalfJung

  committed
  bb47df9

• tweak comments, remove debug output

  RalfJung

  committed
  16ac7ec

• kill xargo dir and update docs

  RalfJung

  committed
  cc4dd29

• install directly from git repo

  RalfJung

  committed
  9dd0048

• there are less places now to keep the flags in sync

  RalfJung

  committed
  b09dfc1

• cargo miri setup: print when we are executing commands

  RalfJung

  committed
  82caed1

• remove unneeded backtrace feature

  RalfJung

  committed
  58982d6

• tweaks

  RalfJung

  committed
  07f78a3

• Merge remote-tracking branch 'origin/master' into auto-libstd

  RalfJung

  committed
  4459d14

• use proper platform cache dir

  RalfJung

  committed
  b916795

• we need to recursively create the dir

  RalfJung

  committed
  bd7f407

• inform the user when and where we are creating a cache dir

  RalfJung

  committed
  5319655

• use new dir for CI and docs

  RalfJung

  committed
  fbd7d11