hie.yaml

cradle:
  stack:
    - path: ./test
      component: "juvix:test:juvix-test"
    - path: ./lib
      component: "juvix:lib"
    - path: ./src
      component: "juvix:src"
    - path: ./app
      component: "juvix:exe:juvix"
    - path: ./bench
      component: "juvix:bench:juvix-bench"

    - path: ./library/Core/src
      component: "core"
    - path: ./library/Core/test
      component: "core:test:core-test"

    - path: ./library/Backends/Michelson/src
      component: "michelson"
    - path: ./library/Backends/Michelson/test
      component: "michelson:test:michelson-test"

    - path: ./library/Backends/llvm/src
      component: "llvm"
    - path: ./library/Backends/llvm/test
      component: "llvm:test:llvm-test"

    - path: ./library/Backends/Plonk/src
      component: "plonk"
    - path: ./library/Backends/Plonk/test
      component: "plonk:test:plonk-test"

    - path: ./library/Context/src
      component: "context"
    - path: ./library/Context/test
      component: "context:test:context-test"

    - path: ./library/Sexp/src
      component: "sexp"
    - path: ./library/Sexp/test
      component: "sexp:test:sexp-test"

    - path: ./library/Translate/src
      component: "translate"
    - path: ./library/Translate/test
      component: "translate:test:translate-test"

    - path: ./library/Parsing/src
      component: "parsing"
    - path: ./library/Parsing/test
      component: "parsing:test:parsing-test"

    - path: ./library/StandardLibrary/src
      component: "standard-library"
    - path: ./library/StandardLibrary/test
      component: "standard-library:test:standard-library-test"

    - path: ./library/Pipeline/src
      component: "pipeline"
    - path: ./library/Pipeline/test
      component: "pipeline:test:pipeline-test"

    - path: ./library/BerlinPipeline/src
      component: "berlin-pipeline"
    - path: ./library/BerlinPipeline/test
      component: "berlin-pipeline:test:berlin-pipeline-test"

    - path: ./library/Playground/Easy/src
      component: "easy"
    - path: ./library/Pipeline/easy/src/test
      component: "easy:test:easy-test"

    - path: ./library/Playground/HTTP/src
      component: "http"
    - path: ./library/Playground/HTTP/test
      component: "http:test:http-test"

    - path: ./library/Witch/src
      component: "witch"
    - path: ./library/Witch/test
      component: "witch:test:witch-test"

    - path: ./library/Test/DataStructures/src
      component: "data-structures"
    - path: ./library/Test/DataStructures/test
      component: "data-structures:test:data-structures-test"