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: [email protected] Last committer: [email protected] Ident: $FreeBSD: head/math/why3-spark/Makefile 416799 2016-06-12 13:11:48Z marino $ Log URL: http://package19.nyi.freebsd.org/data/103i386-default-build-as-user/416827/logs/why3-spark-2016.log Build URL: http://package19.nyi.freebsd.org/build.html?mastername=103i386-default-build-as-user&build=416827 Log: ====>> Building math/why3-spark build started at Mon Jun 13 12:13:56 UTC 2016 port directory: /usr/ports/math/why3-spark building for: FreeBSD 103i386-default-build-as-user-job-32 10.3-RELEASE-p5 FreeBSD 10.3-RELEASE-p5 i386 maintained by: [email protected] Makefile ident: $FreeBSD: head/math/why3-spark/Makefile 416799 2016-06-12 13:11:48Z marino $ Poudriere version: 3.1.12 Host OSVERSION: 1100109 Jail OSVERSION: 1003000 ---Begin Environment--- SHELL=/bin/csh UNAME_p=i386 UNAME_m=i386 UNAME_v=FreeBSD 10.3-RELEASE-p5 UNAME_r=10.3-RELEASE-p5 BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 OPSYS=FreeBSD ARCH=i386 LINUX_OSRELEASE=2.6.32 SAVED_TERM= MASTERMNT=/poudriere/data/.m/103i386-default-build-as-user/ref FORCE_PACKAGE=yes PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin _JAVA_VERSION_LIST_REGEXP=1.6\|1.7\|1.8\|1.6+\|1.7+\|1.8+ POUDRIERE_BUILD_TYPE=bulk PKGNAME=why3-spark-2016 OSREL=10.3 _OSRELEASE=10.3-RELEASE-p5 PYTHONBASE=/usr/local OLDPWD=/ _SMP_CPUS=32 PWD=/poudriere/data/.m/103i386-default-build-as-user/ref/.p/pool MASTERNAME=103i386-default-build-as-user SCRIPTPREFIX=/usr/local/share/poudriere _JAVA_VENDOR_LIST_REGEXP=openjdk\|oracle\|sun USER=root HOME=/root POUDRIERE_VERSION=3.1.12 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh CONFIGURE_MAX_CMD_LEN=262144 LIBEXECPREFIX=/usr/local/libexec/poudriere LOCALBASE=/usr/local PACKAGE_BUILDING=yes _JAVA_OS_LIST_REGEXP=native\|linux OSVERSION=1003000 ---End Environment--- ---Begin OPTIONS List--- ---End OPTIONS List--- --CONFIGURE_ARGS-- --enable-relocation --disable-doc --disable-pvs-libs --disable-profiling --disable-coq-tactic --disable-coq-libs --disable-isabelle-libs --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/why3-spark/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/why3-spark/work HOME=/wrkdirs/usr/ports/math/why3-spark/work TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=262144 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/why3-spark/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/why3-spark/work HOME=/wrkdirs/usr/ports/math/why3-spark/work TMPDIR="/tmp" NO_PIE=yes WITHOUT_DEBUG_FILES=yes WITHOUT_KERNEL_SYMBOLS=yes SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" CC="cc" CFLAGS="-O2 -pipe -fstack-protector -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector" LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 444" 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=10.3 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib DOCSDIR="share/doc/why3" EXAMPLESDIR="share/examples/why3" DATADIR="share/why3" WWWDIR="www/why3" ETCDIR="etc/why3" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/why3 DOCSDIR=/usr/local/share/doc/why3 EXAMPLESDIR=/usr/local/share/examples/why3 WWWDIR=/usr/local/www/why3 ETCDIR=/usr/local/etc/why3 --End SUB_LIST-- ---Begin make.conf--- MACHINE=i386 MACHINE_ARCH=i386 ARCH=${MACHINE_ARCH} USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles #### /usr/local/etc/poudriere.d/make.conf #### WITH_PKGNG=yes DISABLE_MAKE_JOBS=poudriere ---End make.conf--- =======================<phase: check-sanity >============================ ===> License LGPL21 GPLv3 accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===> why3-spark-2016 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.8.5_1.txz [103i386-default-build-as-user-job-32] Installing pkg-1.8.5_1... [103i386-default-build-as-user-job-32] Extracting pkg-1.8.5_1: .......... done ===> why3-spark-2016 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of why3-spark-2016 =========================================================================== =======================<phase: fetch-depends >============================ =========================================================================== =======================<phase: fetch >============================ ===> License LGPL21 GPLv3 accepted by the user => why3-for-spark-gpl-2016-src.tar.gz doesn't seem to exist in /portdistfiles/. => Attempting to fetch http://downloads.dragonlace.net/src/why3-for-spark-gpl-2016-src.tar.gz why3-for-spark-gpl-2016-src.tar.gz 0 B 0 Bps ===> Fetching all distfiles required by why3-spark-2016 for building =========================================================================== =======================<phase: checksum >============================ ===> License LGPL21 GPLv3 accepted by the user ===> Fetching all distfiles required by why3-spark-2016 for building => SHA256 Checksum OK for why3-for-spark-gpl-2016-src.tar.gz. =========================================================================== =======================<phase: extract-depends>============================ ===> why3-spark-2016 depends on file: /usr/local/bin/ocamlc - not found ===> Installing existing package /packages/All/ocaml-4.02.3.txz [103i386-default-build-as-user-job-32] Installing ocaml-4.02.3... [103i386-default-build-as-user-job-32] `-- Installing libX11-1.6.3,1... [103i386-default-build-as-user-job-32] | `-- Installing xproto-7.0.28... [103i386-default-build-as-user-job-32] | `-- Extracting xproto-7.0.28: .......... done [103i386-default-build-as-user-job-32] | `-- Installing kbproto-1.0.7... [103i386-default-build-as-user-job-32] | `-- Extracting kbproto-1.0.7: .......... done [103i386-default-build-as-user-job-32] | `-- Installing libXdmcp-1.1.2... [103i386-default-build-as-user-job-32] | `-- Extracting libXdmcp-1.1.2: ......... done [103i386-default-build-as-user-job-32] | `-- Installing libxcb-1.11.1... [103i386-default-build-as-user-job-32] | | `-- Installing libxml2-2.9.3... [103i386-default-build-as-user-job-32] | | `-- Extracting libxml2-2.9.3: .......... done [103i386-default-build-as-user-job-32] | | `-- Installing libpthread-stubs-0.3_6... [103i386-default-build-as-user-job-32] | | `-- Extracting libpthread-stubs-0.3_6: ..... done [103i386-default-build-as-user-job-32] | | `-- Installing libXau-1.0.8_3... [103i386-default-build-as-user-job-32] | | `-- Extracting libXau-1.0.8_3: .......... done [103i386-default-build-as-user-job-32] | `-- Extracting libxcb-1.11.1: .......... done [103i386-default-build-as-user-job-32] `-- Extracting libX11-1.6.3,1: .......... done [103i386-default-build-as-user-job-32] Extracting ocaml-4.02.3: .......... done ===> why3-spark-2016 depends on file: /usr/local/bin/ocamlc - found ===> Returning to build of why3-spark-2016 =========================================================================== =======================<phase: extract >============================ ===> License LGPL21 GPLv3 accepted by the user ===> Fetching all distfiles required by why3-spark-2016 for building ===> Extracting for why3-spark-2016 => SHA256 Checksum OK for why3-for-spark-gpl-2016-src.tar.gz. =========================================================================== =======================<phase: patch-depends >============================ ===> why3-spark-2016 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =======================<phase: patch >============================ ===> Patching for why3-spark-2016 =========================================================================== =======================<phase: build-depends >============================ ===> why3-spark-2016 depends on executable: menhir - not found ===> Installing existing package /packages/All/menhir-20160303.txz [103i386-default-build-as-user-job-32] Installing menhir-20160303... [103i386-default-build-as-user-job-32] `-- Installing ocaml-findlib-1.6.2... [103i386-default-build-as-user-job-32] | `-- Installing ocaml-labltk-8.06.0... [103i386-default-build-as-user-job-32] | | `-- Installing tk85-8.5.19... [103i386-default-build-as-user-job-32] | | `-- Installing libXft-2.3.2_1... [103i386-default-build-as-user-job-32] | | | `-- Installing fontconfig-2.11.1_2,1... [103i386-default-build-as-user-job-32] | | | `-- Installing expat-2.1.1_1... [103i386-default-build-as-user-job-32] | | | `-- Extracting expat-2.1.1_1: .......... done [103i386-default-build-as-user-job-32] | | | `-- Installing freetype2-2.6.3... [103i386-default-build-as-user-job-32] | | | `-- Extracting freetype2-2.6.3: .......... done [103i386-default-build-as-user-job-32] | | | `-- Extracting fontconfig-2.11.1_2,1: .......... done Running fc-cache to build fontconfig cache... /usr/local/share/fonts: skipping, no such directory /usr/local/lib/X11/fonts: skipping, no such directory /root/.local/share/fonts: skipping, no such directory /root/.fonts: skipping, no such directory /var/db/fontconfig: cleaning cache directory /root/.cache/fontconfig: not cleaning non-existent cache directory /root/.fontconfig: not cleaning non-existent cache directory fc-cache: succeeded [103i386-default-build-as-user-job-32] | | | `-- Installing libXrender-0.9.9... [103i386-default-build-as-user-job-32] | | | `-- Installing renderproto-0.11.1... [103i386-default-build-as-user-job-32] | | | `-- Extracting renderproto-0.11.1: .... done [103i386-default-build-as-user-job-32] | | | `-- Extracting libXrender-0.9.9: .......... done [103i386-default-build-as-user-job-32] | | `-- Extracting libXft-2.3.2_1: ......... done [103i386-default-build-as-user-job-32] | | `-- Installing tcl85-8.5.19... [103i386-default-build-as-user-job-32] | | `-- Extracting tcl85-8.5.19: .......... done [103i386-default-build-as-user-job-32] | | `-- Installing libXScrnSaver-1.2.2_3... <snip> Ocamlopt src/session/session_scheduler.ml Linking lib/why3/why3.cmx Ocamlopt plugins/parser/genequlin.ml Linking lib/plugins/genequlin.cmxs Ocamlopt plugins/parser/dimacs.ml Linking lib/plugins/dimacs.cmxs Ocamlopt plugins/tptp/tptp_ast.ml Ocamlc plugins/tptp/tptp_parser.mli Ocamlopt plugins/tptp/tptp_parser.ml Ocamlc plugins/tptp/tptp_typing.mli Ocamlopt plugins/tptp/tptp_typing.ml Ocamlc plugins/tptp/tptp_lexer.mli Ocamlopt plugins/tptp/tptp_lexer.ml Ocamlc plugins/tptp/tptp_printer.mli Ocamlopt plugins/tptp/tptp_printer.ml Linking lib/plugins/tptp.cmxs Ocamlopt plugins/transform/hypothesis_selection.ml Linking lib/plugins/hypothesis_selection.cmxs Linking lib/why3/why3.cmxa Ocamlopt src/tools/main.ml Linking bin/why3.opt Ocamlopt src/tools/why3config.ml Linking bin/why3config.opt Ocamlopt src/tools/why3execute.ml Linking bin/why3execute.opt Ocamlopt src/tools/why3extract.ml Linking bin/why3extract.opt Ocamlopt src/tools/why3prove.ml Linking bin/why3prove.opt Ocamlopt src/tools/why3realize.ml Linking bin/why3realize.opt Ocamlopt src/tools/why3replay.ml Linking bin/why3replay.opt Ocamlopt src/tools/why3wc.ml Linking bin/why3wc.opt Ocamlc src/gnat/gnat_util.mli Ocamlopt src/gnat/gnat_util.ml Ocamlc src/gnat/gnat_loc.mli Ocamlopt src/gnat/gnat_loc.ml Ocamlc src/util/config.ml Ocamlc src/util/bigInt.ml Ocamlc src/util/util.ml Ocamlc src/util/opt.ml Ocamlc src/util/lists.ml Ocamlc src/util/strings.ml Ocamlc src/util/extmap.ml Ocamlc src/util/extset.ml Ocamlc src/util/exthtbl.ml Ocamlc src/util/weakhtbl.ml Ocamlc src/util/hashcons.ml Ocamlc src/util/stdlib.ml Ocamlc src/util/exn_printer.ml Ocamlc src/util/pp.ml Ocamlc src/util/json.ml Ocamlc src/util/debug.ml Ocamlc src/util/loc.ml Ocamlc src/util/lexlib.ml Ocamlc src/util/print_tree.ml Ocamlc src/util/cmdline.ml Ocamlc src/util/warning.ml Ocamlc src/util/sysutil.ml Ocamlc src/util/rc.ml Ocamlc src/util/plugin.ml Ocamlc src/util/number.ml Ocamlc src/util/pqueue.ml Ocamlc src/core/ident.ml Ocamlc src/core/ty.ml Ocamlc src/core/term.ml Ocamlc src/core/pattern.ml Ocamlc src/core/decl.ml Ocamlc src/core/theory.ml Ocamlc src/core/task.ml Ocamlc src/core/pretty.ml Ocamlc src/core/dterm.ml Ocamlc src/core/env.ml Ocamlc src/core/trans.ml Ocamlc src/core/printer.ml Ocamlc src/core/model_parser.ml Ocamlc src/driver/prove_client.ml Ocamlc src/driver/call_provers.ml Ocamlc src/driver/driver_ast.ml Ocamlc src/driver/driver_parser.ml Ocamlc src/driver/driver_lexer.ml Ocamlc src/driver/driver.ml Ocamlc src/driver/whyconf.ml Ocamlc src/driver/autodetection.ml Ocamlc src/driver/parse_smtv2_model_parser.ml Ocamlc src/driver/parse_smtv2_model_lexer.ml Ocamlc src/driver/parse_smtv2_model.ml Ocamlc src/mlw/ity.ml Ocamlc src/mlw/expr.ml Ocamlc src/mlw/dexpr.ml Ocamlc src/mlw/pdecl.ml Ocamlc src/mlw/pmodule.ml Ocamlc src/parser/ptree.ml Ocamlc src/parser/glob.ml Ocamlc src/parser/parser.ml Ocamlc src/parser/typing.ml Ocamlc src/parser/lexer.ml Ocamlc src/transform/simplify_formula.ml Ocamlc src/transform/inlining.ml Ocamlc src/transform/split_goal.ml Ocamlc src/transform/induction.ml Ocamlc src/transform/detect_polymorphism.ml Ocamlc src/transform/reduction_engine.ml Ocamlc src/transform/compute.ml Ocamlc src/transform/eliminate_definition.ml Ocamlc src/transform/eliminate_algebraic.ml File "src/transform/eliminate_algebraic.ml", line 307, characters 18-20: Warning 3: deprecated: Pervasives.or Use (||) instead. Ocamlc src/transform/eliminate_inductive.ml Ocamlc src/transform/eliminate_let.ml Ocamlc src/transform/eliminate_if.ml Ocamlc src/transform/libencoding.ml Ocamlc src/transform/discriminate.ml Ocamlc src/transform/encoding.ml Ocamlc src/transform/encoding_select.ml Ocamlc src/transform/encoding_guards_full.ml Ocamlc src/transform/encoding_tags_full.ml Ocamlc src/transform/encoding_guards.ml Ocamlc src/transform/encoding_tags.ml Ocamlc src/transform/encoding_twin.ml Ocamlc src/transform/encoding_sort.ml Ocamlc src/transform/simplify_array.ml Ocamlc src/transform/filter_trigger.ml Ocamlc src/transform/introduction.ml Ocamlc src/transform/abstraction.ml Ocamlc src/transform/close_epsilon.ml Ocamlc src/transform/lift_epsilon.ml Ocamlc src/transform/eliminate_epsilon.ml Ocamlc src/transform/intro_projections_counterexmp.ml Ocamlc src/transform/intro_vc_vars_counterexmp.ml Ocamlc src/transform/prepare_for_counterexmp.ml Ocamlc src/transform/eval_match.ml Ocamlc src/transform/instantiate_predicate.ml Ocamlc src/transform/smoke_detector.ml Ocamlc src/transform/induction_pr.ml Ocamlc src/transform/prop_curry.ml Ocamlc src/transform/rec_logic.ml Ocamlc src/transform/eliminate_bounded_types.ml Ocamlc src/transform/gnat_split_conj.ml Ocamlc src/transform/gnat_split_disj.ml Ocamlc src/transform/eliminate_unused_hypo.ml Ocamlc src/printer/alt_ergo.ml Ocamlc src/printer/why3printer.ml Ocamlc src/printer/smtv1.ml Ocamlc src/printer/smtv2.ml Ocamlc src/printer/coq.ml Ocamlc src/printer/pvs.ml Ocamlc src/printer/isabelle.ml Ocamlc src/printer/simplify.ml Ocamlc src/printer/gappa.ml Ocamlc src/printer/cvc3.ml Ocamlc src/printer/yices.ml Ocamlc src/printer/mathematica.ml Ocamlc src/whyml/mlw_ty.ml Ocamlc src/whyml/mlw_expr.ml Ocamlc src/whyml/mlw_decl.ml Ocamlc src/whyml/mlw_pretty.ml Ocamlc src/whyml/mlw_wp.ml Ocamlc src/whyml/mlw_module.ml Ocamlc src/whyml/mlw_dexpr.ml Ocamlc src/whyml/mlw_typing.ml Ocamlc src/whyml/mlw_driver.ml Ocamlc src/whyml/mlw_exec.ml Ocamlc src/whyml/mlw_ocaml.ml Ocamlc src/whyml/mlw_main.ml Ocamlc src/whyml/mlw_interp.ml Ocamlc src/session/compress.ml Ocamlc src/session/xml.ml Ocamlc src/session/termcode.ml Ocamlc src/session/session.ml Ocamlc src/session/session_tools.ml Ocamlc src/session/strategy.ml Ocamlc src/session/strategy_parser.ml Ocamlc src/session/session_scheduler.ml Linking lib/why3/why3.cmo Ocamlc src/gnat/gnat_expl.mli Ocamlopt src/gnat/gnat_expl.ml Ocamlc src/gnat/gnat_config.mli Ocamlopt src/gnat/gnat_config.ml Ocamlc src/gnat/gnat_sched.mli Ocamlopt src/gnat/gnat_sched.ml Ocamlc src/gnat/gnat_manual.mli Ocamlopt src/gnat/gnat_manual.ml Ocamlc src/gnat/gnat_objectives.mli Ocamlopt src/gnat/gnat_objectives.ml Ocamlc src/gnat/gnat_report.mli Ocamlopt src/gnat/gnat_report.ml Ocamlopt src/gnat/gnat_main.ml Linking bin/gnatwhy3.opt gcc -c -Wall -g -o src/server/logging.o src/server/logging.c gmake[1]: gcc: Command not found gmake[1]: *** [Makefile:683: src/server/logging.o] Error 127 gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/why3-spark/work/why3-for-spark-gpl-2016-src' *** Error code 1 Stop. make: stopped in /usr/ports/math/why3-spark _______________________________________________ [email protected] mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-pkg-fallout To unsubscribe, send any mail to "[email protected]"
