From 84c53fb74f2325ed0a2f1d08e225924f494024a0 Mon Sep 17 00:00:00 2001
From: Greg Weber <greg@gregweber.info>
Date: Fri, 22 Nov 2013 16:14:42 -0800
Subject: [PATCH] add embed-refresh flag

---
 yesod-bin/yesod-bin.cabal | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/yesod-bin/yesod-bin.cabal b/yesod-bin/yesod-bin.cabal
index e1017c46..d4a7a5b5 100644
--- a/yesod-bin/yesod-bin.cabal
+++ b/yesod-bin/yesod-bin.cabal
@@ -22,6 +22,10 @@ extra-source-files:
   hsfiles/simple.hsfiles
   hsfiles/sqlite.hsfiles
 
+Flag embed-refresh
+   Description: embed the refreshing.html file in the executable
+   Default: False
+
 executable             yesod-ghc-wrapper
     main-is: ghcwrapper.hs
     build-depends:
@@ -44,6 +48,8 @@ executable             yesod-ar-wrapper
 executable             yesod
     if os(windows)
         cpp-options:     -DWINDOWS
+   if flag(embed-refresh)
+     cpp-options: -DEMBED_REFRESH
     build-depends:     base               >= 4.3          && < 5
                      , ghc                >= 7.0.3        && < 7.8
                      , ghc-paths          >= 0.1