cogent/cabal.project

packages: *.cabal
          ../isa-parser/*.cabal
constraints: language-c-quote -full-haskell-antiquotes
flags: -builtin-arrays -refinement-types -docgent -haskell-backend -llvm_backend