blob: 9127c1895157d5cd0b0a3878b2c686ea98cb49f5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/bash
# $0 is not the safest way, but...
ci_dir="$(dirname "$0")"
source ${ci_dir}/ci-common.sh
git clone --depth 1 -b v8.6 https://github.com/math-classes/math-classes.git
( cd math-classes && make -j ${NJOBS} && make install )
git clone --depth 1 -b v8.6 https://github.com/c-corn/corn.git
( cd corn && make -j ${NJOBS} )
|