=> Building devel/smv build started at Wed Oct 5 00:56:56 PDT 2016 port directory: /usr/ports/devel/smv building for: DragonFly pkgbox64.dragonflybsd.org 4.7-DEVELOPMENT DragonFly v4.7.0.78.g7d868-DEVELOPMENT #7: Mon Aug 1 22:25:32 PDT 2016 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 maintained by: ports@FreeBSD.org ident warning: no id keywords in /build/boomdata/data/.m/bleeding-edge-default/ref/../04//usr/ports/devel/smv/Makefile Makefile ident: Poudriere version: 3.1-pre Host OSVERSION: 400700 Jail OSVERSION: 400702 !!! Jail is newer than host. (Jail: 400702, Host: 400700) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- STATUS=1 SAVED_TERM=screen MASTERMNT=/build/boomdata/data/.m/bleeding-edge-default/ref PATH=/usr/local/libexec/poudriere:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/pkg/sbin:/usr/games:/usr/local/sbin:/usr/local/bin:/usr/pkg/xorg/bin:/usr/X11R6/bin:/root/bin:/sbin:/usr/sbin POUDRIERE_BUILD_TYPE=bulk PKGNAME=smv-2.5.4.3_2 OLDPWD=/root/boom PWD=/build/boomdata/data/.m/bleeding-edge-default/ref/.p/pool MASTERNAME=bleeding-edge-default TERM=cons25 USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ===> The following configuration options are available for smv-2.5.4.3_2: 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/devel/smv XDG_CONFIG_HOME=/wrkdirs/devel/smv HOME=/wrkdirs/devel/smv TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/devel/smv XDG_CONFIG_HOME=/wrkdirs/devel/smv HOME=/wrkdirs/devel/smv TMPDIR="/tmp" NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" NOPROFILE=1 CC="gcc" CFLAGS="-pipe -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="g++" CXXFLAGS=" -pipe -O2 -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-- OSREL=4.7 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib PROFILE="@comment " 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 NO_BACKUP=yes USE_PACKAGE_DEPENDS=yes PKG_CREATE_VERBOSE=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORT_DBDIR=/options PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles MAKE_JOBS_NUMBER=5 ---End make.conf--- =================================================== ===> 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_2 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.8.7_3.txz Installing pkg-1.8.7_3... Extracting pkg-1.8.7_3: .......... done ===> smv-2.5.4.3_2 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of smv-2.5.4.3_2 =========================================================================== =================================================== =========================================================================== =================================================== ===> 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_2 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_2 for building => SHA256 Checksum OK for smv.r2.5.4.3.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> 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_2 for building ===> Extracting for smv-2.5.4.3_2 => SHA256 Checksum OK for smv.r2.5.4.3.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for smv-2.5.4.3_2 ===> Applying ports patches for smv-2.5.4.3_2 =========================================================================== =================================================== =========================================================================== =================================================== =========================================================================== =================================================== ===> Configuring for smv-2.5.4.3_2 =========================================================================== =================================================== ===> Building for smv-2.5.4.3_2 rm -f grammar.y m4 timing.m4 grammar.m4 > grammar.y yacc -d grammar.y; mv y.tab.c grammar.c gcc -pipe -O2 -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.\"" -c grammar.c y.tab.c: In function 'yyparse': y.tab.c:63:16: warning: implicit declaration of function 'yylex' [-Wimplicit-function-declaration] y.tab.c:1389:23: note: in expansion of macro 'YYLEX' y.tab.c:71:27: warning: implicit declaration of function 'yyerror' [-Wimplicit-function-declaration] y.tab.c:1426:5: note: in expansion of macro 'YYERROR_CALL' y.tab.c:1494:9: warning: implicit declaration of function 'memset' [-Wimplicit-function-declaration] y.tab.c:1494:9: warning: incompatible implicit declaration of built-in function 'memset' y.tab.c:1494:9: note: include '' or provide a declaration of 'memset' grammar.y:183:21: warning: implicit declaration of function 'find_atom' [-Wimplicit-function-declaration] neconstlist : constant {$$ = cons(find_atom($1),NIL);} ^ grammar.y:289:13: warning: implicit declaration of function 'check_spec' [-Wimplicit-function-declaration] command : SPEC expr SEMI {catch_err(check_spec($2))} ^ grammar.y:8:67: note: in definition of macro 'catch_err' #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} ^ grammar.y:290:13: warning: implicit declaration of function 'compute_bound' [-Wimplicit-function-declaration] | COMPUTE expr SEMI {catch_err(compute_bound($2))} ^ grammar.y:8:67: note: in definition of macro 'catch_err' #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} ^ grammar.y:291:13: warning: implicit declaration of function 'goto_state' [-Wimplicit-function-declaration] | GOTO state SEMI {catch_err(goto_state($2))} ^ grammar.y:8:67: note: in definition of macro 'catch_err' #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} ^ grammar.y:292:13: warning: implicit declaration of function 'assign_command' [-Wimplicit-function-declaration] | LET term EQDEF expr SEMI {catch_err(assign_command($2,$4))} ^ grammar.y:8:67: note: in definition of macro 'catch_err' #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} ^ grammar.y:293:13: warning: implicit declaration of function 'single_step' [-Wimplicit-function-declaration] | STEP SEMI {catch_err(single_step())} ^ grammar.y:8:67: note: in definition of macro 'catch_err' #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} ^ grammar.y:294:13: warning: implicit declaration of function 'eval_command' [-Wimplicit-function-declaration] | EVAL expr SEMI {catch_err(eval_command($2))} ^ grammar.y:8:67: note: in definition of macro 'catch_err' #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} ^ grammar.y:295:13: warning: implicit declaration of function 'init_command' [-Wimplicit-function-declaration] | INIT expr SEMI {catch_err(init_command($2))} ^ grammar.y:8:67: note: in definition of macro 'catch_err' #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} ^ grammar.y:296:13: warning: implicit declaration of function 'fair_command' [-Wimplicit-function-declaration] | FAIRNESS expr SEMI {catch_err(fair_command($2))} ^ grammar.y:8:67: note: in definition of macro 'catch_err' #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} ^ grammar.y:297:13: warning: implicit declaration of function 'trans_command' [-Wimplicit-function-declaration] | TRANS expr SEMI {catch_err(trans_command($2))} ^ grammar.y:8:67: note: in definition of macro 'catch_err' #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} ^ grammar.y:298:13: warning: implicit declaration of function 'reset_command' [-Wimplicit-function-declaration] | RESET SEMI {catch_err(reset_command())} ^ grammar.y:8:67: note: in definition of macro 'catch_err' #define catch_err(c) {longjmp_on_err = 1; if(!setjmp(longjmp_buf))c; longjmp_on_err = 0;} ^ grammar.y:302:16: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] trace : NUMBER {$$ = (node_ptr)find_atom($1);} ^ rm -f input.lex m4 timing.m4 input.m4 > input.lex lex -l input.lex; mv lex.yy.c input.c gcc -pipe -O2 -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.\"" -c input.c lex.yy.c: In function 'yyensure_buffer_stack': lex.yy.c:2131:3: warning: implicit declaration of function 'memset' [-Wimplicit-function-declaration] lex.yy.c:2131:3: warning: incompatible implicit declaration of built-in function 'memset' lex.yy.c:2131:3: note: include '' or provide a declaration of 'memset' lex.yy.c:2152:3: warning: incompatible implicit declaration of built-in function 'memset' lex.yy.c:2152:3: note: include '' or provide a declaration of 'memset' lex.yy.c: In function 'yy_scan_string': lex.yy.c:2203:29: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration] lex.yy.c:2203:29: warning: incompatible implicit declaration of built-in function 'strlen' lex.yy.c:2203:29: note: include '' or provide a declaration of 'strlen' gcc -pipe -O2 -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.\"" -c init.c init.c: In function 'signal_handler': init.c:90:5: warning: implicit declaration of function 'reset_maxnodes' [-Wimplicit-function-declaration] reset_maxnodes(); ^ init.c:95:5: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration] exit(1); ^ init.c:95:5: warning: incompatible implicit declaration of built-in function 'exit' init.c:95:5: note: include '' or provide a declaration of 'exit' init.c: In function 'my_exit': init.c:201:3: warning: incompatible implicit declaration of built-in function 'exit' exit(n); ^ init.c:201:3: note: include '' or provide a declaration of 'exit' init.c: In function 'print_usage': init.c:220:38: warning: implicit declaration of function 'get_bdd_nodes_allocated' [-Wimplicit-function-declaration] printf("BDD nodes allocated: %d\n",get_bdd_nodes_allocated()); ^ init.c:221:53: warning: implicit declaration of function 'sbrk' [-Wimplicit-function-declaration] printf("Bytes allocated: %d\n",(unsigned)((char *)sbrk(0)-addrstart)); ^ init.c:221:45: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] printf("Bytes allocated: %d\n",(unsigned)((char *)sbrk(0)-addrstart)); ^ init.c: In function 'yyerror': init.c:270:12: warning: type defaults to 'int' in declaration of 'yytext' [-Wimplicit-int] extern yytext; ^ gcc -pipe -O2 -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.\"" -c main.c main.c:65:1: warning: return type defaults to 'int' [-Wimplicit-int] main(argc,argv) ^ main.c: In function 'main': main.c:81:24: warning: implicit declaration of function 'sbrk' [-Wimplicit-function-declaration] addrstart = (char *) sbrk(0); ^ main.c:81:15: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] addrstart = (char *) sbrk(0); ^ main.c:90:8: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration] if(strcmp(*argv,"-rr")==0){ ^ main.c:239:2: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration] exit(1); ^ main.c:239:2: warning: incompatible implicit declaration of built-in function 'exit' main.c:239:2: note: include '' or provide a declaration of 'exit' main.c:328:23: warning: implicit declaration of function 'getpid' [-Wimplicit-function-declaration] fprintf(ff,"%d",getpid()); ^ main.c:357:3: warning: implicit declaration of function 'init_assoc' [-Wimplicit-function-declaration] init_assoc(); ^ main.c:363:6: warning: implicit declaration of function 'yyparse' [-Wimplicit-function-declaration] if(yyparse())my_exit(1); ^ main.c:368:3: warning: implicit declaration of function 'build_symbols' [-Wimplicit-function-declaration] build_symbols(); ^ gcc -pipe -O2 -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.\"" -c assoc.c assoc.c: In function 'assoc_hash_fun': assoc.c:18:10: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] return((int)(assoc->x)); ^ assoc.c: In function 'remove_assoc': assoc.c:62:3: warning: implicit declaration of function 'remove_hash' [-Wimplicit-function-declaration] remove_hash(hash,&a); ^ gcc -pipe -O2 -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.\"" -c bdd.c bdd.c: In function 'leaf_bdd': bdd.c:150:9: warning: type of 'n' defaults to 'int' [-Wimplicit-int] bdd_ptr leaf_bdd(n) ^ bdd.c: In function 'atomic_bdd': bdd.c:155:9: warning: type of 'n' defaults to 'int' [-Wimplicit-int] bdd_ptr atomic_bdd(n) ^ bdd.c: In function 'SWAPHALVES': bdd.c:168:20: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] return((void*)((((unsigned)(x)) << (sizeof(void *)*4)) ^ bdd.c:168:35: warning: left shift count >= width of type [-Wshift-count-overflow] return((void*)((((unsigned)(x)) << (sizeof(void *)*4)) ^ bdd.c:169:7: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] | (((unsigned)(x)) >> (sizeof(void *)*4)))); ^ bdd.c:169:22: warning: right shift count >= width of type [-Wshift-count-overflow] | (((unsigned)(x)) >> (sizeof(void *)*4)))); ^ bdd.c:168:10: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] return((void*)((((unsigned)(x)) << (sizeof(void *)*4)) ^ bdd.c: In function 'shuffle_bits': bdd.c:176:17: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] unsigned i, y=(unsigned)x, pos=1, res = 0; ^ bdd.c: In function 'find_bdd': bdd.c:191:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) ^ bdd.c:217:15: note: in expansion of macro 'HASHING' hash_num = HASHING(d1, d2, level, reduce_table.n); ^ bdd.c:191:68: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) ^ bdd.c:217:15: note: in expansion of macro 'HASHING' hash_num = HASHING(d1, d2, level, reduce_table.n); ^ bdd.c: In function 'add_to_hash_table': bdd.c:191:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) ^ bdd.c:319:14: note: in expansion of macro 'HASHING' hash_num = HASHING(q->left, q->right, GETLEVEL(q), reduce_table.n); ^ bdd.c:191:68: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) ^ bdd.c:319:14: note: in expansion of macro 'HASHING' hash_num = HASHING(q->left, q->right, GETLEVEL(q), reduce_table.n); ^ bdd.c: In function 'sweep_and_collect': bdd.c:408:16: warning: type defaults to 'int' in declaration of 'k' [-Wimplicit-int] { register k = GETLEVEL(bddlist->left.bddtype); ^ bdd.c: In function 'find_optimal_position': bdd.c:492:3: warning: implicit declaration of function 'set_variable_names' [-Wimplicit-function-declaration] set_variable_names(); ^ bdd.c: At top level: bdd.c:531:1: warning: return type defaults to 'int' [-Wimplicit-int] set_variable_names() ^ bdd.c: In function 'set_variable_names': bdd.c:546:7: warning: implicit declaration of function 'catastrophe' [-Wimplicit-function-declaration] catastrophe(str); ^ bdd.c: In function 'reorder_variables': bdd.c:691:4: warning: implicit declaration of function 'output_order' [-Wimplicit-function-declaration] output_order(); ^ bdd.c: In function 'save_apply': bdd.c:191:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) ^ bdd.c:736:41: note: in expansion of macro 'HASHING' register apply_rec *a = apply_cache + HASHING(d1, d2, op, apply_cache_size); ^ bdd.c:191:68: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) ^ bdd.c:736:41: note: in expansion of macro 'HASHING' register apply_rec *a = apply_cache + HASHING(d1, d2, op, apply_cache_size); ^ bdd.c: In function 'insert_apply': bdd.c:191:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) ^ bdd.c:755:6: note: in expansion of macro 'HASHING' HASHING(d1, d2, op, ((op < USE_BIG_CACHE) ? MINI_CACHE_SIZE : apply_cache_size)); ^ bdd.c:191:68: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) ^ bdd.c:755:6: note: in expansion of macro 'HASHING' HASHING(d1, d2, op, ((op < USE_BIG_CACHE) ? MINI_CACHE_SIZE : apply_cache_size)); ^ bdd.c: In function 'find_apply': bdd.c:191:35: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) ^ bdd.c:776:6: note: in expansion of macro 'HASHING' HASHING(d1, d2, op, ((op < USE_BIG_CACHE) ? MINI_CACHE_SIZE : apply_cache_size)); ^ bdd.c:191:68: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] #define HASHING(d1, d2, d3, n) ((((unsigned) (SWAPHALVES(d1))) ^ (((unsigned) (d2))>>2) ^ (((unsigned) (d3))<<2)) % ((unsigned) (n))) ^ bdd.c:776:6: note: in expansion of macro 'HASHING' HASHING(d1, d2, op, ((op < USE_BIG_CACHE) ? MINI_CACHE_SIZE : apply_cache_size)); ^ bdd.c: In function 'if_then_bdd': bdd.c:978:16: warning: implicit declaration of function 'type_error' [-Wimplicit-function-declaration] if(ISLEAF(a))type_error(a->left); ^ bdd.c: At top level: bdd.c:1026:8: warning: return type defaults to 'int' [-Wimplicit-int] static swapwords(a,b) ^ bdd.c: In function 'and_bdd': bdd.c:1091:7: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] if(((int)a)>((int)b))swapwords(&a,&b); ^ bdd.c:1091:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] if(((int)a)>((int)b))swapwords(&a,&b); ^ bdd.c: In function 'or_bdd': bdd.c:1129:7: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] if(((int)a)>((int)b))swapwords(&a,&b); ^ bdd.c:1129:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] if(((int)a)>((int)b))swapwords(&a,&b); ^ bdd.c: In function 'xor_bdd': bdd.c:1156:7: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] if(((int)a)>((int)b))swapwords(&a,&b); ^ bdd.c:1156:16: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] if(((int)a)>((int)b))swapwords(&a,&b); ^ bdd.c: At top level: bdd.c:1556:8: warning: return type defaults to 'int' [-Wimplicit-int] static markbddlist(bddlist) ^ bdd.c:1565:1: warning: return type defaults to 'int' [-Wimplicit-int] check_bdd(d) ^ bdd.c: In function 'check_bdd': bdd.c:1570:31: warning: 'return' with no value, in function returning non-void if(((bdd_ptr)car(p)) == d)return; ^ bdd.c: At top level: bdd.c:1598:8: warning: return type defaults to 'int' [-Wimplicit-int] static force_garbage() ^ bdd.c: In function 'force_garbage': bdd.c:1625:14: warning: implicit declaration of function 'pr_status' [-Wimplicit-function-declaration] if(verbose)pr_status(); ^ bdd.c: At top level: bdd.c:1661:1: warning: return type defaults to 'int' [-Wimplicit-int] mygarbage() ^ bdd.c:1690:1: warning: return type defaults to 'int' [-Wimplicit-int] reset_maxnodes() ^ bdd.c:1696:1: warning: return type defaults to 'int' [-Wimplicit-int] restart_bdd() ^ bdd.c:1704:1: warning: return type defaults to 'int' [-Wimplicit-int] pr_status() ^ bdd.c: In function 'value_bdd': bdd.c:1942:23: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] if(ISLEAF(a))return((int)(a->left)); ^ bdd.c:1944:14: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] if(temp == (int)ELSE_LEAF) temp = value_bdd(a->right); ^ gcc -pipe -O2 -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.\"" -c hash.c hash.c: In function 'new_hash': hash.c:16:3: warning: implicit declaration of function 'bzero' [-Wimplicit-function-declaration] bzero(res->tab,init_size * sizeof(rec_ptr)); ^ hash.c:16:3: warning: incompatible implicit declaration of built-in function 'bzero' hash.c: In function 'remove_hash': hash.c:78:3: warning: implicit declaration of function 'catastrophe' [-Wimplicit-function-declaration] catastrophe("remove_hash: record not found"); ^ gcc -pipe -O2 -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.\"" -c node.c node.c: In function 'list_length': node.c:124:8: warning: implicit declaration of function 'catastrophe' [-Wimplicit-function-declaration] if(l)catastrophe("list_length: l->type!=LIST"); ^ node.c: In function 'sprint_node1': node.c:268:33: warning: implicit declaration of function 'sprint_node' [-Wimplicit-function-declaration] if(!n->left.nodetype)return(sprint_node(str,size,n->right.nodetype)); ^ node.c: In function 'print_node': node.c:407:3: warning: implicit declaration of function 'print_node_atcol' [-Wimplicit-function-declaration] print_node_atcol(stream,n,0); ^ node.c: At top level: node.c:600:1: warning: return type defaults to 'int' [-Wimplicit-int] print_node_stdout(n) ^ node.c: In function 'print_node_atcol': node.c:614:19: warning: implicit declaration of function 'rpterr' [-Wimplicit-function-declaration] if(buf == NULL) rpterr("Out of memory"); ^ node.c:617:7: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration] p = strlen(buf); ^ node.c:617:7: warning: incompatible implicit declaration of built-in function 'strlen' node.c:617:7: note: include '' or provide a declaration of 'strlen' node.c: In function 'make_subst_hash': node.c:678:7: warning: implicit declaration of function 'start_err' [-Wimplicit-function-declaration] start_err(); ^ node.c:681:7: warning: implicit declaration of function 'finish_err' [-Wimplicit-function-declaration] finish_err(); ^ node.c: At top level: node.c:727:1: warning: return type defaults to 'int' [-Wimplicit-int] occur_check(n) ^ gcc -pipe -O2 -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.\"" -c storage.c storage.c: In function 'init_storage': storage.c:15:37: warning: implicit declaration of function 'sbrk' [-Wimplicit-function-declaration] addrfree = addrlimit = (char *) sbrk(0); ^ storage.c:15:28: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] addrfree = addrlimit = (char *) sbrk(0); ^ storage.c: At top level: storage.c:19:8: warning: return type defaults to 'int' [-Wimplicit-int] static getmore() ^ storage.c: In function 'getmore': storage.c:23:19: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] if(addrlimit != (char *)sbrk(0)){ /* in case someone else did sbrk */ ^ storage.c:25:28: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] addrfree = addrlimit = (char *)sbrk(0); ^ storage.c:26:9: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] if(((unsigned)addrlimit) % 4 != 0) ^ storage.c:27:7: warning: implicit declaration of function 'rpterr' [-Wimplicit-function-declaration] rpterr("Failed to allocate %d bytes: addrlimit = %xH, na = %xH\n", ^ storage.c:28:17: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] ALLOCSIZE,(int)addrlimit,(int)na); ^ storage.c:28:32: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] ALLOCSIZE,(int)addrlimit,(int)na); ^ storage.c:30:12: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast] if((na = (char *)sbrk(ALLOCSIZE)) != addrlimit) ^ storage.c:32:15: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] ALLOCSIZE,(int)addrlimit,(int)na); ^ storage.c:32:30: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] ALLOCSIZE,(int)addrlimit,(int)na); ^ storage.c: In function 'dup_rec': storage.c:120:3: warning: implicit declaration of function 'bcopy' [-Wimplicit-function-declaration] bcopy(r,res,mp->rec_size); ^ storage.c:120:3: warning: incompatible implicit declaration of built-in function 'bcopy' gcc -pipe -O2 -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.\"" -c string.c string.c: In function 'string_eq_fun': string.c:22:10: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration] return(strcmp(a1->text,a2->text)==0); ^ string.c: In function 'find_string': string.c:38:20: warning: implicit declaration of function 'strcpy' [-Wimplicit-function-declaration] a.text = (char *)strcpy((char *)smv_malloc(strlen(x)+1),x); ^ string.c:38:20: warning: incompatible implicit declaration of built-in function 'strcpy' string.c:38:20: note: include '' or provide a declaration of 'strcpy' string.c:38:46: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration] a.text = (char *)strcpy((char *)smv_malloc(strlen(x)+1),x); ^ string.c:38:46: warning: incompatible implicit declaration of built-in function 'strlen' string.c:38:46: note: include '' or provide a declaration of 'strlen' gcc -pipe -O2 -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.\"" -c symbols.c symbols.c: In function 'eval_num': symbols.c:132:17: warning: implicit declaration of function 'catastrophe' [-Wimplicit-function-declaration] if(!ISLEAF(d))catastrophe("eval_num: !ISLEAF(d)"); ^ symbols.c:134:24: warning: implicit declaration of function 'rpterr' [-Wimplicit-function-declaration] if(n->type != NUMBER)rpterr("numeric constant required"); ^ symbols.c: In function 'get_definition': symbols.c:150:24: warning: implicit declaration of function 'circular' [-Wimplicit-function-declaration] if(res == EVALUATING)circular(n); ^ symbols.c:154:5: warning: implicit declaration of function 'indent_node' [-Wimplicit-function-declaration] indent_node(stderr,"evaluating ",n,":\n"); ^ symbols.c:157:3: warning: implicit declaration of function 'push_atom' [-Wimplicit-function-declaration] push_atom(n); ^ symbols.c:159:3: warning: implicit declaration of function 'pop_atom' [-Wimplicit-function-declaration] pop_atom(n); ^ symbols.c: In function 'enforce_definition': symbols.c:312:3: warning: implicit declaration of function 'undefined' [-Wimplicit-function-declaration] undefined(n); ^ symbols.c: At top level: symbols.c:334:8: warning: return type defaults to 'int' [-Wimplicit-int] static notanumber(n) ^ symbols.c: In function 'notanumber': symbols.c:337:3: warning: implicit declaration of function 'start_err' [-Wimplicit-function-declaration] start_err(); ^ symbols.c:340:3: warning: implicit declaration of function 'finish_err' [-Wimplicit-function-declaration] finish_err(); ^ symbols.c: In function 'union_node': symbols.c:466:7: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] if(((int)car(n1)) < ((int)car(n2))) ^ symbols.c:466:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] if(((int)car(n1)) < ((int)car(n2))) ^ symbols.c: In function 'cp_reverse': symbols.c:546:5: warning: implicit declaration of function 'mygarbage' [-Wimplicit-function-declaration] mygarbage(); ^ 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 gcc -pipe -O2 -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 =========================================================================== =================================================== =========================================================================== =================================================== ===> Staging for smv-2.5.4.3_2 ===> Generating temporary packing list install -s -m 555 /wrkdirs/devel/smv/smv/smv /wrkdirs/devel/smv/stage/usr/local/bin /bin/mkdir -p /wrkdirs/devel/smv/stage/usr/local/share/smv install -m 0644 /wrkdirs/devel/smv/smv/smv-mode.el /wrkdirs/devel/smv/stage/usr/local/share/smv install -m 444 /wrkdirs/devel/smv/smv/smv.1 /wrkdirs/devel/smv/stage/usr/local/man/man1 /bin/mkdir -p /wrkdirs/devel/smv/stage/usr/local/share/doc/smv install -m 444 /wrkdirs/devel/smv/smv/NEW /wrkdirs/devel/smv/stage/usr/local/share/doc/smv install -m 444 /wrkdirs/devel/smv/smv/README /wrkdirs/devel/smv/stage/usr/local/share/doc/smv install -m 444 /wrkdirs/devel/smv/smv/doc/smvmanual.ps /wrkdirs/devel/smv/stage/usr/local/share/doc/smv /bin/mkdir -p /wrkdirs/devel/smv/stage/usr/local/share/examples/smv install -m 444 /wrkdirs/devel/smv/smv/examples/counter.smv /wrkdirs/devel/smv/stage/usr/local/share/examples/smv install -m 444 /wrkdirs/devel/smv/smv/examples/dme1.smv /wrkdirs/devel/smv/stage/usr/local/share/examples/smv install -m 444 /wrkdirs/devel/smv/smv/examples/dme2.smv /wrkdirs/devel/smv/stage/usr/local/share/examples/smv install -m 444 /wrkdirs/devel/smv/smv/examples/featuring.smv /wrkdirs/devel/smv/stage/usr/local/share/examples/smv install -m 444 /wrkdirs/devel/smv/smv/examples/gigamax.smv /wrkdirs/devel/smv/stage/usr/local/share/examples/smv install -m 444 /wrkdirs/devel/smv/smv/examples/mutex.smv /wrkdirs/devel/smv/stage/usr/local/share/examples/smv install -m 444 /wrkdirs/devel/smv/smv/examples/mutex1.smv /wrkdirs/devel/smv/stage/usr/local/share/examples/smv install -m 444 /wrkdirs/devel/smv/smv/examples/periodic.smv /wrkdirs/devel/smv/stage/usr/local/share/examples/smv install -m 444 /wrkdirs/devel/smv/smv/examples/ring.smv /wrkdirs/devel/smv/stage/usr/local/share/examples/smv install -m 444 /wrkdirs/devel/smv/smv/examples/semaphore.smv /wrkdirs/devel/smv/stage/usr/local/share/examples/smv install -m 444 /wrkdirs/devel/smv/smv/examples/short.smv /wrkdirs/devel/smv/stage/usr/local/share/examples/smv install -m 444 /wrkdirs/devel/smv/smv/examples/syncarb5.smv /wrkdirs/devel/smv/stage/usr/local/share/examples/smv ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===> Building package for smv-2.5.4.3_2 file sizes/checksums [18]: . done packing files [18]: . done packing directories [0]: . done =========================================================================== => Cleaning up wrkdir ===> Cleaning for smv-2.5.4.3_2 build of devel/smv ended at Wed Oct 5 00:57:13 PDT 2016 build time: 00:00:16