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