-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathpaxos.cabal
59 lines (54 loc) · 2.09 KB
/
paxos.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
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: [email protected]
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
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
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