Building smv-2.5.4.3_1.txz (origin /buildshare/ports/355755/devel/smv) for powerpc-10-0 on XXX slot2: created x distfiles/ x distfiles/smv.r2.5.4.3.tar.gz x packages/ x packages/perl5-5.16.3_10.txz x packages/gettext-0.18.3.1_1.txz x packages/pkg-1.2.7_2.txz x packages/mpc-1.0.2.txz x packages/gcc-4.7.3_1.txz x packages/binutils-2.24.txz x packages/mpfr-3.1.2_2.txz x packages/gmp-5.1.3_2.txz x packages/gmake-3.82_1.txz x packages/m4-1.4.17_1,1.txz x packages/bison-2.7.1,1.txz ELF ldconfig path: /lib /usr/lib /usr/lib/compat Make depends ===> smv-2.5.4.3_1 depends on file: /usr/local/sbin/pkg - not found ===> Verifying install for /usr/local/sbin/pkg in /buildshare/ports/355755/ports-mgmt/pkg ===> Installing existing package /packages/pkg-1.2.7_2.txz Installing pkg-1.2.7_2... done If you are upgrading from the old package format, first run: # pkg2ng ===> Returning to build of smv-2.5.4.3_1 ===> smv-2.5.4.3_1 depends on executable: gcc47 - not found ===> Verifying install for gcc47 in /buildshare/ports/355755/lang/gcc ===> Installing existing package /packages/gcc-4.7.3_1.txz Installing gcc-4.7.3_1...Installing binutils-2.24...Installing gettext-0.18.3.1_1... done done Installing gmp-5.1.3_2... done Installing mpc-1.0.2...Installing mpfr-3.1.2_2... done done done To ensure binaries built with this toolchain find appropriate versions of the necessary run-time libraries, you may want to link using -Wl,-rpath=/usr/local/lib/gcc47 For ports leveraging USE_GCC, USES=compiler, or USES=fortran this happens transparently. ===> Returning to build of smv-2.5.4.3_1 ===> smv-2.5.4.3_1 depends on file: /usr/local/bin/as - found ===> smv-2.5.4.3_1 depends on executable: gcc47 - found Make install ===> smv-2.5.4.3_1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by smv-2.5.4.3_1 for building ===> Extracting for smv-2.5.4.3_1 => SHA256 Checksum OK for smv.r2.5.4.3.tar.gz. ===> Patching for smv-2.5.4.3_1 ===> Applying FreeBSD patches for smv-2.5.4.3_1 ===> smv-2.5.4.3_1 depends on executable: gcc47 - found ===> smv-2.5.4.3_1 depends on file: /usr/local/bin/as - found ===> Configuring for smv-2.5.4.3_1 ===> Building for smv-2.5.4.3_1 rm -f grammar.y m4 timing.m4 grammar.m4 > grammar.y yacc -d grammar.y; mv y.tab.c grammar.c gcc47 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc47 -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:1490:9: warning: incompatible implicit declaration of built-in function 'memset' [enabled by default] rm -f input.lex m4 timing.m4 input.m4 > input.lex lex -l input.lex; mv lex.yy.c input.c gcc47 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc47 -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:2108:3: warning: incompatible implicit declaration of built-in function 'memset' [enabled by default] lex.yy.c:2129:3: warning: incompatible implicit declaration of built-in function 'memset' [enabled by default] lex.yy.c: In function 'yy_scan_string': lex.yy.c:2180:29: warning: incompatible implicit declaration of built-in function 'strlen' [enabled by default] gcc47 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc47 -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:95:5: warning: incompatible implicit declaration of built-in function 'exit' [enabled by default] init.c: In function 'my_exit': init.c:201:3: warning: incompatible implicit declaration of built-in function 'exit' [enabled by default] gcc47 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc47 -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: In function 'main': main.c:239:2: warning: incompatible implicit declaration of built-in function 'exit' [enabled by default] gcc47 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc47 -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 gcc47 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc47 -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 gcc47 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc47 -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: incompatible implicit declaration of built-in function 'bzero' [enabled by default] gcc47 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc47 -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 'print_node_atcol': node.c:617:7: warning: incompatible implicit declaration of built-in function 'strlen' [enabled by default] gcc47 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc47 -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 'dup_rec': storage.c:120:3: warning: incompatible implicit declaration of built-in function 'bcopy' [enabled by default] gcc47 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc47 -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 'find_string': string.c:38:20: warning: incompatible implicit declaration of built-in function 'strcpy' [enabled by default] string.c:38:46: warning: incompatible implicit declaration of built-in function 'strlen' [enabled by default] gcc47 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc47 -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 'output_order': symbols.c:4180:5: warning: incompatible implicit declaration of built-in function 'exit' [enabled by default] rm -f smv gcc47 -O2 -pipe -Wl,-rpath=/usr/local/lib/gcc47 -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_1 ===> smv-2.5.4.3_1 depends on executable: gcc47 - found ===> Generating temporary packing list install -s -o root -g wheel -m 555 /obj/buildshare/ports/355755/devel/smv/work/smv/smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/bin /bin/mkdir -p /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/smv-mode.el /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/smv.1 /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/man/man1 /bin/mkdir -p /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/doc/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/NEW /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/doc/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/README /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/doc/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/doc/smvmanual.ps /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/doc/smv /bin/mkdir -p /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/examples/counter.smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/examples/dme1.smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/examples/dme2.smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/examples/featuring.smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/examples/gigamax.smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/examples/mutex.smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/examples/mutex1.smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/examples/periodic.smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/examples/ring.smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/examples/semaphore.smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/examples/short.smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv install -o root -g wheel -m 444 /obj/buildshare/ports/355755/devel/smv/work/smv/examples/syncarb5.smv /obj/buildshare/ports/355755/devel/smv/work/stage/usr/local/share/examples/smv ====> Compressing man pages (compress-man) ===> Installing for smv-2.5.4.3_1 ===> Checking if devel/smv already installed ===> Registering installation for smv-2.5.4.3_1 Installing smv-2.5.4.3_1... done Make package ===> Building package for smv-2.5.4.3_1 slot2: removed