{ pkgs, teensy-core, ... }:

pkgs.stdenv.mkDerivation rec {
  name = "teensy-test";

  src = ./test;

  buildInputs = with pkgs; [
    gcc-arm-embedded
    teensy-core
  ];

  buildPhase = ''
    export CC=arm-none-eabi-gcc
    export CXX=arm-none-eabi-g++
    export OBJCOPY=arm-none-eabi-objcopy
    export SIZE=arm-none-eabi-size

    export LDFLAGS="-T${teensy-core}/lib/imxrt1062.ld -L${teensy-core}/lib"

    make
  '';

  installPhase = ''
    mkdir $out
    cp *.hex $out/
  '';
}