-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathtravis.sh
More file actions
executable file
·44 lines (36 loc) · 826 Bytes
/
travis.sh
File metadata and controls
executable file
·44 lines (36 loc) · 826 Bytes
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
42
43
44
#!/bin/bash -e
has() { command -v "$1" > /dev/null; }
if [ "$TRAVIS" = true ]; then
folded() {
FOLD=$((FOLD+1))
echo -e "travis_fold:start:cppsm.$FOLD\033[33;1m$1\033[0m"
travis_time_start
shift
echo "$@"
"$@"
travis_time_finish
echo -e "\ntravis_fold:end:cppsm.$FOLD\r"
}
else
folded() {
shift
"$@"
}
fi
build-1ml() {
git clone --depth 1 https://github.com/1ml-prime/1ml.git
pushd 1ml
make
export PATH="$PWD:$PATH"
popd
}
has 1ml || folded "Build 1ML" build-1ml
install-1ml-mode() {
git clone --depth 1 https://github.com/1ml-prime/1ml-mode.git
export PATH="$PWD/1ml-mode/bin:$PATH"
}
has 1ml-check || folded "Install 1ML mode and scripts" install-1ml-mode
folded "Check snippets" 1ml-check
for f in src/examples/*.1ml; do
folded "$f" 1ml-run "$f"
done