diff options
-rw-r--r-- | verifuzz.cabal | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 04d90d3..6d01049 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -13,6 +13,8 @@ category: Web build-type: Simple cabal-version: >=1.10 extra-source-files: README.md + , data/*.v + , examples/*.v library hs-source-dirs: src |