mirror of
https://github.com/typeable/wai.git
synced 2024-12-28 00:25:33 +03:00
example flag for wai-websockets
This commit is contained in:
parent
215a1bb538
commit
8694ae7180
@ -14,6 +14,8 @@ Description: This is primarily intended for use with Warp and its settin
|
||||
|
||||
extra-source-files: static/client.js, static/client.html, static/screen.css
|
||||
|
||||
flag example
|
||||
|
||||
Library
|
||||
Build-Depends: base >= 3 && < 5
|
||||
, bytestring >= 0.9.1.4 && < 0.10
|
||||
@ -28,6 +30,10 @@ Library
|
||||
ghc-options: -Wall
|
||||
|
||||
Executable wai-websockets-example
|
||||
if flag(example)
|
||||
buildable: True
|
||||
else
|
||||
buildable: False
|
||||
Build-Depends: base >=3 && < 5,
|
||||
wai-websockets,
|
||||
websockets,
|
||||
|
Loading…
Reference in New Issue
Block a user