blob: 4450dc0710246aa2a0c7b856c8a2afadf88fd6f9 (
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_checkout v8.6 https://github.com/math-classes/math-classes.git math-classes
( cd math-classes && make -j ${NJOBS} && make install )
git_checkout v8.6 https://github.com/c-corn/corn.git corn
( cd corn && make -j ${NJOBS} )
|