[package - 110arm64-default][devel/smv] Failed for smv-2.5.4.3_4 in build
pkg-fallout at FreeBSD.org
pkg-fallout at FreeBSD.org
Thu Apr 20 04:17:09 UTC 2017
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: gerald at 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 at 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--
=======================<phase: check-sanity >============================
===> 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
===========================================================================
=======================<phase: pkg-depends >============================
===> 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
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> 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
===========================================================================
=======================<phase: checksum >============================
===> 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.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract >============================
===> NOTICE:
<snip>
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 '<stdlib.h>' 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
More information about the freebsd-pkg-fallout
mailing list