=> Bootstrap dependency digest>=20010302: found digest-20111104
===> 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'.
===> Installing for frama-c-20111001nb10
Generating   destination directories
Copying to   shared files
Copying to   C standard library
Copying to   binaries
Copying to   config files
Copying to   manuals
Copying to   API documentation
Copying to   dynamic plug-ins
Copying to   dynamic gui plug-ins
gmake[1]: Entering directory `/scratch/devel/frama-c/work/frama-c-Nitrogen-20111001'
Copying to   bytecode kernel API
gmake[1]: Leaving directory `/scratch/devel/frama-c/work/frama-c-Nitrogen-20111001'
gmake[1]: Entering directory `/scratch/devel/frama-c/work/frama-c-Nitrogen-20111001'
Copying to   bytecode gui API
gmake[1]: Leaving directory `/scratch/devel/frama-c/work/frama-c-Nitrogen-20111001'
gmake[1]: Entering directory `/scratch/devel/frama-c/work/frama-c-Nitrogen-20111001'
Copying to   native kernel API
Copying to   native gui API
gmake[1]: Leaving directory `/scratch/devel/frama-c/work/frama-c-Nitrogen-20111001'
Copying to   man pages
=> Automatic manual page handling
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/bin/frama-c-gui'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/bin/frama-c-gui.byte'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/analyses_manager.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/analyses_manager.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/analyses_manager.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/analyses_manager.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/book_manager.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/book_manager.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/book_manager.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/book_manager.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/debug_manager.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/debug_manager.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/debug_manager.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/debug_manager.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/design.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/design.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/design.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/design.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/dgraph.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/file_manager.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/file_manager.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/file_manager.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/file_manager.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/filetree.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/filetree.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/filetree.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/filetree.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_form.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_form.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_form.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_form.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_helper.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_helper.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_helper.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_helper.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gui_init.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gui_parameters.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gui_parameters.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gui_parameters.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gui_parameters.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/help_manager.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/help_manager.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/help_manager.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/help_manager.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/history.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/history.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/history.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/history.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/launcher.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/launcher.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/launcher.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/launcher.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/menu_manager.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/menu_manager.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/menu_manager.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/menu_manager.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/gui/Security_slicing.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/gui/Security_slicing.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/gui/Security_slicing.cmxs'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/gui/Wp.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/gui/Wp.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/gui/Wp.cmxs'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/pretty_source.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/pretty_source.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/pretty_source.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/pretty_source.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/project_manager.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/project_manager.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/project_manager.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/project_manager.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/property_navigator.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/property_navigator.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/property_navigator.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/property_navigator.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_manager.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_manager.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_manager.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_manager.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_viewer.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_viewer.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_viewer.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_viewer.o'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/warning_manager.cmi'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/warning_manager.cmo'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/warning_manager.cmx'
pkg_create: can't stat `/scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/warning_manager.o'