cabal.project

source-repository-package
  type: git
  location: https://github.com/compiling-to-categories/concat.git
  tag: d95c79d23f2728f2ab50497760195fffaf4ba675
  subdir:
    classes
    examples
    -- dependency of concat-classes, concat-examples
    inline
    -- dependency of concat-classes, concat-examples
    known
    -- dependency of concat-classes
    satisfy

program-options
  ghc-options: -Werror

tests: True

packages:
  ./category/categorifier-category.cabal
  ./client/categorifier-client.cabal
  ./common/categorifier-common.cabal
  ./duoids/categorifier-duoids.cabal
  ./ghc/categorifier-ghc.cabal
  ./hedgehog/categorifier-hedgehog.cabal
  ./integrations/adjunctions/integration/categorifier-adjunctions-integration.cabal
  ./integrations/adjunctions/integration-test/categorifier-adjunctions-integration-test.cabal
  ./integrations/categories/integration/categorifier-categories-integration.cabal
  ./integrations/categories/integration-test/categorifier-categories-integration-test.cabal
  ./integrations/concat/examples/categorifier-concat-examples.cabal
  ./integrations/concat/integration/categorifier-concat-integration.cabal
  ./integrations/concat/integration-test/categorifier-concat-integration-test.cabal
  ./integrations/concat-extensions/category/categorifier-concat-extensions-category.cabal
  ./integrations/concat-extensions/integration/categorifier-concat-extensions-integration.cabal
  ./integrations/concat-extensions/integration-test/categorifier-concat-extensions-integration-test.cabal
  ./integrations/fin/integration/categorifier-fin-integration.cabal
  ./integrations/unconcat/category/categorifier-unconcat-category.cabal
  ./integrations/unconcat/integration/categorifier-unconcat-integration.cabal
  ./integrations/unconcat/integration-test/categorifier-unconcat-integration-test.cabal
  ./integrations/vec/integration/categorifier-vec-integration.cabal
  ./integrations/vec/integration-test/categorifier-vec-integration-test.cabal
  ./plugin/categorifier-plugin.cabal
  ./plugin-test/categorifier-plugin-test.cabal
  ./th/categorifier-th.cabal
if impl(ghc >= 9.0.0)
  packages:
    ./integrations/ghc-bignum/integration/categorifier-ghc-bignum-integration.cabal
    ./integrations/ghc-bignum/integration-test/categorifier-ghc-bignum-integration-test.cabal
    ./integrations/linear-base/integration/categorifier-linear-base-integration.cabal
    ./integrations/linear-base/integration-test/categorifier-linear-base-integration-test.cabal