hans-2.4.0.0: hans.cabal
name: hans
version: 2.4.0.0
cabal-version: >= 1.8
license: BSD3
license-file: LICENSE
author: Galois Inc., Peng Li, Stephan Zdancewic
maintainer: halvm-devel@community.galois.com
category: Networking
synopsis: IPv4 Network Stack
build-type: Simple
description:
HaNS is a lightweight, pure Haskell network stack that can be used for Haskell
networking in the context of the HaLVM, or with a Linux tap device. Currently,
HaNS supports 802.3, IPv4, ARP, DHCP (partially), ICMP, UDP, and TCP.
source-repository head
type: git
location: git://github.com/GaloisInc/HaNS.git
flag bounded-channels
default: False
description: Use bounded channels for message passing
flag enable-tests
default: False
description: Enable building the test suite
flag example
default: False
description: Build the example program
flag web-server
description: Build a simple web-server example
flag word32-in-random
default: False
description: Word32 in Random
library
if(os(HaLVM))
build-depends: XenDevice >= 2.0.0 && < 3.0.0,
HALVMCore >= 2.0.0 && < 3.0.0
exposed-modules: Hans.Device.Xen,
Hans.Device.Ivc
else
build-depends: unix
include-dirs: cbits
c-sources: cbits/tapdevice.c
exposed-modules: Hans.Device.Tap
if flag(bounded-channels)
build-depends: BoundedChan
cpp-options: -DBOUNDED_CHANNELS
ghc-options: -Wall
hs-source-dirs: src
build-depends: base >= 4.0.0.0 && < 5,
cereal >= 0.3.5.2,
bytestring >= 0.9.1.0,
containers >= 0.3.0.0,
monadLib >= 3.6.0,
time >= 1.1.0.0,
fingertree >= 0.0.1.0
if flag(word32-in-random)
build-depends: random >= 1.0.1.0
cpp-options: -DWORD32_IN_RANDOM
else
build-depends: random >= 1.0.0.0
exposed-modules: Data.PrefixTree,
Hans.Address,
Hans.Address.IP4,
Hans.Address.Mac,
Hans.Channel,
Hans.DhcpClient,
Hans.Layer,
Hans.Layer.Arp,
Hans.Layer.Arp.Table,
Hans.Layer.Ethernet,
Hans.Layer.Dns,
Hans.Layer.IP4,
Hans.Layer.IP4.Fragmentation,
Hans.Layer.IP4.Routing,
Hans.Layer.Icmp4,
Hans.Layer.Tcp,
Hans.Layer.Tcp.Handlers,
Hans.Layer.Tcp.Messages,
Hans.Layer.Tcp.Monad,
Hans.Layer.Tcp.Socket,
Hans.Layer.Tcp.Timers,
Hans.Layer.Tcp.Types,
Hans.Layer.Tcp.WaitBuffer,
Hans.Layer.Tcp.Window,
Hans.Layer.Udp,
Hans.Message.Arp,
Hans.Message.Dhcp4,
Hans.Message.Dhcp4Codec,
Hans.Message.Dhcp4Options,
Hans.Message.Dns,
Hans.Message.EthernetFrame,
Hans.Message.Icmp4,
Hans.Message.Ip4,
Hans.Message.Tcp,
Hans.Message.Types,
Hans.Message.Udp,
Hans.NetworkStack,
Hans.Ports,
Hans.Simple,
Hans.Timers,
Hans.Utils,
Hans.Utils.Checksum
executable test
if flag(example)
buildable: True
else
buildable: False
if(flag(bounded-channels))
build-depends: BoundedChan
cpp-options: -DBOUNDED_CHANNELS
main-is: test.hs
other-modules: WebServer
ghc-options: -Wall
hs-source-dirs: example
build-depends: base >= 4.0.0.0 && < 5,
cereal >= 0.3.5.2,
bytestring >= 0.9.1.0,
containers >= 0.3.0.0,
monadLib >= 3.6.0,
time >= 1.1.0.0,
old-locale >= 1.0.0.0,
hans
if os(HaLVM)
build-depends: XenDevice >= 2.0.0 && < 3.0.0,
HALVMCore >= 2.0.0 && < 3.0.0
else
ghc-options: -threaded
executable web-server
main-is: Main.hs
hs-source-dirs: web-server
ghc-options: -Wall -threaded -rtsopts
if os(HaLVM)
buildable: False
else
if flag(web-server)
build-depends: base >= 4.0.0.0 && < 5,
cereal >= 0.3.5.2,
bytestring >= 0.9.1.0,
containers >= 0.3.0.0,
monadLib >= 3.6.0,
time >= 1.1.0.0,
old-locale >= 1.0.0.0,
HTTP >= 4000.2.17,
blaze-html >= 0.7.0.2,
blaze-markup,
hans
else
buildable: False
executable tcp-test
main-is: Main.hs
hs-source-dirs: tcp-test
ghc-options: -Wall -threaded
build-depends: base >= 4.0.0.0 && < 5,
cereal >= 0.3.5.2,
bytestring >= 0.9.1.0,
containers >= 0.3.0.0,
monadLib >= 3.6.0,
time >= 1.1.0.0,
old-locale >= 1.0.0.0,
hans
if os(HaLVM)
build-depends: XenDevice >= 2.0.0 && < 3.0.0,
HALVMCore >= 2.0.0 && < 3.0.0
executable test-suite
hs-source-dirs: tests
main-is: Main.hs
if flag(enable-tests)
buildable: True
other-modules: Icmp4,
Icmp4.Packet,
IP4,
IP4.Addr,
IP4.Packet,
Tcp,
Tcp.Packet,
Tcp.Window,
Udp,
Udp.Packet,
Utils
build-depends: base >= 4 && < 5,
containers >= 0.3,
bytestring >= 0.9.1,
old-locale >= 1,
test-framework-quickcheck2 >= 0.2.12.2,
test-framework >= 0.6,
QuickCheck >= 2.4.2,
random >= 1.0.1.1,
cereal >= 0.3.5.2,
hans
else
buildable: False