fabio@fabio-Latitude-E6410:~/coccinelle$ ./configure
configure: configuring coccinelle 1.0.0 in /home/fabio/coccinelle
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
/home/fabio/coccinelle/setup/missing: Unknown '--is-lightweight' option
Try '/home/fabio/coccinelle/setup/missing --help' for more information
configure: WARNING: 'missing' script is too old or missing
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... no
checking for mawk... mawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
configure: determining version suffix
configure: building a version from a git repository
checking for git... /usr/bin/git
configure: version suffix set to Mon, 20 Apr 2015 13:19:12 +0200
configure: this configure program uses pkg-config m4 macros
configure: this configure program uses ocaml m4 macros (see setup/ocaml.m4)
configure: this configure program uses custom m4 macros (see setup/cocci.m4)
configure: some fake substitutions for required but unavailable programs may be used (see setup/fake*)
configure: verifying basic tools
checking for style of include used by make... GNU
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking whether gcc understands -c and -o together... yes
checking dependency style of gcc... none
checking how to run the C preprocessor... gcc -E
checking for bash... /bin/bash
checking for tar... /bin/tar
checking for patch... /usr/bin/patch
checking for echo... /bin/echo
checking for patchelf... no
checking for pkg-config... /usr/bin/pkg-config
checking pkg-config is at least version 0.9.0... yes
checking for ocamlc... /usr/bin/ocamlc
OCaml version is 4.01.0
OCaml library path is /usr/lib/ocaml
checking for ocamlopt... /usr/bin/ocamlopt
checking for ocamlc.opt... /usr/bin/ocamlc.opt
checking for ocamlopt.opt... /usr/bin/ocamlopt.opt
checking for ocaml... /usr/bin/ocaml
checking for ocamldep... /usr/bin/ocamldep
checking for ocamlmktop... /usr/bin/ocamlmktop
checking for ocamlmklib... /usr/bin/ocamlmklib
checking for ocamldoc... /usr/bin/ocamldoc
checking for ocamlbuild... /usr/bin/ocamlbuild
checking that the OCaml version is at least 3.10... yes
checking that the OCaml version is at least 3.11... yes
checking that the OCaml version is at least 4.02... no
checking for camlp4... /usr/bin/camlp4
checking for camlp4boot... no
checking for camlp4o... /usr/bin/camlp4o
checking for camlp4of... no
checking for camlp4oof... no
checking for camlp4orf... no
checking for camlp4prof... no
checking for camlp4r... /usr/bin/camlp4r
checking for camlp4rf... no
checking for ocamllex... /usr/bin/ocamllex
checking for ocamllex.opt... /usr/bin/ocamllex.opt
checking for ocamlyacc... /usr/bin/ocamlyacc
checking for ocamlfind... /usr/bin/ocamlfind
checking for ocamlprof... /usr/bin/ocamlprof
configure: verifying basic ocaml modules
configure: coccinelle may use external ocaml libraries in /home/fabio/coccinelle/bundles
configure: the following OCaml packages should be provided by your ocaml installation
checking for OCaml findlib package unix... found
checking for OCaml findlib package bigarray... found
checking for OCaml findlib package num... found
checking for OCaml findlib package str... found
configure: configuring package dynlink
checking for OCaml findlib package dynlink... found
configure: configuring package camlp4
checking for OCaml findlib package camlp4... found
configure: configuring package menhirLib
checking for OCaml findlib package menhirLib... not found
configure: OCaml package menhirLib is not available
checking for a bundled substitute of menhirLib... yes
configure: using bundled substitute for menhirLib in /home/fabio/coccinelle/bundles/menhirLib/
configure: configuring package parmap
checking for OCaml findlib package parmap... not found
configure: OCaml package parmap is not available
checking for a bundled substitute of parmap... yes
configure: using bundled substitute for parmap in /home/fabio/coccinelle/bundles/parmap/
configure: verifying optional features
checking for menhir... /usr/bin/menhir
checking for python... /usr/bin/python
checking python version... 2.7 found
configure: python major version: 2
configure: looking for the corresponding python library
checking for PYTHON... no
configure: trying the default python library as fallback
checking for PYTHON... no
checking for PCRE... yes
configure: configuring package pcre
checking for OCaml findlib package pcre... found
configure: support for pcre syntax is enabled
checking for pdflatex... no
configure: pdflatex not found. Trying substitute /home/fabio/coccinelle/setup/fake-pdflatex.sh pdflatex.
checking for pdflatex... /home/fabio/coccinelle/setup/fake-pdflatex.sh pdflatex
configure: choosing the development Makefile configuration because the release configuration is not explicitly requested.
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile.config
config.status: creating version.ml
config.status: creating commons/commands.ml
config.status: creating globals/config.ml
config.status: creating globals/regexp.ml
config.status: creating python/pycocci.ml
config.status: creating ocaml/prepare_ocamlcocci.ml
config.status: creating scripts/spatch.sh
config.status: creating docs/spatch.1
config.status: creating myocamlbuild.ml
config.status: creating setup/Makefile
config.status: executing depfiles commands
configure: configuration completed
------------------------------------------------------------------------------
Summary

configure flags:
findlib:          /usr/bin/ocamlfind	(an actual version is strongly recommended)
menhir:           /usr/bin/menhir	(should be an optional tool)
menhirLib module: local	(for local package use --disable-menhirLib)

ocaml scripting:  yes	(overridable with --enable-ocaml)
python scripting: no	(overridable with --enable-python)
pycaml module:    	(for local package use --disable-pycaml)

pcre regexes:     yes	(overridable with --enable-pcre-syntax)
pcre module:      yes	(for local package use --disable-pcre)
pcre library:     yes	(requires the dev version of libpcre)

release config:   no	(strongly recommended to be 'yes', overridable with --enable-release)
optimized spatch: no	(overridable with --disable-opt)

------------------------------------------------------------------------------
Coccinelle can now be compiled and installed.


If you compile coccinelle again after source code changes or
configuration changes, you may need to run first:
  $ make clean

To compile coccinelle, run:
  $ make all

To install coccinelle, run:
  $ make install

Then, to test coccinelle, run for example:
  $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c

Or when coccinelle is not installed yet:
  $ COCCINELLE_HOME=/home/fabio/coccinelle ./scripts/spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c
-------------------------------------------