.gitlab-ci.yml

image: registry.rev.ng:443/fcremo/revng-orchestra:latest

stages:
  - build

create-binaries:
  stage: build
  script:
    - echo -e "machine rev.ng\nlogin gitlab-ci-token\npassword ${CI_JOB_TOKEN}" > ~/.netrc
    - .orchestra/ci/install-dependencies.sh
    - git clone https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/${CI_PROJECT_NAMESPACE}/orchestra-v3.git /orchestra
    - cd /orchestra
    - python3 setup.py bdist_wheel
    - pip3 install dist/orchestra*.whl
    - cd "$CI_PROJECT_DIR"
    - |
      cat - > .orchestra/config/user_options.yml <<EOF
      #@data/values
      ---
      #@overlay/match missing_ok=True
      remote_base_urls:
        - personal: "https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/${CI_PROJECT_NAMESPACE}"
        - internal: "https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/revng-internal"
        - private: "https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/revng-private"

      #@overlay/match missing_ok=True
      binary_archives:
        - personal: "https://gitlab-ci-token:${CI_JOB_TOKEN}@rev.ng/gitlab/${CI_PROJECT_NAMESPACE}/binary-archives"

      #@overlay/replace
      build_from_source:
        - llvmcpy
        - revng-qa
        - revng
        - revng-c
        - caliban
        - ui/cold-revng
        - environment
        - revng-distributable

      EOF
    - orchestra update --no-config
    - orchestra -b graph revng-distributable
    - orchestra -b install --create-binary-archives revng-distributable
    - cd .orchestra/binary-archives/personal
    - git config user.email "gitlabci@rev.ng"
    - git config user.name "rev.ng Gitlab CI"
    - git add .
    - git commit -m "Binary archives built on $(date) for commit ${CI_COMMIT_SHA}"
    - git push
    - git-lfs push