[package - 121i386-default][devel/frama-c] Failed for frama-c-20170501 in build
pkg-fallout at FreeBSD.org
pkg-fallout at FreeBSD.org
Sat Dec 12 21:56:13 UTC 2020
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: ports at FreeBSD.org
Last committer: rene at FreeBSD.org
Ident: $FreeBSD: head/devel/frama-c/Makefile 557245 2020-12-07 20:09:02Z rene $
Log URL: http://beefy5.nyi.freebsd.org/data/121i386-default/557402/logs/frama-c-20170501.log
Build URL: http://beefy5.nyi.freebsd.org/build.html?mastername=121i386-default&build=557402
Log:
=>> Building devel/frama-c
build started at Sat Dec 12 21:53:48 UTC 2020
port directory: /usr/ports/devel/frama-c
package name: frama-c-20170501
building for: FreeBSD 121i386-default-job-14 12.1-RELEASE-p12 FreeBSD 12.1-RELEASE-p12 i386
maintained by: ports at FreeBSD.org
Makefile ident: $FreeBSD: head/devel/frama-c/Makefile 557245 2020-12-07 20:09:02Z rene $
Poudriere version: 3.2.8-8-gaf08dbda
Host OSVERSION: 1300121
Jail OSVERSION: 1201000
Job Id: 14
---Begin Environment---
SHELL=/bin/csh
UNAME_p=i386
UNAME_m=i386
OSVERSION=1201000
UNAME_v=FreeBSD 12.1-RELEASE-p12
UNAME_r=12.1-RELEASE-p12
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
LOCALBASE=/usr/local
USER=root
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.2.8-8-gaf08dbda
MASTERMNT=/usr/local/poudriere/data/.m/121i386-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/121i386-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=121i386-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/121i386-default/ref/.p
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---
---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
DEPENDS_ARGS=
MAKE_ARGS=
---End Poudriere Port Flags/Env---
---Begin OPTIONS List---
---End OPTIONS List---
--MAINTAINER--
ports at FreeBSD.org
--End MAINTAINER--
--CONFIGURE_ARGS--
--with-cpp="cpp -C -I/usr/local/share/frama-c/libc -I." --disable-e_acsl --prefix=/usr/local ${_LATE_CONFIGURE_ARGS}
--End CONFIGURE_ARGS--
--CONFIGURE_ENV--
MAKE=gmake PKG_CONFIG=pkgconf XDG_DATA_HOME=/wrkdirs/usr/ports/devel/frama-c/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/frama-c/work HOME=/wrkdirs/usr/ports/devel/frama-c/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/devel/frama-c/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CMAKE_PREFIX_PATH="/usr/local" LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=524288
--End CONFIGURE_ENV--
--MAKE_ENV--
FRAMAC_LIBDIR="/usr/local/lib/frama-c" FRAMAC_DATADIR="/usr/local/share/frama-c" STAGEDIR="/wrkdirs/usr/ports/devel/frama-c/work/stage" XDG_DATA_HOME=/wrkdirs/usr/ports/devel/frama-c/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/frama-c/work HOME=/wrkdirs/usr/ports/devel/frama-c/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/devel/frama-c/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-isystem /usr/local/include" LDFLAGS=" -fstack-protector-strong " LIBS="-L/usr/local/lib" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_IN
STALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444"
--End MAKE_ENV--
--PLIST_SUB--
OCAML_SITELIBDIR="lib/ocaml/site-lib" GTK2_VERSION="2.10.0" GTK3_VERSION="3.0.0" OSREL=12.1 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/frama-c" EXAMPLESDIR="share/examples/frama-c" DATADIR="share/frama-c" WWWDIR="www/frama-c" ETCDIR="etc/frama-c"
--End PLIST_SUB--
--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/frama-c DOCSDIR=/usr/local/share/doc/frama-c EXAMPLESDIR=/usr/local/share/examples/frama-c WWWDIR=/usr/local/www/frama-c ETCDIR=/usr/local/etc/frama-c
--End SUB_LIST--
---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
MACHINE=i386
MACHINE_ARCH=i386
ARCH=${MACHINE_ARCH}
#### /usr/local/etc/poudriere.d/make.conf ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure. It currently retries the same
# failed mirror and then fails rather then trying another. It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs
MAKE_JOBS_NUMBER=2
#### /usr/ports/Mk/Scripts/ports_env.sh ####
_CCVERSION_921dbbb2=FreeBSD clang version 8.0.1 (tags/RELEASE_801/final 366581) (based on LLVM 8.0.1) Target: i386-unknown-freebsd12.1 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 8.0.1 (tags/RELEASE_801/final 366581) (based on LLVM 8.0.1) Target: i386-unknown-freebsd12.1 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-m" "elf_i386_fbsd" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o"
CC_OUTPUT_921dbbb2_58173849=yes
CC_OUTPUT_921dbbb2_9bdba57c=yes
CC_OUTPUT_921dbbb2_6a4fe7f5=yes
CC_OUTPUT_921dbbb2_6bcac02b=yes
CC_OUTPUT_921dbbb2_67d20829=yes
CC_OUTPUT_921dbbb2_bfa62e83=yes
CC_OUTPUT_921dbbb2_f0b4d593=yes
CC_OUTPUT_921dbbb2_308abb44=yes
CC_OUTPUT_921dbbb2_f00456e5=yes
CC_OUTPUT_921dbbb2_65ad290d=yes
CC_OUTPUT_921dbbb2_f2776b26=yes
CC_OUTPUT_921dbbb2_b2657cc3=yes
CC_OUTPUT_921dbbb2_380987f7=yes
CC_OUTPUT_921dbbb2_160933ec=yes
CC_OUTPUT_921dbbb2_fb62803b=yes
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 8.0.1 (tags/RELEASE_801/final 366581) (based on LLVM 8.0.1) Target: i386-unknown-freebsd12.1 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=i386
OPSYS=FreeBSD
_OSRELEASE=12.1-RELEASE-p12
OSREL=12.1
OSVERSION=1201000
PYTHONBASE=/usr/local
CONFIGURE_MAX_CMD_LEN=524288
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
GID=0
UID=0
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
--Resource limits--
cpu time (seconds, -t) unlimited
file size (512-blocks, -f) unlimited
data seg size (kbytes, -d) 524288
stack size (kbytes, -s) 65536
core file size (512-blocks, -c) unlimited
max memory size (kbytes, -m) unlimited
locked memory (kbytes, -l) unlimited
max user processes (-u) 89999
open files (-n) 1024
virtual mem size (kbytes, -v) unlimited
swap limit (kbytes, -w) unlimited
socket buffer size (bytes, -b) unlimited
pseudo-terminals (-p) unlimited
kqueues (-k) unlimited
umtx shared locks (-o) unlimited
--End resource limits--
=======================<phase: check-sanity >============================
===> NOTICE:
The frama-c port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:
https://bugs.freebsd.org/bugzilla
More information about port maintainership is available at:
https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port
===> License LGPL21 accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===> frama-c-20170501 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.15.10.txz
[121i386-default-job-14] Installing pkg-1.15.10...
[121i386-default-job-14] Extracting pkg-1.15.10: .......... done
===> frama-c-20170501 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of frama-c-20170501
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> NOTICE:
The frama-c port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:
https://bugs.freebsd.org/bugzilla
More information about port maintainership is available at:
https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port
===> License LGPL21 accepted by the user
===> Fetching all distfiles required by frama-c-20170501 for building
===========================================================================
=======================<phase: checksum >============================
===> NOTICE:
The frama-c port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:
https://bugs.freebsd.org/bugzilla
More information about port maintainership is available at:
<snip>
Ocamlc src/plugins/value/engine/mem_exec.cmi
Ocamlc src/plugins/value/engine/mem_exec.cmo
Ocamlc src/plugins/value/engine/partitioned_dataflow.cmi
Ocamlc src/plugins/value/engine/partitioned_dataflow.cmo
Ocamlc src/plugins/value/engine/initialization.cmo
Ocamlc src/plugins/value/engine/abstractions.cmi
Ocamlc src/plugins/value/engine/abstractions.cmo
Ocamlc src/plugins/value/engine/compute_functions.cmi
Ocamlc src/plugins/value/engine/compute_functions.cmo
Ocamlc src/plugins/value/engine/analysis.cmi
Ocamlc src/plugins/value/engine/analysis.cmo
Ocamlc src/plugins/value/register.cmi
Ocamlc src/plugins/value/register.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Value.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Value.cmo
Ocamlc src/plugins/occurrence/options.cmi
Ocamlc src/plugins/occurrence/options.cmo
Ocamlc src/plugins/occurrence/register.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.cmo
Ocamlc src/plugins/rte/options.cmi
Ocamlc src/plugins/rte/options.cmo
Ocamlc src/plugins/rte/generator.cmi
Ocamlc src/plugins/rte/generator.cmo
Ocamlc src/plugins/rte/rte.cmi
Ocamlc src/plugins/rte/rte.cmo
Ocamlc src/plugins/rte/visit.cmi
Ocamlc src/plugins/rte/visit.cmo
Ocamlc src/plugins/rte/register.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/RteGen.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.cmo
Ocamlc src/plugins/from/from_parameters.cmi
Ocamlc src/plugins/from/from_parameters.cmo
Ocamlc src/plugins/from/from_compute.cmi
Ocamlc src/plugins/from/from_compute.cmo
Ocamlc src/plugins/from/functionwise.cmi
Ocamlc src/plugins/from/functionwise.cmo
Ocamlc src/plugins/from/callwise.cmi
Ocamlc src/plugins/from/callwise.cmo
Ocamlc src/plugins/from/from_register.cmi
Ocamlc src/plugins/from/from_register.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/From.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/From.cmo
Ocamlc src/plugins/users/users_register.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Users.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Users.cmo
Ocamlc src/plugins/constant_propagation/propagationParameters.cmi
Ocamlc src/plugins/constant_propagation/propagationParameters.cmo
Ocamlc src/plugins/constant_propagation/register.cmi
Ocamlc src/plugins/constant_propagation/register.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.cmo
Ocamlc src/plugins/postdominators/postdominators_parameters.cmi
Ocamlc src/plugins/postdominators/postdominators_parameters.cmo
Ocamlc src/plugins/postdominators/print.cmo
Ocamlc src/plugins/postdominators/compute.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.cmo
Ocamlc src/plugins/inout/inout_parameters.cmi
Ocamlc src/plugins/inout/inout_parameters.cmo
Ocamlc src/plugins/inout/cumulative_analysis.cmi
Ocamlc src/plugins/inout/cumulative_analysis.cmo
Ocamlc src/plugins/inout/operational_inputs.cmo
Ocamlc src/plugins/inout/outputs.cmi
Ocamlc src/plugins/inout/outputs.cmo
Ocamlc src/plugins/inout/inputs.cmi
Ocamlc src/plugins/inout/inputs.cmo
Ocamlc src/plugins/inout/derefs.cmi
Ocamlc src/plugins/inout/derefs.cmo
Ocamlc src/plugins/inout/register.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Inout.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.cmo
Ocamlc src/plugins/impact/options.cmi
Ocamlc src/plugins/impact/options.cmo
Ocamlc src/plugins/impact/pdg_aux.cmi
Ocamlc src/plugins/impact/pdg_aux.cmo
Ocamlc src/plugins/impact/reason_graph.cmo
Ocamlc src/plugins/impact/compute_impact.cmi
Ocamlc src/plugins/impact/compute_impact.cmo
Ocamlc src/plugins/impact/register.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Impact.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.cmo
Ocamlc src/plugins/pdg/pdg_parameters.cmi
Ocamlc src/plugins/pdg/pdg_parameters.cmo
Ocamlc src/plugins/pdg/ctrlDpds.cmi
Ocamlc src/plugins/pdg/ctrlDpds.cmo
Ocamlc src/plugins/pdg/pdg_state.cmi
Ocamlc src/plugins/pdg/pdg_state.cmo
Ocamlc src/plugins/pdg/build.cmi
Ocamlc src/plugins/pdg/build.cmo
Ocamlc src/plugins/pdg/sets.cmi
Ocamlc src/plugins/pdg/sets.cmo
Ocamlc src/plugins/pdg/annot.cmi
Ocamlc src/plugins/pdg/annot.cmo
Ocamlc src/plugins/pdg/marks.cmi
Ocamlc src/plugins/pdg/marks.cmo
Ocamlc src/plugins/pdg/register.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Pdg.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.cmo
Ocamlc src/plugins/scope/datascope.cmi
Ocamlc src/plugins/scope/datascope.cmo
Ocamlc src/plugins/scope/zones.cmi
Ocamlc src/plugins/scope/zones.cmo
Ocamlc src/plugins/scope/defs.cmi
Ocamlc src/plugins/scope/defs.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Scope.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.cmo
Ocamlc src/plugins/sparecode/sparecode_params.cmi
Ocamlc src/plugins/sparecode/sparecode_params.cmo
Ocamlc src/plugins/sparecode/globs.cmo
Ocamlc src/plugins/sparecode/spare_marks.cmi
Ocamlc src/plugins/sparecode/spare_marks.cmo
Ocamlc src/plugins/sparecode/transform.cmo
Ocamlc src/plugins/sparecode/register.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.cmo
Ocamlc src/plugins/slicing/slicingParameters.cmi
Ocamlc src/plugins/slicing/slicingParameters.cmo
Ocamlc src/plugins/slicing/slicingState.cmi
Ocamlc src/plugins/slicing/slicingState.cmo
Ocamlc src/plugins/slicing/slicingMacros.cmi
Ocamlc src/plugins/slicing/slicingMacros.cmo
Ocamlc src/plugins/slicing/slicingMarks.cmi
Ocamlc src/plugins/slicing/slicingMarks.cmo
Ocamlc src/plugins/slicing/slicingActions.cmi
Ocamlc src/plugins/slicing/slicingActions.cmo
Ocamlc src/plugins/slicing/fct_slice.cmi
Ocamlc src/plugins/slicing/fct_slice.cmo
Ocamlc src/plugins/slicing/printSlice.cmi
Ocamlc src/plugins/slicing/printSlice.cmo
Ocamlc src/plugins/slicing/slicingProject.cmi
Ocamlc src/plugins/slicing/slicingProject.cmo
Ocamlc src/plugins/slicing/slicingTransform.cmi
Ocamlc src/plugins/slicing/slicingTransform.cmo
Ocamlc src/plugins/slicing/slicingCmds.cmi
Ocamlc src/plugins/slicing/slicingCmds.cmo
Ocamlc src/plugins/slicing/register.cmo
Ocamlc /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/Slicing.cmi
Generating /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.cmi
Packing /wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.cmo
Linking bin/toplevel.byte
Ocamlc src/plugins/gui/wutil.cmi
Ocamlc src/plugins/gui/widget.cmi
Ocamlc src/plugins/gui/wbox.cmi
Ocamlc src/plugins/gui/wfile.cmi
Ocamlc src/plugins/gui/wpane.cmi
Ocamlc src/plugins/gui/wpalette.cmi
Ocamlc src/plugins/gui/wtext.cmi
Ocamlc src/plugins/gui/wtable.cmi
Ocamlc src/plugins/gui/gui_parameters.cmi
Ocamlc src/plugins/gui/gtk_helper.cmi
Ocamlc src/plugins/gui/gtk_form.cmi
Ocamlc src/plugins/gui/source_viewer.cmi
Ocamlc src/plugins/gui/pretty_source.cmi
Ocamlc src/plugins/gui/source_manager.cmi
Ocamlc src/plugins/gui/book_manager.cmi
Ocamlc src/plugins/gui/warning_manager.cmi
Ocamlc src/plugins/gui/filetree.cmi
Ocamlc src/plugins/gui/launcher.cmi
Ocamlc src/plugins/gui/menu_manager.cmi
Ocamlc src/plugins/gui/history.cmi
Ocamlc src/plugins/gui/gui_printers.cmi
Ocamlc src/plugins/gui/design.cmi
Ocamlc src/plugins/gui/analyses_manager.cmi
Ocamlc src/plugins/gui/file_manager.cmi
Ocamlc src/plugins/gui/project_manager.cmi
Ocamlc src/plugins/gui/debug_manager.cmi
Ocamlc src/plugins/gui/help_manager.cmi
Ocamlc src/plugins/gui/property_navigator.cmi
Ocamlc src/plugins/gui/wutil.cmo
Ocamlc src/plugins/gui/widget.cmo
Ocamlc src/plugins/gui/wbox.cmo
Ocamlc src/plugins/gui/wfile.cmo
Ocamlc src/plugins/gui/wpane.cmo
Ocamlc src/plugins/gui/wpalette.cmo
Ocamlc src/plugins/gui/wtext.cmo
Ocamlc src/plugins/gui/wtable.cmo
Ocamlc src/plugins/gui/gui_parameters.cmo
Ocamlc src/plugins/gui/gtk_helper.cmo
File "src/plugins/gui/gtk_helper.ml", line 323, characters 54-58:
Error: This expression has type string but an expression was expected of type
bytes
gmake[1]: *** [share/Makefile.generic:78: src/plugins/gui/gtk_helper.cmo] Error 2
gmake[1]: Leaving directory '/wrkdirs/usr/ports/devel/frama-c/work/frama-c-Phosphorus-20170501'
*** Error code 1
Stop.
make: stopped in /usr/ports/devel/frama-c
More information about the freebsd-pkg-fallout
mailing list