Run.exec.make: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/run.bend as Run
Lines 201-215 of ezx@1.11.0.0/src/tool/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/run.bend&start_line=201&end_line=215

import Base
import ezx@1.11.0.0/src/lock/run.bend as Run
import ezx@1.11.0.0/src/share/say.bend as Say
import ezx@1.11.0.0/src/share/spin.bend as Spin
import ezx@1.11.0.0/src/tool/plan.bend as TP

# the binary: its library filled, the file built, the record written; or the
# one there reused
def exec.make(making: TP.Make) -> IO(Unit):
  match making:
    case TP.Skip{}:
      IO.pure(Unit, Unit{})
    case TP.Reuse{name}:
      IO.print_err(Say.reused(name))
    case TP.Make{+top, +lib, fetch, file, out, at, key, +name}:
      do IO<Unit>:
        exec.lib(fetch, top, lib)
        +s : Say.Spin <- Spin.hold(Say.building(name))
        compile(lib, file, out)
        Spin.done(s)
        Run.write(at, key)

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.print_err
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=write
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/say.bend&name=Spin
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/say.bend&name=building
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/say.bend&name=reused
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/spin.bend&name=done
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/spin.bend&name=hold
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=Make
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/run.bend&name=compile
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/run.bend&name=exec.lib