Run.exec.lib: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/run.bend as Run
Lines 189-199 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=189&end_line=199

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/fetch/run.bend as FetchRun

# the library a build reads: an ez project's lock fetched into it as `ez
# fetch` fetches one, with every relative path in it read from the
# checkout; a plain repository's made, for bend to fetch its hub imports into
def exec.lib(fetch: Bool, +top: String, +lib: String) -> IO(Unit):
  match fetch:
    case True{}:
      FetchRun.fill(top, lib)
    case False{}:
      do IO<Unit>:
        _mk : String <- R.exec(["mkdir", "-p", lib])
        return Unit{}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/fetch/run.bend&name=fill
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=exec