.metabuild-root

globalConfig:
  buildRelDir: _build/metabuild
  binRelDir: _build/bin

haskellStackProjects: []
  # - haskellStackBin_RelFile: metabuild
  #   haskellStackSource_RelDir: Program/MetaBuilder
  #   haskellStackAutobuild: false
  #   installGlobal: true

agdaProjects:
  # - sourceRelDir: .
  #   sourceOverwrite_RelDir: UnsafeOverwrite
  #   mainRelFile: Verification/Application/Main.agda
  #   agdaBin_RelFile: hata
  #   haskellStackTemplateRelDir: Template/AgdaUI/Runtime
  #   agdaAutobuild: false
  #   libraryDefinitions_Filename: hata.agda-lib

  # - sourceRelDir: .
  #   sourceOverwrite_RelDir: UnsafeOverwrite
  #   mainRelFile: Verification/Application/CompGen/Languages/CubeLang/Definition.agda
  #   agdaBin_RelFile: cubec
  #   haskellStackTemplateRelDir: Template/CompGen/Haskell/GeneratorTemplate
  #   agdaAutobuild: false
  #   libraryDefinitions_Filename: hata.agda-lib

  - sourceRelDir: .
    sourceOverwrite_RelDir: UnsafeOverwrite
    mainRelFile: _generated/Agda/Edittime/Main.agda
    agdaBin_RelFile: hata-edittime
    haskellStackTemplateRelDir: Template/Edittime
    agdaAutobuild: false
    libraryDefinitions_Filename: Hata.agda-lib
    agdaDependencySibling_RelDirs:
      - ../../Common/HataSystemInterface
      - ../../Common/HataGeneratedModules