From owner-freebsd-pkg-fallout@freebsd.org Thu Apr 20 04:17:09 2017 Return-Path: Delivered-To: freebsd-pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 7AD8DD4729B for ; Thu, 20 Apr 2017 04:17:09 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id 68BF29E9 for ; Thu, 20 Apr 2017 04:17:09 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.ysv.freebsd.org (Postfix) id 68151D4729A; Thu, 20 Apr 2017 04:17:09 +0000 (UTC) Delivered-To: pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 67AC0D47299 for ; Thu, 20 Apr 2017 04:17:09 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from thunderx1.nyi.freebsd.org (thunderx1.nyi.freebsd.org [IPv6:2610:1c1:1:6082::16:fb]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 373B09E8 for ; Thu, 20 Apr 2017 04:17:09 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from thunderx1.nyi.freebsd.org (localhost [127.0.0.1]) by thunderx1.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id v3K4H8bO088056 for ; Thu, 20 Apr 2017 04:17:08 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by thunderx1.nyi.freebsd.org (8.15.2/8.15.2/Submit) id v3K4H8QH088052; Thu, 20 Apr 2017 04:17:08 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Thu, 20 Apr 2017 04:17:08 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201704200417.v3K4H8QH088052@thunderx1.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - 110arm64-default][devel/smv] Failed for smv-2.5.4.3_4 in build X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 20 Apr 2017 04:17:09 -0000 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@FreeBSD.org Last committer: gerald@FreeBSD.org Ident: $FreeBSD: head/devel/smv/Makefile 437439 2017-04-01 15:23:30Z gerald $ Log URL: http://thunderx1.nyi.freebsd.org/data/110arm64-default/438755/logs/smv-2.5.4.3_4.log Build URL: http://thunderx1.nyi.freebsd.org/build.html?mastername=110arm64-default&build=438755 Log: ====>> Building devel/smv build started at Thu Apr 20 04:14:47 UTC 2017 port directory: /usr/ports/devel/smv building for: FreeBSD 110arm64-default-job-04 11.0-RELEASE-p1 FreeBSD 11.0-RELEASE-p1 arm64 maintained by: ports@FreeBSD.org Makefile ident: $FreeBSD: head/devel/smv/Makefile 437439 2017-04-01 15:23:30Z gerald $ Poudriere version: 3.1.17-9-gf49c6f78 Host OSVERSION: 1100121 Jail OSVERSION: 1100122 Job Id: 04 !!! Jail is newer than host. (Jail: 1100122, Host: 1100121) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- SHELL=/bin/csh OSVERSION=1100122 UNAME_v=FreeBSD 11.0-RELEASE-p1 UNAME_r=11.0-RELEASE-p1 BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/.m/110arm64-default/ref PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNAME=smv-2.5.4.3_4 OLDPWD=/ PWD=/usr/local/poudriere/data/.m/110arm64-default/ref/.p/pool MASTERNAME=110arm64-default SCRIPTPREFIX=/usr/local/share/poudriere USER=root HOME=/root POUDRIERE_VERSION=3.1.17-9-gf49c6f78 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh LIBEXECPREFIX=/usr/local/libexec/poudriere LOCALBASE=/usr/local PACKAGE_BUILDING=yes POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin OPTIONS List--- ===> The following configuration options are available for smv-2.5.4.3_4: DOCS=on: Build and/or install documentation EXAMPLES=on: Build and/or install examples ===> Use 'make config' to modify these settings ---End OPTIONS List--- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/devel/smv/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/smv/work HOME=/wrkdirs/usr/ports/devel/smv/work TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/devel/smv/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/smv/work HOME=/wrkdirs/usr/ports/devel/smv/work TMPDIR="/tmp" NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES ADDR2LINE="/usr/local/bin/addr2line" AR="/usr/local/bin/ar" AS="/usr/local/bin/as" CPPFILT="/usr/local/bin/c++filt" GPROF="/usr/local/bin/gprof" LD="/usr/local/bin/ld" NM="/usr/local/bin/nm" OBJCOPY="/usr/local/bin/objcopy" OBJDUMP="/usr/local/bin/objdump" RANLIB="/usr/local/bin/ranlib" READELF="/usr/local/bin/readelf" SIZE="/usr/local/bin/size" STRINGS="/usr/local/bin/strings" PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" CC="gcc5" CFLAGS="-O2 -pipe -Wl,-rpath=/usr/local/lib/gcc5 -fno-strict-aliasing" CPP="cpp5" CPPFLAGS="" LDFLAGS=" -Wl,-rpath=/usr/local/lib/gcc5 -L/usr/local/lib/gcc5" LIBS="" CXX="g++5" CXXFLAGS="-O2 -pipe -Wl,-rpath=/usr/local/lib/gcc5 -fno-strict-aliasing -Wl,-rpath=/usr/local/lib/gcc5" MANPREFIX="/usr/local" BSD_INST ALL_PROGRAM="install -s -m 555" BSD_INSTALL_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-- OSREL=11.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib DOCSDIR="share/doc/smv" EXAMPLESDIR="share/examples/smv" DATADIR="share/smv" WWWDIR="www/smv" ETCDIR="etc/smv" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/smv DOCSDIR=/usr/local/share/doc/smv EXAMPLESDIR=/usr/local/share/examples/smv WWWDIR=/usr/local/www/smv ETCDIR=/usr/local/etc/smv --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles #### /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 #### ARCH=aarch64 CONFIGURE_MAX_CMD_LEN=262144 OPSYS=FreeBSD OSREL=11.0 OSVERSION=1100122 PYTHONBASE=/usr/local UID=0 _JAVA_OS_LIST_REGEXP=native\|linux _JAVA_VENDOR_LIST_REGEXP=openjdk\|oracle\|sun _JAVA_VERSION_LIST_REGEXP=1.6\|1.7\|1.8\|1.6+\|1.7+\|1.8+ _OSRELEASE=11.0-RELEASE-p1 #### Misc Poudriere #### GID=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) 1048576 stack size (kbytes, -s) 1048576 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-- =================================================== ===> NOTICE: The smv 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 =========================================================================== =================================================== ===> smv-2.5.4.3_4 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.1.txz [110arm64-default-job-04] Installing pkg-1.10.1... [110arm64-default-job-04] Extracting pkg-1.10.1: .......... done ===> smv-2.5.4.3_4 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of smv-2.5.4.3_4 =========================================================================== =================================================== =========================================================================== =================================================== ===> NOTICE: The smv 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 ===> Fetching all distfiles required by smv-2.5.4.3_4 for building =========================================================================== =================================================== ===> NOTICE: The smv 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 ===> Fetching all distfiles required by smv-2.5.4.3_4 for building => SHA256 Checksum OK for smv.r2.5.4.3.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> NOTICE: symbols.c:571:7: warning: implicit declaration of function 'reset_maxnodes' [-Wimplicit-function-declaration] reset_maxnodes(); ^ symbols.c: In function 'eu': symbols.c:648:7: warning: implicit declaration of function 'indent' [-Wimplicit-function-declaration] indent(stderr); ^ symbols.c: In function 'ebf': symbols.c:744:16: warning: type of 'inf' defaults to 'int' [-Wimplicit-int] static bdd_ptr ebf(g, inf, sup) ^ symbols.c:744:16: warning: type of 'sup' defaults to 'int' [-Wimplicit-int] symbols.c: In function 'ebg': symbols.c:807:16: warning: type of 'inf' defaults to 'int' [-Wimplicit-int] static bdd_ptr ebg(g, inf, sup) ^ symbols.c:807:16: warning: type of 'sup' defaults to 'int' [-Wimplicit-int] symbols.c: In function 'minu': symbols.c:982:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] return((bdd_ptr) i); ^ symbols.c: In function 'maxu': symbols.c:1034:14: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] return((bdd_ptr) i); ^ symbols.c: At top level: symbols.c:1073:8: warning: return type defaults to 'int' [-Wimplicit-int] static range_error(n) ^ symbols.c: In function 'make_quantifiers': symbols.c:1114:24: warning: implicit declaration of function 'varset_diff' [-Wimplicit-function-declaration] return(cons(save_bdd(varset_diff(vars,car(l))),make_quantifiers(cdr(l),vars))); ^ symbols.c: In function 'eval1': symbols.c:1367:25: warning: implicit declaration of function 'redefining' [-Wimplicit-function-declaration] if(r->type != VAR)redefining(t2); ^ symbols.c:1376:2: warning: implicit declaration of function 'walk_leaves' [-Wimplicit-function-declaration] walk_leaves(range_check,v); ^ symbols.c: In function 'get_bdd_var': symbols.c:1468:27: warning: implicit declaration of function 'toomanyvars' [-Wimplicit-function-declaration] if(nstvars == MAXSTVARS)toomanyvars(); ^ symbols.c: In function 'print_state': symbols.c:1794:27: warning: implicit declaration of function 'value_bdd' [-Wimplicit-function-declaration] node_ptr p = (node_ptr)(value_bdd(if_then_bdd(s,proc_selector))); ^ symbols.c:1794:37: warning: implicit declaration of function 'if_then_bdd' [-Wimplicit-function-declaration] node_ptr p = (node_ptr)(value_bdd(if_then_bdd(s,proc_selector))); ^ symbols.c:1794:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] node_ptr p = (node_ptr)(value_bdd(if_then_bdd(s,proc_selector))); ^ symbols.c:1800:9: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] w = (node_ptr)(value_bdd(if_then_bdd(s,v))); ^ symbols.c: In function 'bdd_to_formula': symbols.c:2142:3: warning: implicit declaration of function 'set_variable_names' [-Wimplicit-function-declaration] set_variable_names(); ^ symbols.c: At top level: symbols.c:3108:8: warning: return type defaults to 'int' [-Wimplicit-int] static print_in_process(s,context) ^ symbols.c: In function 'check_assign_both': symbols.c:3131:17: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] int lineno2 = (int)find_assoc(global_assign_hash,v1); ^ symbols.c: At top level: symbols.c:3145:8: warning: return type defaults to 'int' [-Wimplicit-int] static check_program(procs,spec_expr,fair_expr) ^ symbols.c: In function 'check_program': symbols.c:3196:18: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] int lineno = (int)find_assoc(global_assign_hash,v); ^ symbols.c: In function 'type_mask': symbols.c:3251:36: warning: implicit declaration of function 'make_var_mask' [-Wimplicit-function-declaration] mask = save_bdd(and_bdd(mask,make_var_mask(car(l)))); ^ symbols.c: In function 'build_model': symbols.c:3326:2: warning: implicit declaration of function 'walk' [-Wimplicit-function-declaration] walk(release_bdd,sl); ^ symbols.c: In function 'check_hom': symbols.c:3497:29: warning: implicit declaration of function 'collapse_vars' [-Wimplicit-function-declaration] Rnew = save_bdd(not_bdd(collapse_vars(Rnew,trans_1,prime_vars1))); ^ symbols.c:3504:29: warning: implicit declaration of function 'collapse_no_shift' [-Wimplicit-function-declaration] Rnew = save_bdd(not_bdd(collapse_no_shift(Rnew,trans))); ^ symbols.c: In function 'check_implements': symbols.c:3604:3: warning: implicit declaration of function 'restart_bdd' [-Wimplicit-function-declaration] restart_bdd(); ^ symbols.c: At top level: symbols.c:3608:1: warning: return type defaults to 'int' [-Wimplicit-int] check_all_implements(parse_tree) ^ symbols.c:3640:1: warning: return type defaults to 'int' [-Wimplicit-int] check_trans() ^ symbols.c:3673:1: warning: return type defaults to 'int' [-Wimplicit-int] build_invar(procs,invar_expr,assumption) ^ symbols.c:3735:1: warning: return type defaults to 'int' [-Wimplicit-int] print_apprx_list_sizes(ff,l,n) ^ symbols.c: In function 'print_apprx_list_sizes': symbols.c:3740:13: warning: 'return' with no value, in function returning non-void if(l==NIL)return; ^ symbols.c:3743:3: warning: 'return' with no value, in function returning non-void return; ^ symbols.c: At top level: symbols.c:3746:1: warning: return type defaults to 'int' [-Wimplicit-int] check_early(spec_expr,procs) ^ symbols.c:3796:1: warning: return type defaults to 'int' [-Wimplicit-int] print_prints(l) ^ symbols.c:3851:1: warning: return type defaults to 'int' [-Wimplicit-int] compute_reachable(trans_expr,spec_expr,print_expr,procs) ^ symbols.c: In function 'compute_reachable': symbols.c:3887:2: warning: implicit declaration of function 'report_and_exit' [-Wimplicit-function-declaration] report_and_exit(); ^ symbols.c: At top level: symbols.c:4030:1: warning: return type defaults to 'int' [-Wimplicit-int] print_reachable_states() ^ symbols.c: In function 'output_order': symbols.c:4180:5: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration] exit(0); ^ symbols.c:4180:5: warning: incompatible implicit declaration of built-in function 'exit' symbols.c:4180:5: note: include '' or provide a declaration of 'exit' symbols.c: In function 'read_order': symbols.c:4206:5: warning: implicit declaration of function 'open_input' [-Wimplicit-function-declaration] open_input(input_order_file); ^ symbols.c:4207:13: warning: implicit declaration of function 'yylex' [-Wimplicit-function-declaration] token = yylex(); ^ symbols.c:4230:3: warning: implicit declaration of function 'close_input' [-Wimplicit-function-declaration] close_input(); ^ symbols.c: In function 'compute_bound': symbols.c:4316:8: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] s0 = (int) eval(the_spec,NIL); ^ symbols.c: In function 'assign_command': symbols.c:4362:26: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] bdd_ptr w = leaf_bdd((node_ptr)(value_bdd(if_then_bdd(interactive_state,r)))); ^ symbols.c: In function 'eval_command': symbols.c:4415:7: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] w = (node_ptr)(value_bdd(if_then_bdd(interactive_state,r))); ^ symbols.c: In function 'build_symbols': symbols.c:4594:3: warning: implicit declaration of function 'print_usage' [-Wimplicit-function-declaration] print_usage(); ^ symbols.c:4600:7: warning: implicit declaration of function 'reorder_variables' [-Wimplicit-function-declaration] reorder_variables(); ^ symbols.c:4618:5: warning: implicit declaration of function 'yyparse' [-Wimplicit-function-declaration] yyparse(); ^ symbols.c: At top level: symbols.c:4622:1: warning: return type defaults to 'int' [-Wimplicit-int] report_and_exit() ^ symbols.c: In function 'report_and_exit': symbols.c:4628:3: warning: implicit declaration of function 'my_exit' [-Wimplicit-function-declaration] my_exit(0); ^ rm -f smv gcc5 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc5 -fno-strict-aliasing -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" grammar.o input.o init.o main.o assoc.o bdd.o hash.o node.o storage.o string.o symbols.o -lm -o smv main.o: In function `main': /wrkdirs/usr/ports/devel/smv/work/smv/main.c:81: undefined reference to `sbrk' init.o: In function `print_usage': /wrkdirs/usr/ports/devel/smv/work/smv/init.c:221: undefined reference to `sbrk' storage.o: In function `getmore': /wrkdirs/usr/ports/devel/smv/work/smv/storage.c:23: undefined reference to `sbrk' /wrkdirs/usr/ports/devel/smv/work/smv/storage.c:24: undefined reference to `sbrk' /wrkdirs/usr/ports/devel/smv/work/smv/storage.c:24: undefined reference to `sbrk' storage.o:/wrkdirs/usr/ports/devel/smv/work/smv/storage.c:25: more undefined references to `sbrk' follow collect2: error: ld returned 1 exit status *** Error code 1 Stop. make[1]: stopped in /wrkdirs/usr/ports/devel/smv/work/smv *** Error code 1 Stop. make: stopped in /usr/ports/devel/smv