=> Bootstrap dependency digest>=20010302: found digest-20080510 ===> Skipping vulnerability checks. WARNING: No /var/db/pkg/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'. => Checksum SHA1 OK for coccinelle-0.1.8.tgz => Checksum RMD160 OK for coccinelle-0.1.8.tgz ===> Installing dependencies for coccinelle-0.1.8 ========================================================================== The following variables will affect the build process of this package, coccinelle-0.1.8. Their current value is shown below: * BDB185_DEFAULT = db1 * BDB_DEFAULT = db4 * PYTHON_VERSION_DEFAULT = 25 Based on these variables, the following variables have been set: * BDBBASE = /usr * BDB_LIBS (defined, but empty) * BDB_TYPE = db1 * PYPACKAGE = python25 You may want to abort the process now with CTRL-C and change their value before continuing. Be sure to run `/usr/bin/make clean' after the changes. ========================================================================== => Build dependency ocaml-findlib-[0-9]*: found ocaml-findlib-1.1.2pl1nb2 => Build dependency gmake>=3.81: found gmake-3.81 => Build dependency perl>=5.0: found perl-5.10.0nb6 => Build dependency ocaml>=3.09.1nb2: found ocaml-3.10.2 => Full dependency menhir-[0-9]*: found menhir-20080912nb1 => Full dependency python25>=2.5.2: found python25-2.5.4nb1 ===> Overriding tools for coccinelle-0.1.8 ===> Extracting for coccinelle-0.1.8 ===> Patching for coccinelle-0.1.8 => Applying pkgsrc patches for coccinelle-0.1.8 ===> Creating toolchain wrappers for coccinelle-0.1.8 ===> Configuring for coccinelle-0.1.8 => Replacing Perl interpreter in configure. Checking your configuration. OCaml (the wonderful language) is present. ocamlc.opt is present. ocamlopt.opt is present. ocamldep.opt is present. ocamllex.opt is present. make (gnu version) is present. ---------------------------------------------------------------------- All seems fine for coccinelle. To compile coccinelle type: $ make depend $ make all Or alternatively, for the optimized version: $ make all.opt If you want both, you could use: $ make world To install type: $ make install Then, to test coccinelle simply type: $ spatch -sp_file demos/simple.cocci demos/simple.c To use the python SmPL feature you may have to set some environment variables. For bash do: export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/pkg/lib export PYTHONPATH=$PYTHONPATH:/usr/pkg/share/coccinelle/python ---------------------------------------------------------------------- coccinelle target prefix: /usr/pkg (you can use --prefix to override it) Generating Makefile.config Modifying globals/config.ml Generating appropriate links in python/ (python=1) => Fixing python executable name. => Fixing path to examples in man page.