Ralf Jung
|
244011a47f
|
don't have both MIRI_SYSROOT and --sysroot
|
2019-06-09 15:43:22 +02:00 |
|
Ralf Jung
|
05b7e61977
|
remove outdated sysroot management
|
2019-06-09 14:10:42 +02:00 |
|
Ralf Jung
|
09f30cabf0
|
cargo miri: make sure we see the same sysroot for rustc and miri
|
2019-06-09 13:53:04 +02:00 |
|
Ralf Jung
|
cf96396fcc
|
make miri script smarter: auto-determine MIRI_SYSROOT, handle MIRI_TEST_TARGET
|
2019-05-27 14:41:44 +02:00 |
|
Ralf Jung
|
0f96676f43
|
switch back to upstream xargo
|
2019-05-10 08:28:02 +02:00 |
|
Ralf Jung
|
d05159f3a9
|
switch to my xargo fork, because that one works with current libstd
|
2019-05-01 20:37:08 +02:00 |
|
Bastien Orivel
|
69a252c1b3
|
Update cargo_metadata to 0.7
|
2019-04-27 23:31:48 +02:00 |
|
Ralf Jung
|
2481d6091a
|
warn when cargo miri setup does not do anything
|
2019-04-19 19:27:19 +02:00 |
|
Ralf Jung
|
36e99a1bda
|
remove some unneeded 'extern crate'
|
2019-04-18 16:16:32 +02:00 |
|
Oliver Scherer
|
56c7656568
|
Remove dead code and docs
|
2019-03-11 10:28:03 +01:00 |
|
Ralf Jung
|
8c74325441
|
mention --exclude-should-panic
|
2019-03-10 17:53:30 +01:00 |
|
Ralf Jung
|
a9b03f9411
|
avoid [..]
|
2019-02-27 11:39:59 +01:00 |
|
Alexander Regueiro
|
12d3ecbaff
|
Various cosmetic improvements.
|
2019-02-26 18:37:46 +00:00 |
|
Ralf Jung
|
9397b36ab8
|
typo and comments
|
2019-02-15 09:35:55 +01:00 |
|
Ralf Jung
|
2d892c160b
|
skip installing rust-src if XARGO_RUST_SRC is set
|
2019-02-13 12:10:05 +01:00 |
|
Ralf Jung
|
35ed590075
|
also enable passing arguments through from cargo-miri
|
2019-02-09 20:00:40 +01:00 |
|
Ralf Jung
|
e0891bd619
|
Fix cargo miri test on lib crates
|
2019-02-07 16:33:46 +01:00 |
|
Ralf Jung
|
5766b32871
|
update test for cargo-miri
|
2019-02-07 13:03:03 +01:00 |
|
Ralf Jung
|
4309539efe
|
cargo miri: refactor how we detect what to interpret and how we run cargo rustc, fix running unit tests
|
2019-02-07 13:00:27 +01:00 |
|
Ralf Jung
|
d67da9f04b
|
no need to set the cargo-miri feature twice
|
2018-12-19 11:12:56 +01:00 |
|
Ralf Jung
|
ecf6599051
|
xargo version check: also check application name, just to be sure
|
2018-12-19 11:06:46 +01:00 |
|
Ralf Jung
|
e4fd710606
|
there is a new xargo released, use that
|
2018-12-18 19:41:32 +01:00 |
|
Ralf Jung
|
93b8c23f7b
|
Merge remote-tracking branch 'origin/master' into cargo-miri-test
|
2018-12-18 18:36:19 +01:00 |
|
Ralf Jung
|
96b2c347d7
|
temporarily use git version of xargo
|
2018-12-15 18:39:42 +01:00 |
|
Ralf Jung
|
6a37e723c4
|
detect outdated xargo version
|
2018-12-15 15:08:03 +01:00 |
|
Ralf Jung
|
e6147ae67e
|
*oops*
|
2018-12-12 17:30:20 +01:00 |
|
Ralf Jung
|
b6a4556cb9
|
use show_error to terminate
|
2018-12-12 17:05:23 +01:00 |
|
Ralf Jung
|
ed83cc2600
|
use RUSTC_WRAPPER for the cargo hook
|
2018-12-12 17:03:40 +01:00 |
|
Ralf Jung
|
9417b28de5
|
treat test binaries like all others
|
2018-12-11 17:42:18 +01:00 |
|
Ralf Jung
|
b50662d68c
|
fix CI
|
2018-12-10 12:21:39 +01:00 |
|
Ralf Jung
|
b8e6af49d9
|
fix setting the manifest path manually when using cargo miri
|
2018-12-10 10:53:32 +01:00 |
|
Ralf Jung
|
b6eb2cd08e
|
cargo miri: support foreign targets
|
2018-12-10 09:53:14 +01:00 |
|
Ralf Jung
|
c84c1527e2
|
factor grabbing of cargo options into separate function and make it better
|
2018-12-10 09:28:24 +01:00 |
|
Ralf Jung
|
e12d4bc70c
|
build libstd with minimal features
|
2018-12-02 14:05:14 +01:00 |
|
Ralf Jung
|
dcfc2f207e
|
do not even look for cargo metadata in 'cargo miri setup'
|
2018-12-02 10:29:57 +01:00 |
|
Ralf Jung
|
86e6470a12
|
update README to first describe the usual user setup, and to always set up a proper libstd
|
2018-11-30 09:23:44 +01:00 |
|
Ralf Jung
|
53196554ec
|
inform the user when and where we are creating a cache dir
|
2018-11-27 13:12:52 +01:00 |
|
Ralf Jung
|
bd7f4076cd
|
we need to recursively create the dir
|
2018-11-27 11:43:02 +01:00 |
|
Ralf Jung
|
b91679539e
|
use proper platform cache dir
|
2018-11-27 11:26:53 +01:00 |
|
Ralf Jung
|
07f78a37d4
|
tweaks
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
58982d655a
|
remove unneeded backtrace feature
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
82caed1a48
|
cargo miri setup: print when we are executing commands
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
cc4dd29f54
|
kill xargo dir and update docs
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
16ac7ec1b1
|
tweak comments, remove debug output
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
738133b379
|
complete setup routine: instal rust-src, build libstd, use it
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
c945e30d10
|
setup routine to install xargo when missing
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
6bd76c7ee1
|
cargo miri: factor package manifest logic into separate function
|
2018-11-27 08:16:58 +01:00 |
|
Ralf Jung
|
ef2ffed93f
|
port cargo-miri-test to 2018 edition, mostly to test that that works with cargo miri
|
2018-11-19 22:59:41 +01:00 |
|
Ralf Jung
|
8da2c9e34e
|
fix adding default arguments
|
2018-11-03 11:03:53 +01:00 |
|
Ralf Jung
|
fba55ba2a9
|
make the -Z flags we use more consistent
|
2018-11-01 08:58:03 +01:00 |
|