cradle:
  bios:
    shell:
      echo "-Wall" >> %HIE_BIOS_OUTPUT%
      echo "A" >> %HIE_BIOS_OUTPUT%
      echo "B" >> %HIE_BIOS_OUTPUT%
    with-ghc: myGhc