How to install VITC
===============================================================================

Preparation
===============================================================================

GNU make 3.80
=============
Makefile.common requires GNU make 3.80.

perl
====
/usr/local/bin/perl is required. If your perl is at /usr/bin,
make a symlink.

Install gcaml-3.10.1
====================
Obtain the source from the following URL:
http://web.yl.is.s.u-tokyo.ac.jp/~furuse/gcaml/

    $ cd gcaml-3.10.1
    $ patch -p1 < ../gcaml-3.10.1-fix.diff
    $ ./configure
    $ make world opt
    $ make install

Install findlib-1.1.2pl1-gcaml
==============================
http://projects.camlcity.org/projects/findlib.html/

Fail-Safe C uses findlib:

    $ cd findlib-1.1.2pl1
    $ patch -p1 < ../findlib-1.1.2pl1-gcaml.diff
    $ ./configure
    $ make all opt
    $ make install

Install OCamlGraph 0.98
=======================
http://ocamlgraph.lri.fr/

    $ cd ocamlgraph-0.98
    $ ./configure OCAMLC=gcamlc OCAMLOPT=gcamlopt OCAMLDEP=gcamldep OCAMLYACC=gcamlyacc OCAMLLIB=(for example, /usr/local/lib/gcaml) OCAMLFIND=gcamlfind OCAMLDOC=gcamldoc OCAMLLEX=gcamllex

Here, you may need to fix Makefile manually if you have the *.opt executables,
because the configure script will ignore the gcaml programs.
    
    $ make
    $ make install

Install extlib-1.5
==================
http://sourceforge.net/projects/ocaml-lib/

Fail-Safe C uses extlib:

    $ cd extlib-1.5
    $ patch -p1 < ../extlib-1.5-gcaml.diff
    $ make all opt
    $ make install

Install libgc-dev, libgc1c2 (or simply libgc)
=============================================

    For debian users:
    $ apt-get install libgc-dev libgc1c2

    For the others:
    I do not know. Search Bohem GC and install appropriate library.

Install SLaM
============

VITC uses SLaM:

    $ cd SLaM4
    $ make clean
    $ make

Source files of Fail-Safe C 
===========================
https://staff.aist.go.jp/y.oiwa/FailSafeC/

Patch Fail-Safe C with VITC.

    $ cd FailSafeC-$(VERSION)
    $ patch -p1 < $(PATH_TO_VITC_DIFF)

VITC compilation
===============================================================================

    $ cd FailSafeC-$(VERSION)

    # make a link to SLaM library
    $ cd runtime
    $ ln -s ../../SLaM4 slam
    $ cd ..

    $ make
    # and wait...

Use
===============================================================================

    # some examples...
    $ cd mytest
    $ ../driver/fscc -c 0001_id.c

    # to see intermidiate results:
    $ ../driver/fscc --safec-only 0001_id.c
    # this will create 0001_id.safe.c and 0001_id.vitc.c

gcamlmktop bug (it calls ocamlmktop)