haskell-hans: disable building example webserver which includes double main.
This commit is contained in:
parent
c4c2ee0d52
commit
482c29f8c6
@ -925,4 +925,6 @@ self: super: {
|
||||
elm-server = markBroken super.elm-server;
|
||||
elm-yesod = markBroken super.elm-yesod;
|
||||
|
||||
# https://github.com/GaloisInc/HaNS/pull/8
|
||||
hans = appendPatch super.hans ./patches/hans-disable-webserver.patch;
|
||||
}
|
||||
|
@ -0,0 +1,11 @@
|
||||
diff -Naur hans-2.5.0.0/hans.cabal hans-2.5.0.1/hans.cabal
|
||||
--- hans-2.5.0.0/hans.cabal 2015-08-06 14:48:45.453072822 +0300
|
||||
+++ hans-2.5.0.1/hans.cabal 2015-08-06 14:49:13.044391528 +0300
|
||||
@@ -30,6 +30,7 @@
|
||||
description: Build the example program
|
||||
|
||||
flag web-server
|
||||
+ default: False
|
||||
description: Build a simple web-server example
|
||||
|
||||
flag word32-in-random
|
Loading…
Reference in New Issue
Block a user