=> Bootstrap dependency digest>=20211023: found digest-20220214
===> Skipping vulnerability checks.
WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'.
===> Installing for frama-c-25.0nb6
=> Generating pre-install file lists
=> Creating installation directories
Cleaning     Installation directory
Installing   WP shared files
Installing   kernel API
Generating   destination directories
Installing   shared files
Installing   C standard library
Installing   binaries
Installing   config files
Installing   API documentation
Installing   plug-ins
Installing   gui plug-ins
Installing   man pages
=> Automatic manual page handling
=> Generating post-install file lists
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/bin/e-acsl-gcc.sh'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/e-acsl/libeacsl-dlmalloc.a'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/E_ACSL.cmi'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/META.frama-c-e_acsl'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/top/E_ACSL.cmo'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/top/E_ACSL.cmx'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/top/E_ACSL.cmxs'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/man/man1/e-acsl-gcc.sh.1'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/bash-completion/completions/e-acsl-gcc.sh'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/contrib/libdlmalloc/dlmalloc.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/e_acsl.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/e_acsl_rtl.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_assert.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_assert.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_assert_data.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_assert_data_api.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_assert_data_api.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_contract.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_contract.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_temporal.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_temporal.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_alias.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_bits.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_bits.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_concurrency.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_config.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_debug.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_debug.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_malloc.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_malloc.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_private_assert.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_private_assert.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_rtl_error.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_rtl_error.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_rtl_io.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_rtl_io.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_rtl_string.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_rtl_string.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_shexec.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_shexec.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_trace.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_trace.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/libc_replacements/e_acsl_stdio.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/libc_replacements/e_acsl_stdio.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/libc_replacements/e_acsl_string.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/libc_replacements/e_acsl_string.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/numerical_model/e_acsl_floating_point.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/numerical_model/e_acsl_floating_point.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/numerical_model/e_acsl_gmp_api.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/bittree_model/e_acsl_bittree.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/bittree_model/e_acsl_bittree.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/bittree_model/e_acsl_bittree_omodel_debug.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/bittree_model/e_acsl_bittree_timestamp_retrieval.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/e_acsl_heap.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/e_acsl_heap.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/e_acsl_observation_model.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/e_acsl_observation_model.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_heap_tracking.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_heap_tracking.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_omodel_debug.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_patricia_trie.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_patricia_trie.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_safe_locations.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_safe_locations.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_timestamp_retrieval.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_segment_observation_model.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_segment_omodel_debug.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_segment_timestamp_retrieval.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.h'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c'
pkg_create: can't stat `/shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h'
=> Checking file-check results for frama-c-25.0nb6
ERROR: ************************************************************
ERROR: The following files are in the PLIST but not in /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg:
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/bin/e-acsl-gcc.sh
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/e-acsl/libeacsl-dlmalloc.a
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/E_ACSL.cmi
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/META.frama-c-e_acsl
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/top/E_ACSL.cmo
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/top/E_ACSL.cmx
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/lib/frama-c/plugins/top/E_ACSL.cmxs
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/man/man1/e-acsl-gcc.sh.1
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/bash-completion/completions/e-acsl-gcc.sh
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/contrib/libdlmalloc/dlmalloc.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/e_acsl.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/e_acsl_rtl.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_assert.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_assert.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_assert_data.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_assert_data_api.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_assert_data_api.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_contract.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_contract.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_temporal.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_temporal.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/instrumentation_model/e_acsl_temporal_timestamp.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_alias.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_bits.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_bits.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_concurrency.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_config.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_debug.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_debug.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_malloc.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_malloc.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_private_assert.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_private_assert.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_rtl_error.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_rtl_error.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_rtl_io.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_rtl_io.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_rtl_string.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_rtl_string.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_shexec.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_shexec.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_trace.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/internals/e_acsl_trace.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/libc_replacements/e_acsl_stdio.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/libc_replacements/e_acsl_stdio.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/libc_replacements/e_acsl_string.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/libc_replacements/e_acsl_string.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/numerical_model/e_acsl_floating_point.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/numerical_model/e_acsl_floating_point.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/numerical_model/e_acsl_gmp_api.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/bittree_model/e_acsl_bittree.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/bittree_model/e_acsl_bittree.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/bittree_model/e_acsl_bittree_observation_model.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/bittree_model/e_acsl_bittree_omodel_debug.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/bittree_model/e_acsl_bittree_timestamp_retrieval.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/e_acsl_heap.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/e_acsl_heap.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/e_acsl_observation_model.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/e_acsl_observation_model.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_heap_tracking.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_heap_tracking.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_omodel_debug.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_patricia_trie.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_patricia_trie.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_safe_locations.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_safe_locations.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/internals/e_acsl_timestamp_retrieval.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_segment_observation_model.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_segment_omodel_debug.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_segment_timestamp_retrieval.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_shadow_concurrency.h
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.c
ERROR:         /shared/pkgsrc/devel/frama-c/work/.destdir/usr/pkg/share/frama-c/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h
*** Error code 1

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

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