=> Bootstrap dependency digest>=20010302: found digest-20111104
===> Installing for frama-c-20111001nb10
=> Generating pre-install file lists
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
=> Generating post-install file lists
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'
=> Checking file-check results for frama-c-20111001nb10
ERROR: ************************************************************
ERROR: The following files are in the PLIST but not in /usr/pkg:
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/bin/frama-c-gui
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/bin/frama-c-gui.byte
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/analyses_manager.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/analyses_manager.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/analyses_manager.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/analyses_manager.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/book_manager.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/book_manager.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/book_manager.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/book_manager.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/debug_manager.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/debug_manager.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/debug_manager.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/debug_manager.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/design.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/design.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/design.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/design.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/dgraph.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/file_manager.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/file_manager.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/file_manager.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/file_manager.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/filetree.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/filetree.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/filetree.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/filetree.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_form.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_form.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_form.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_form.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_helper.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_helper.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_helper.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gtk_helper.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gui_init.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gui_parameters.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gui_parameters.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gui_parameters.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/gui_parameters.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/help_manager.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/help_manager.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/help_manager.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/help_manager.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/history.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/history.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/history.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/history.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/launcher.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/launcher.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/launcher.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/launcher.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/menu_manager.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/menu_manager.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/menu_manager.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/menu_manager.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/gui/Security_slicing.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/gui/Security_slicing.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/gui/Security_slicing.cmxs
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/gui/Wp.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/gui/Wp.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/gui/Wp.cmxs
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/pretty_source.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/pretty_source.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/pretty_source.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/pretty_source.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/project_manager.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/project_manager.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/project_manager.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/project_manager.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/property_navigator.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/property_navigator.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/property_navigator.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/property_navigator.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_manager.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_manager.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_manager.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_manager.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_viewer.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_viewer.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_viewer.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/source_viewer.o
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/warning_manager.cmi
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/warning_manager.cmo
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/warning_manager.cmx
ERROR:         /scratch/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/warning_manager.o
*** Error code 1

Stop.
make: stopped in /usr/pkgsrc/devel/frama-c
*** Error code 1

Stop.
make: stopped in /usr/pkgsrc/devel/frama-c