on master help sign in
example flag for wai-websockets
commit8694ae7180460dbe3dfdad7096e8309d9e1d35c0 authorMichael Snoyman <michael@snoyman.com> dateSun 25 Dec 2011, 19:27 (15 years ago) parent215a1bb
1 file changed+6
wai-websockets/wai-websockets.cabal+6
wai-websockets/wai-websockets.cabal+6
@@ -14,6 +14,8 @@ Description: This is primarily intended for use with Warp and its settin
1414
1515extra-source-files: static/client.js, static/client.html, static/screen.css
1616
17+flag example
18+
1719Library
1820 Build-Depends: base >= 3 && < 5
1921 , bytestring >= 0.9.1.4 && < 0.10
@@ -28,6 +30,10 @@ Library
2830 ghc-options: -Wall
2931
3032Executable wai-websockets-example
33+ if flag(example)
34+ buildable: True
35+ else
36+ buildable: False
3137 Build-Depends: base >=3 && < 5,
3238 wai-websockets,
3339 websockets,