ngn-k: build k-libc flavor by default

, stdenvNoLibs

, fetchFromGitea

, runtimeShell

, doCheck ? stdenv.hostPlatform == stdenv.buildPlatform

, doCheck ? withLibc && stdenv.hostPlatform == stdenv.buildPlatform

, withLibc ? true

}:

let

  # k itself is compiled with -ffreestanding, but tests require a libc

  useStdenv = if doCheck then stdenv else stdenvNoLibs;

  # k itself can be compiled with -ffreestanding, but tests require a libc;

  # if we want to build k-libc we need a libc obviously

  useStdenv = if withLibc || doCheck then stdenv else stdenvNoLibs;

in

useStdenv.mkDerivation {

  '';

  makeFlags = [ "-e" ];

  buildFlags = [ "k" "libk.so" ];

  buildFlags = [

    (if withLibc then "k-libc" else "k")

    "libk.so"

  ];

  checkTarget = "t";

  inherit doCheck;