boolean_expression 0.2.0

A library for manipulating and evaluating Boolean expressions and BDDs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

#!/bin/bash
#
# borrowed from: https://gist.github.com/Stebalien/d4a32c4abc03376db903
#

set -e
[[ "$(git symbolic-ref --short HEAD)" == "master" ]] || exit 0

msg() {
    echo "> $@"
}

dir="$(pwd)"
tmp="$(mktemp -d)"
last_rev="$(git rev-parse HEAD)"
last_msg="$(git log -1 --pretty=%B)"

trap "cd \"$dir\"; rm -rf \"$tmp\"" EXIT

msg "Cloning into a temporary directory..."
git clone -qb gh-pages $dir $tmp
cd "$tmp"
git checkout -q master
ln -s $dir/target $tmp/target

msg "Generating documentation..."
cargo doc --no-deps

# Switch to pages
msg "Replacing documentation..."
git checkout -q gh-pages

# Clean and replace
git rm -q --ignore-unmatch -rf .
(git reset -q -- .gitignore && git checkout -q -- .gitignore) || true
cp -a target/doc/* .
rm target
git add .
git commit -m "Update docs for $last_rev"
git push -qu origin gh-pages
msg "Done."