diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2024-07-30 19:22:27 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-07-30 20:29:30 +0200 |
commit | 6e132d47c9664cff97b8dcc0038cf803f70f403a (patch) | |
tree | 689cc1a5f85c9dbccf193619cee6ca5cacdcd7bd | |
parent | 755077c39a0dc63f07e30564df4a3121d7079da2 (diff) |
Add autogen-modules to cabal file
-rw-r--r-- | minici.cabal | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/minici.cabal b/minici.cabal index 42ccb13..29f9361 100644 --- a/minici.cabal +++ b/minici.cabal @@ -42,7 +42,6 @@ executable minici -- sometimes needed for backward/forward compatibility: -Wno-error=unused-imports - -- Modules included in this executable, other than Main. other-modules: Command Command.Run @@ -51,6 +50,8 @@ executable minici Paths_minici Version Version.Git + autogen-modules: + Paths_minici default-extensions: DefaultSignatures |