blob: 679bef3b5eb3d4d8d34c2ba11116bba6dd4e375c (
plain)
1
2
3
4
5
6
7
8
9
10
|
#!/usr/bin/env bash
ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"
git_download hott
( cd "${CI_BUILD_DIR}/hott" && ./autogen.sh -skip-submodules && ./configure \
&& sed -i.bak 's/\(HOQC =.*\)/\1 -native-compiler no/' Makefile \
&& make && make validate )
|
