.build_matrix: &build_matrix
  parallel:
    matrix:
      - PLATFORM: ["x86_64"]
        TYPE: ["dbg", "rel"]

build:
  stage: build
  image: registry.gitlab.ost.ch:45023/teachos/devcontainers/x86-64:15.2.0-1
  before_script:
    - apt update
    - apt install -y cmake grub2-common grub-pc mtools ninja-build xorriso
  script:
    - cmake --preset $PLATFORM
    - cmake --build --preset $PLATFORM-$TYPE
    - cp build/bin/**/kernel.{dis,elf,sym,iso} .
  artifacts:
    paths:
      - kernel.dis
      - kernel.elf
      - kernel.sym
      - kernel.iso
  <<: *build_matrix

license_check:
  stage: .pre
  image:
    name: docker.io/fsfe/reuse
    entrypoint: [""]
  script: reuse lint