stages:
  - build
  #- build-draft
#  - latex

#variables:
#  GIT_SUBMODULE_STRATEGY: recursive

build:
  image:
  #  name: makarius/isabelle:Isabelle2020
    name: logicalhacking/isabelle2020:latest
    entrypoint: [""]
  #cache:
  #  key: $CI_COMMIT_REF_SLUG
  #  paths:
  #    - "/root/.ivy2/cache"
  #    - "/root/.sbt"
  #    - "/root/.m2"
  #    - "/root/.elm"
  only:
    - build-OFFLINE  
  stage: build
#  before_script:
#   - echo 'Starting before script'
  script:
    - isabelle getenv ISABELLE_HOME_USER
    #- echo 'Starting text tags transformation'
    #- bash ./ci-scripts/preprocess_and_build.sh CoWBasic.thy
    - echo 'Starting Isabelle build'
    - isabelle getenv ISABELLE_HOME_USER
    - echo /home/isabelle/afp/thys >> /home/isabelle/Isabelle/ROOTS
    - isabelle build -v -j1 -o threads=1 -D .
    - cp output/document.pdf document.pdf
    - cp output/book.pdf book.pdf
    - cp output/manual.pdf manual.pdf
  allow_failure: False
  artifacts:
    name: "$CI_JOB_NAME-$CI_COMMIT_REF_NAME"
    paths:
    #  - output
       - document.pdf
       - book.pdf
       - manual.pdf
    #  - CoWBasic.thy
    when: always
      # depending on your build setup it's most likely a good idea to cache outputs to reduce the build time
      # cache:
      #   paths:
      #     - "*.o"

# latex:
#   dependencies:
#     - build
#   stage: latex
#   image: texlive/texlive:latest
#   script: 
#     - cd output/document
#     - pdflatex root.tex
#     - bibtex root.aux
#     - pdflatex root.tex
#     - pdflatex root.tex
#     - cp root.pdf ../../document.pdf
#   artifacts:
#     paths:
#       - output
#       - document.pdf
#     when: always
#     name: "$CI_JOB_NAME-$CI_COMMIT_REF_NAME"


build-draft:
  image:
    name: robpco/gitlabci
    entrypoint: [""]
  #cache:
  #  key: $CI_COMMIT_REF_SLUG
  #  paths:
  #    - "/root/.ivy2/cache"
  #    - "/root/.sbt"
  #    - "/root/.m2"
  #    - "/root/.elm"
  only:
    - master
  stage: build
#  before_script:
#   - echo 'Starting before script'
  script:
    - cd ci-scripts
    - bash ./remove_session.sh
  allow_failure: False
  artifacts:
    name: "Combinatorics-On-Words-Formalized_$CI_COMMIT_SHORT_SHA_$CI_COMMIT_TIMESTAMP"
    paths:
       - Combinatorics-On-Words-Formalized
    when: always
      # depending on your build setup it's most likely a good idea to cache outputs to reduce the build time
      # cache:
      #   paths:
      #     - "*.o"