diff options
| author | Maxime Dénès | 2017-03-13 11:33:48 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-03-13 11:33:48 +0100 |
| commit | ecacc9af6100f76e95acc24e777026bfc9c4d921 (patch) | |
| tree | 4c319de83cb07833fb253b2c3cd68d8a882c639b /dev/ci/ci-math-classes.sh | |
| parent | e2135c2f5fd8846c30d8099eed523fe06202b614 (diff) | |
| parent | fd5c5da475baea11d7ee2e1c2e965d7faeed3f33 (diff) | |
Merge PR#456: Proposing improvement to the CI targets for local use
Diffstat (limited to 'dev/ci/ci-math-classes.sh')
| -rwxr-xr-x | dev/ci/ci-math-classes.sh | 24 |
1 files changed, 18 insertions, 6 deletions
diff --git a/dev/ci/ci-math-classes.sh b/dev/ci/ci-math-classes.sh index 4450dc0710..e6a57404fe 100755 --- a/dev/ci/ci-math-classes.sh +++ b/dev/ci/ci-math-classes.sh @@ -1,12 +1,24 @@ -#!/bin/bash +#!/usr/bin/env 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 ) +math_classes_CI_BRANCH=v8.6 +math_classes_CI_GITURL=https://github.com/math-classes/math-classes.git +math_classes_CI_DIR=${CI_BUILD_DIR}/math-classes -git_checkout v8.6 https://github.com/c-corn/corn.git corn -( cd corn && make -j ${NJOBS} ) +Corn_CI_BRANCH=v8.6 +Corn_CI_GITURL=https://github.com/c-corn/corn.git +Corn_CI_DIR=${CI_BUILD_DIR}/corn +# Setup Math-Classes + +git_checkout ${math_classes_CI_BRANCH} ${math_classes_CI_GITURL} ${math_classes_CI_DIR} + +( cd ${math_classes_CI_DIR} && make -j ${NJOBS} && make install ) + +# Setup Corn + +git_checkout ${Corn_CI_BRANCH} ${Corn_CI_GITURL} ${Corn_CI_DIR} + +( cd ${Corn_CI_DIR} && make -j ${NJOBS} ) |
