3.2 Configuring

automake tools are used to discover your configuration (Frama-C directory, C compiler, etc.) as follows:

• Generate configure script by executing in the distribution directory

  > autoconf

• Configure the Makefile with the local settings by executing in the same directory

  > ./configure

• Set the environment variable CINV to the distribution directory:

  > export CINV=`pwd`