Oliver Schneider
20c2e0bede
Test miri on mac os
2018-05-11 11:29:18 +02:00
Oliver Schneider
9068a2a4b3
cargo cache was messing up xargo/miri install
2018-05-09 15:14:16 +02:00
Oliver Schneider
a4fdcd29b5
Disable cargo miri test for now
2018-05-09 13:43:31 +02:00
bjorn3
ac42af3789
travis: cache build dir
2018-04-13 16:04:57 +02:00
Oliver Schneider
fc587ac6ae
Without a Cargo.lock it makes no sense to use --locked
2017-12-15 09:32:10 +01:00
Oliver Schneider
7ec04cb676
cargo install only takes --debug, not --release
2017-09-14 10:34:07 +02:00
Ralf Jung
24e45de953
travis: more consistent cargo flags (--locked, --release)
2017-09-14 10:04:28 +02:00
Ralf Jung
a5fa8e90d0
only test on master
2017-09-09 11:28:24 +02:00
Ralf Jung
2ee999b2ca
use latest xargo; this fixes the libstd build problem
2017-09-06 10:15:28 +02:00
Ralf Jung
41be917e01
make sure the lock file is not changed when building on CI
2017-09-04 12:42:07 +02:00
Ralf Jung
1f20b7d774
travis: fail fast
2017-08-18 11:42:00 +02:00
Ralf Jung
de80bcbdbf
some tests for RangeMap
2017-08-09 15:49:47 -07:00
Oliver Schneider
7e6c497539
Make cargo_miri a feature
...
1. Speeds up the common compilation path (no serde in the dependency tree)
2. Stage 1 rustc is enough (no serde -> no custom derive)
2017-08-09 16:12:27 +02:00
Oliver Schneider
7e585ef147
Speed up travis by using release mode
...
before we built in debug mode for testing,
but then installed miri, which builds in release mode.
So we built in release mode anyway but tested slowly in debug mode
2017-08-02 17:57:55 +02:00
Oliver Schneider
f19d77e0f1
Build the rustc_tests binary on travis
2017-08-01 16:44:49 +02:00
Oliver Schneider
4383fc2e27
Adjust travis to the directory changes
2017-08-01 09:56:21 +02:00
Oliver Schneider
11e30a65e6
Split up miri into the librustc_mir and bin parts
2017-08-01 09:56:21 +02:00
Oliver Schneider
4cfa7c5d12
Prep miri repository for rustc merger
2017-07-21 11:30:56 +02:00
Ralf Jung
3e7f69aae2
add little script to build libstd
...
That's easier to use than having to `cd xargo`
2017-07-11 10:28:32 -07:00
Oliver Schneider
ef29e6a30b
Add fullmir tests
2017-06-21 08:57:17 +02:00
Ralf Jung
7504512cbd
rustup 1.4 fixed the permissions of the extracted files
2017-06-11 17:24:38 -07:00
Ralf Jung
44a45f7c34
run test suite also against libstd with full MIR
2017-05-31 13:39:40 -07:00
Oliver Schneider
197226aa2a
Try to fix travis
2017-03-23 15:52:11 +01:00
Oliver Schneider
4650e75d60
travis cargo doesn't support custom subcommands
2017-01-28 16:14:32 +01:00
Oliver Schneider
17090b8524
add tests for cargo miri and run them on travis
2017-01-28 11:57:53 +01:00
Oliver Schneider
3ee34381b6
remove typo
2017-01-12 08:53:03 +01:00
Oliver Schneider
421b537f80
travis fix
2017-01-12 08:41:46 +01:00
Oliver Schneider
f47aa03f6f
analyze travis
2017-01-12 08:41:39 +01:00
Oliver Schneider
3084aa8052
test more targets on travis
2017-01-12 08:41:31 +01:00
Oliver Schneider
f01be91997
miri needs to be *built* with RUST_SYSROOT, not *run*
2016-06-16 11:00:46 +02:00
Oliver Schneider
af36ec959a
undo all travis script changes
2016-06-16 10:46:43 +02:00
Oliver Schneider
6a5f7378c3
travis didn't fail when compiling miri on nightly
2016-06-16 10:44:59 +02:00
Oliver Schneider
06d1780b85
fix travis
2016-06-16 10:42:04 +02:00
Oliver Schneider
82dc95c3ad
create a miri-pass test that allows us to run miri for arbitrary targets
2016-06-15 16:01:00 +02:00
Scott Olson
4856997168
Only test on the latest nightly version.
2016-05-09 18:35:22 -06:00
Scott Olson
49b6349577
Update to a new nightly.
2016-05-09 15:32:18 -06:00
Scott Olson
f7d7ce27c8
Update to a nightly with rustc::ty::layout.
2016-04-23 00:11:56 -06:00
Pascal Hertleif
a85d876bcd
Fix Travis Config for Nightly
2016-04-15 16:54:50 +02:00
Pascal Hertleif
18737f542b
Add Travis Config
2016-04-15 10:04:51 +02:00
