coracle/_oasis at master · nickbetteridge/coracle · GitHub

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
OASISFormat: 0.4
Name:        coracle
Version:     0.1
Synopsis:    Simulation of consensus algorithms in heterogeneous networks
Authors:     Heidi Howard
License:     MIT
Plugins:     META (0.4)
BuildTools:  ocamlbuild

Library lib
  Path: lib
  Findlibname: lib
  Pack: true
  Modules:
    Common, Docs, Io, Numbergen, Protocol, Json_basic
  BuildDepends: sexplib, sexplib.syntax, cmdliner, yojson

Library raft
  Path: raft
  Findlibname: raft
  Pack: false
  Modules:
    Util, Election, Replication, Global, State, Json_parser, Rpcs, Client_proxy, Raft
  BuildDepends: lib, sexplib, sexplib.syntax, yojson

Library dummy
  Path: dummy
  Findlibname: dummy
  Pack: false
  Modules:
    Dummy
  BuildDepends: lib

Library simulator
  Path:       sim
  Findlibname: simulator
  Modules:
    Events, Metadata, Path, Network, Parameters, Json_handler, App, States, Simulator
  BuildDepends: lwt, lwt.unix, lib, yojson

Library unix
  Path:       unix
  Findlibname: unix
  Modules:
    Id, Io_handlers
  BuildDepends: lwt, lwt.syntax, lwt.unix, cstruct.lwt, ipaddr, bytes, lib
  XMetaRequires: lwt.unix, cstruct.lwt

Executable coracle_sim
  Path:       sim
  BuildTools: ocamlbuild
  MainIs:     coracle_sim.ml
  BuildDepends: lwt, lwt.unix, lib, raft, dummy, simulator, cmdliner

Executable coracle_unix
  Path:       unix
  BuildTools: ocamlbuild
  MainIs:     coracle_unix.ml
  BuildDepends: unix, raft, cmdliner