Taskfile.yml

# https://taskfile.dev

version: "3"

dotenv: ["{{.HOME}}/.env"] # sets toolchain paths

tasks:
  config_rpi3:
    cmds:
      - cmake -DMISTRAL_PLATFORM=RPI3 -DTOOLCHAIN_PATH="{{.AARCH64_BIN}}" -DCMAKE_TOOLCHAIN_FILE=cmake/toolchain/aarch64.cmake -B build -S .

  build_rpi3:
    cmds:
      - task: config_rpi3
      - cmake --build build

  run_rpi3:
    cmds:
      - qemu-system-aarch64 -M raspi3b -serial stdio -display none -kernel build/sys/kernel8.img

  debug_rpi3:
    cmds:
      - gdb -ex "target remote localhost:1234" build/sys/kernel8.img

  config_tests:
    cmds:
      - cmake -DENABLE_TESTS=ON -B build -S .

  build_tests:
    cmds:
      - task: config_tests
      - cmake --build build --target unit_tests

  run_tests:
    cmds:
      - ctest --test-dir build/tests --output-on-failure

  clean:
    cmds:
      - rm -rf build

  run_spec:
    cmds:
      - java -cp tla2tools.jar tlc2.TLC BuddyAllocator.tla -config BuddyAllocator.cfg -deadlock