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
|
#!/bin/bash
set -e
ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"
git_download struct_tact
git_download inf_seq_ext
git_download cheerios
git_download verdi
git_download verdi_raft
if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi
( cd "${CI_BUILD_DIR}/struct_tact"
make
make install
)
( cd "${CI_BUILD_DIR}/inf_seq_ext"
make
make install
)
( cd "${CI_BUILD_DIR}/cheerios"
make
make install
)
( cd "${CI_BUILD_DIR}/verdi"
make
make install
)
( cd "${CI_BUILD_DIR}/verdi_raft"
make
)
|
