add embed-refresh flag
This commit is contained in:
parent
7915510322
commit
84c53fb74f
@ -22,6 +22,10 @@ extra-source-files:
|
|||||||
hsfiles/simple.hsfiles
|
hsfiles/simple.hsfiles
|
||||||
hsfiles/sqlite.hsfiles
|
hsfiles/sqlite.hsfiles
|
||||||
|
|
||||||
|
Flag embed-refresh
|
||||||
|
Description: embed the refreshing.html file in the executable
|
||||||
|
Default: False
|
||||||
|
|
||||||
executable yesod-ghc-wrapper
|
executable yesod-ghc-wrapper
|
||||||
main-is: ghcwrapper.hs
|
main-is: ghcwrapper.hs
|
||||||
build-depends:
|
build-depends:
|
||||||
@ -44,6 +48,8 @@ executable yesod-ar-wrapper
|
|||||||
executable yesod
|
executable yesod
|
||||||
if os(windows)
|
if os(windows)
|
||||||
cpp-options: -DWINDOWS
|
cpp-options: -DWINDOWS
|
||||||
|
if flag(embed-refresh)
|
||||||
|
cpp-options: -DEMBED_REFRESH
|
||||||
build-depends: base >= 4.3 && < 5
|
build-depends: base >= 4.3 && < 5
|
||||||
, ghc >= 7.0.3 && < 7.8
|
, ghc >= 7.0.3 && < 7.8
|
||||||
, ghc-paths >= 0.1
|
, ghc-paths >= 0.1
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user