Download Plug-In development guide

CHAPTER 6. REFERENCE MANUAL
14.
Global plug-in variables declares some plug-in specic variables used throughout the
makele.
15.
Additional global variables declares some other variables used throughout the makele.
16.
Main targets provides the main rules of the makele.
The most important ones are
top, byte and opt which respectively build the Frama-C interactive, bytecode and native
toplevels.
17.
Coverage denes how compile the eponymous library.
18.
Ocamlgraph denes how compile the eponymous library.
19.
Frama-C Kernel
provides variables and rules for the Frama-C kernel.
Each part is
described in specic sub-sections.
20.
After Section Kernel, there are several sections corresponding to
plug-ins
(see
Section 6.3.3). This is the part that a plug-in developer has to modify in order to
add compilation directives for its plug-in.
21.
Generic variables provides variables containing les to be linked in dierent contexts.
22.
Toplevel provides rules for building the les of the form bin/toplevel.*.
23.
GUI provides rules for building the les of the form bin/viewer.*
24.
Standalone obfuscator provides rules for building the Frama-C obfuscator.
25.
Tests provides rules to execute tests (see Section 5.5).
26.
Emacs tags
provides rules which generate emacs tags (useful for a quick search of
OCaml denitions).
27.
Documentation
provides rules generating Frama-C source documentation (see Sec-
tion 5.18).
28.
Installation provides rules for installing dierent parts of
29.
File headers: license policy
Frama-C.
provides variables and rules to manage the Frama-C
license policy (see Section 5.19).
30.
Makele rebuilding
configure
provides rules in order to automatically rebuild
Makefile
when required.
31.
Cleaning provides rules in order to remove les generated by makele rules.
32.
Depend provides rules which compute Frama-C source dependencies.
33.
Ptests provides rules in order to build ptests (see Section 5.5).
34.
Source distribution provides rules usable for distributing Frama-C.
86
and