blob: d8caf8ee875bb12d4c3de2ac942e4b79e5c38cb5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/usr/bin/env bash
ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"
git_download elpi
( cd "${CI_BUILD_DIR}/elpi" && make && make install )
git_download hierarchy_builder
( cd "${CI_BUILD_DIR}/hierarchy_builder" && make && make install )
|