message: build tests within our docker container
diff: @@ -9,6 +9,8 @@ branches:
  - master
  rust:
  - nightly
  +services:
  + - docker
  os: linux
  dist: bionic
  cache:
  @@ -18,10 +20,8 @@ before_install:
  - sudo apt-get install -y qemu-kvm libvirt-daemon-system libvirt-clients bridge-utils
  - sudo adduser $USER libvirt
  - sudo adduser $USER kvm
  - - cargo install cargo-download
  - - rustup component add rust-src
  - - rustup component add llvm-tools-preview
  - cargo install uhyve
  + - docker pull registry.git.rwth-aachen.de/acs/public/hermitcore/hermitrust:latest
  install:
  - ls -l
  - if [ -d "$HOME/tmp_libhermit-rs" ]; then rm -rf $HOME/tmp_libhermit-rs; fi
  @@ -47,7 +47,7 @@ jobs:
  name: "Test Debug build"
  script:
  - cd $TRAVIS_BUILD_DIR/rusty-hermit
  - - cargo build -Z build-std=std,core,alloc,panic_abort --target x86_64-unknown-hermit
  + - docker run -v $PWD:/volume -e USER=$USER -w /volume --rm -t registry.git.rwth-aachen.de/acs/public/hermitcore/hermitrust cargo build -Z build-std=std,core,alloc,panic_abort --target x86_64-unknown-hermit
  # used to get terminal with new groups permissions while preserving own user
  - sudo -E sudo -u $USER -E bash -c "HERMIT_VERBOSE=1 $HOME/.cargo/bin/uhyve target/x86_64-unknown-hermit/debug/rusty_demo"
  - sudo -E sudo -u $USER -E bash -c "HERMIT_VERBOSE=1 HERMIT_CPUS=2 $HOME/.cargo/bin/uhyve target/x86_64-unknown-hermit/debug/rusty_demo"
  @@ -55,7 +55,7 @@ jobs:
  - name: "Test Release Build"
  script:
  - cd $TRAVIS_BUILD_DIR/rusty-hermit
  - - RUSTFLAGS="-Clinker-plugin-lto" cargo build -Z build-std=std,core,alloc,panic_abort --target x86_64-unknown-hermit --release
  + - docker run -v $PWD:/volume -e USER=$USER -e RUSTFLAGS="-Clinker-plugin-lto" -w /volume --rm -t registry.git.rwth-aachen.de/acs/public/hermitcore/hermitrust cargo build -Z build-std=std,core,alloc,panic_abort --target x86_64-unknown-hermit --release
  - sudo -E sudo -u $USER -E bash -c "HERMIT_VERBOSE=1 $HOME/.cargo/bin/uhyve target/x86_64-unknown-hermit/release/rusty_demo"
  - sudo -E sudo -u $USER -E bash -c "HERMIT_VERBOSE=1 HERMIT_CPUS=2 $HOME/.cargo/bin/uhyve target/x86_64-unknown-hermit/release/rusty_demo"
  - name: "Integration Tests (experimental)"
  