hie.yaml

cradle:
  cabal:
    - path: "symbolic-apps/src"
      component: "lib:symbolic-apps"

    - path: "symbolic-apps/test"
      component: "symbolic-apps:test:symbolic-apps-test"

    - path: "symbolic-base/src"
      component: "lib:symbolic-base"

    - path: "symbolic-base/test"
      component: "symbolic-base:test:symbolic-base-test"

    - path: "symbolic-base/bench/BenchPolyMul.hs"
      component: "symbolic-base:bench:bench-poly-mul"

    - path: "symbolic-base/bench/BenchEC.hs"
      component: "symbolic-base:bench:bench-in-circuit-ec"

    - path: "symbolic-cardano/src"
      component: "lib:symbolic-cardano"

    - path: "symbolic-examples/src"
      component: "lib:symbolic-examples"

    - path: "symbolic-examples/bench/BenchCompiler.hs"
      component: "symbolic-examples:bench:bench-compiler"

    - path: "zkfold-ledger/src"
      component: "lib:zkfold-ledger"

    - path: "zkfold-uplc/src"
      component: "lib:zkfold-uplc"

    - path: "zkfold-uplc/test"
      component: "zkfold-uplc:test:zkfold-uplc-test"