after_success.sh
Make install clean commandReferences the DESTDIR package staging variable
SHA-2566c9562098234f7484e2496918386505185c43018c3f3d17f8df95a59457d8f1f
MaleculeH₄(Cm₄DbF₄Po₃)
Evidence
1#!/bin/bash
2
3# This runs only when a commit is pushed to master. It is responsible for
4# updating docs and computing coverage statistics.
5
6set -e
7
8if [ "$TRAVIS_RUST_VERSION" != "nightly" ] || [ "$TRAVI …
⋯5 lines
13
14# Build and upload docs.
15echo '<meta http-equiv=refresh content=0;url=regex/index.html>' > target/doc/index.html
16ve=$(mktemp -d)
17virtualenv "$ve"
18"$ve"/bin/pip install --upgrade pip
19"$ve"/bin/pip install ghp-import
20"$ve"/bin/ghp-import -n target/doc
21git push -qf https://${TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git gh-pages
22
23# Install kcov.
24tmp=$(mktemp -d)
25pushd "$tmp"
26wget https://github.com/SimonKagstrom/kcov/archive/master.tar.gz
27tar zxf master.tar.gz
28mkdir kcov-master/build
29cd kcov-master/build
30cmake ..
31make
32make install DESTDIR="$tmp"
33popd
34PATH="$tmp/usr/local/bin:$PATH" ./ci/run-kcov --coveralls-id $TRAVIS_JOB_ID