blob: e49ee5b1714da644b29fa7cc9a8fd15e70cb4e19 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/usr/bin/env bash
# $0 is not the safest way, but...
ci_dir="$(dirname "$0")"
source ${ci_dir}/ci-common.sh
mathcomp_CI_DIR=${CI_BUILD_DIR}/math-comp
checkout_mathcomp ${mathcomp_CI_DIR}
# odd_order takes too much time for travis.
( cd ${mathcomp_CI_DIR}/mathcomp && \
sed -i.bak '/PFsection/d' Make && \
sed -i.bak '/stripped_odd_order_theorem/d' Make && \
make Makefile.coq && make -f Makefile.coq pretty-timed TGTS="all" )
|