diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-03-07 23:30:29 +0100 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-03-10 23:18:33 +0100 |
commit | 710c1e1f49ce834acb9488704bcbbf13c4ebaf91 (patch) | |
tree | d088d5a61426c8febb702866426c96a47a025b2b /dev/ci/ci-math-classes.sh | |
parent | ba36aab9ad9a3d210211e1d4527dd0f6f493ca05 (diff) |
[travis] Adding a template file and using it for all targets.
Diffstat (limited to 'dev/ci/ci-math-classes.sh')
-rwxr-xr-x | dev/ci/ci-math-classes.sh | 22 |
1 files changed, 17 insertions, 5 deletions
diff --git a/dev/ci/ci-math-classes.sh b/dev/ci/ci-math-classes.sh index c5105a848..e6a57404f 100755 --- a/dev/ci/ci-math-classes.sh +++ b/dev/ci/ci-math-classes.sh @@ -1,12 +1,24 @@ #!/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} ) |