paxos.cabal

Name:                paxos
Version:             0.1.0.0
Synopsis:            Implementations of Paxos-related consensus algorithms
-- Description:         
Homepage:            http://github.com/NicolasT/paxos
License:             LGPL-2.1
License-File:        LICENSE
Author:              Nicolas Trangez
Maintainer:          ikke@nicolast.be
Copyright:           Copyright (c) 2012, Nicolas Trangez
Category:            Network
Build-Type:          Simple
Cabal-Version:       >=1.8

Extra-Source-Files:  README.rst

Source-Repository head
  Type:              git
  Location:          git://github.com/NicolasT/paxos.git

Library
  Exposed-Modules:     Network.Paxos.Synod
                       Network.Paxos.Synod.Proposer
                       Network.Paxos.Synod.Acceptor
                       Network.Paxos.Synod.Learner
                       Network.Paxos.Multi
                       Network.Paxos.Multi.SafeCore.Acceptor
                       Network.Paxos.Multi.SafeCore.Learner
                       Network.Paxos.Multi.Majority
                       Network.Paxos.Multi.SafeCore.Proposer
                       Network.Paxos.Multi.Types
                       Network.Paxos.Multi.Emitter
  Other-Modules:       Data.Serialize.QuickCheck,
                       Network.Paxos.Synod.Action,
                       Network.Paxos.Synod.Types,
                       Network.Paxos.Synod.Messages
  Build-Depends:       base >= 4 && < 5,
                       containers,
                       cereal,
                       QuickCheck >= 2,
                       test-framework,
                       test-framework-quickcheck2,
                       mtl,
                       range-map,
                       transformers,
                       void,
                       dlist,
                       time
  Hs-Source-Dirs:      src
  Ghc-Options:         -Wall -fwarn-incomplete-patterns
  Ghc-Prof-Options:    -caf-all -auto-all

Executable synod
  Main-Is:             synod.hs
  Other-Modules:       Control.Concurrent.UnreliableChan
  Build-Depends:       base >= 4 && < 5,
                       stm >= 2.4,
                       random,
                       hslogger,
                       paxos
  Hs-Source-Dirs:      bin
  Ghc-Options:         -Wall -fwarn-incomplete-patterns -rtsopts -threaded -with-rtsopts=-N
  Ghc-Prof-Options:    -caf-all -auto-all

Test-Suite tests
  Type:                exitcode-stdio-1.0
  Main-Is:             tests.hs
  Build-Depends:       base >= 4 && < 5,
                       test-framework,
                       paxos
  Hs-Source-Dirs:      bin
  Ghc-Options:         -Wall -fwarn-incomplete-patterns -rtsopts -threaded