Download Implementation

We make our implementation code available for download:

• global-flow.tar.gz (latest version).

Prerequisite

• We have only tested the code on Linux and Mac OS X. Solaris may work.
• GCC compiler for some code generating UUID, written in C.
• Objective CAML 3.05 or above.
• A reasonable LaTeX distribution for building documentation (optional).

Build Instruction

After extracting source code, typing “make” at the top level will build “gfc” under “src/” directory. Documentataion under “doc/tex/” is built separately by typing “make” there.