mirror of
https://github.com/CrystalSplitter/ghcitui.git
synced 2024-09-11 10:55:29 +03:00
Mark Paths_ghcitui as autogen
This commit is contained in:
parent
09401ec6a1
commit
d09a6d125b
@ -64,6 +64,7 @@ executable ghcitui
|
|||||||
, HelpText
|
, HelpText
|
||||||
-- Cabal autogen module for package version info.
|
-- Cabal autogen module for package version info.
|
||||||
, Paths_ghcitui
|
, Paths_ghcitui
|
||||||
|
autogen-modules: Paths_ghcitui
|
||||||
ghc-options: -rtsopts
|
ghc-options: -rtsopts
|
||||||
-threaded
|
-threaded
|
||||||
-Wall
|
-Wall
|
||||||
|
Loading…
Reference in New Issue
Block a user