2 Installation

The recommended way to install goblint-cil is via the goblint-cil OPAM package

Alternately, you can download an up to the minute version of CIL from our git repository at:

   git clone https://github.com/goblint/cil.git

First create a local opam switch and install all dependencies:

   opam switch create . Then, run the following commands to build and install goblint-cil:

   ./configure
   make
   make test # runs the regression test suite, optional
   make install # as root or using sudo
If you want to install to some other directory, you can tweak the prefix during the configure step. For instance, to install in your local directory:

./configure --prefix=‘opam config var prefix‘

The configure script tries to find appropriate defaults for your system. You can control its actions by passing the following arguments:

• CC=foo Specifies the path for the gcc executable. By default whichever version is in the PATH is used.

CIL requires an underlying C compiler and preprocessor. CIL depends on the underlying compiler and machine for the sizes and alignment of types. The installation procedure for CIL queries the underlying compiler for architecture and compiler dependent configuration parameters, such as the size of a pointer or the particular alignment rules for structure fields. (This means, of course, that you should re-run ./configure when you move CIL to another machine.)