diff options
| -rw-r--r-- | .gitlab-ci.yml | 3 | ||||
| -rw-r--r-- | Makefile.ci | 1 | ||||
| -rwxr-xr-x | dev/ci/ci-basic-overlay.sh | 7 | ||||
| -rwxr-xr-x | dev/ci/ci-relation-algebra.sh | 8 |
4 files changed, 19 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2444e3982e..65a8a0cb88 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -442,6 +442,9 @@ ci-plugin_tutorial: ci-quickchick: <<: *ci-template-flambda +ci-relation-algebra: + <<: *ci-template + ci-sf: <<: *ci-template diff --git a/Makefile.ci b/Makefile.ci index d0b87fc58b..956e3ee58f 100644 --- a/Makefile.ci +++ b/Makefile.ci @@ -39,6 +39,7 @@ CI_TARGETS= \ ci-paramcoq \ ci-plugin_tutorial \ ci-quickchick \ + ci-relation-algebra \ ci-sf \ ci-simple-io \ ci-tlc \ diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 9727d42a90..1d1338b075 100755 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -266,3 +266,10 @@ : "${paramcoq_CI_REF:=master}" : "${paramcoq_CI_GITURL:=https://github.com/coq-community/paramcoq}" : "${paramcoq_CI_ARCHIVEURL:=${paramcoq_CI_GITURL}/archive}" + +######################################################################## +# relation-algebra +######################################################################## +: "${relation_algebra_CI_REF:=master}" +: "${relation_algebra_CI_GITURL:=https://github.com/damien-pous/relation-algebra}" +: "${aac_tactics_CI_ARCHIVEURL:=${relation_algebra_CI_GITURL}/archive}" diff --git a/dev/ci/ci-relation-algebra.sh b/dev/ci/ci-relation-algebra.sh new file mode 100755 index 0000000000..84bed5bdfe --- /dev/null +++ b/dev/ci/ci-relation-algebra.sh @@ -0,0 +1,8 @@ +#!/usr/bin/env bash + +ci_dir="$(dirname "$0")" +. "${ci_dir}/ci-common.sh" + +git_download relation_algebra + +( cd "${CI_BUILD_DIR}/relation_algebra" && make && make install ) |