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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
Installation instructions for atdgen
====================================
Godi makes the installation process straightforward. Simply install the
godi-atdgen package using `godi_console'. Dependencies will be selected
and installed automatically.
Requirements
------------
- Objective Caml (>= 3.11 is fine, earlier versions are probably fine too)
- GNU make
- Findlib (`ocamlfind' command):
http://www.camlcity.org/archive/programming/findlib.html
- menhir (installation of atd):
http://pauillac.inria.fr/~fpottier/menhir/
- easy-format (required for biniou, yojson and atd):
http://martin.jambon.free.fr/easy-format.html
- cppo (installation of yojson only):
http://martin.jambon.free.fr/cppo.html
- biniou (>= 1.0.0):
http://martin.jambon.free.fr/biniou.html
- yojson (>= 1.0.0):
http://martin.jambon.free.fr/yojson.html
- atd (>= 1.0.0):
http://oss.wink.com/atd/
Manual installation
-------------------
make # or `make all' for the bytecode-only version
make install # or `make BINDIR=/foo/bin install' for installing executables
# in a place other than the guessed default.
Manual uninstallation
---------------------
make uninstall
Getting started
---------------
First take a look at the example in the `example' subdirectory.
Commands installed by the different packages:
- atdgen: produces OCaml code from ATD type definitions
- atdcat: pretty-prints ATD type definitions
- bdump: displays biniou data in human-readable form
- ydump: pretty-prints JSON data
Sources of documentation:
- command-line interface help: `atdgen -help'
- type definition syntax: atd manual
- options available for each language (ocaml, biniou, json, doc): atdgen manual
- generic biniou tree: biniou documentation, module Bi_io
- generic JSON tree: yojson documentation, module Yojson.Safe
- biniou input buffers: biniou documentation, module Bi_inbuf
- output buffers: biniou documentation, module Bi_outbuf
Contact
-------
Bugs and feedback should be sent to Martin Jambon <martinj@mylife.com>
or <martin@mjambon.com>.
|
