Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 20 Apr 2017 04:17:08 GMT
From:      pkg-fallout@FreeBSD.org
To:        pkg-fallout@FreeBSD.org
Subject:   [package - 110arm64-default][devel/smv] Failed for smv-2.5.4.3_4 in build
Message-ID:  <201704200417.v3K4H8QH088052@thunderx1.nyi.freebsd.org>

next in thread | raw e-mail | index | archive | help

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--
=======================<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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201704200417.v3K4H8QH088052>