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 |