=> Building misc/otter Started : Thursday, 12 APR 2018 at 01:31:22 UTC Platform: 5.3-DEVELOPMENT DragonFly v5.3.0.81.g32506c-DEVELOPMENT #29: Tue Apr 10 08:49:52 PDT 2018 marino@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.2-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.2-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- ===> The following configuration options are available for otter-3.3f_2: DOCS=on: Build and/or install documentation EXAMPLES=on: Build and/or install examples ===> Use 'make config' to modify these settings -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/misc/otter XDG_CONFIG_HOME=/construction/misc/otter HOME=/construction/misc/otter TMPDIR="/tmp" PATH=/construction/misc/otter/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/misc/otter XDG_CONFIG_HOME=/construction/misc/otter HOME=/construction/misc/otter TMPDIR="/tmp" PATH=/construction/misc/otter/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin 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="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_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" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing" DESTDIR=/construction/misc/otter/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- PORTDOCS="" PORTEXAMPLES="" OSREL=5.2 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/otter" EXAMPLESDIR="share/examples/otter" DATADIR="share/otter" WWWDIR="www/otter" ETCDIR="etc/otter" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/otter DOCSDIR=/usr/local/share/doc/otter EXAMPLESDIR=/usr/local/share/examples/otter WWWDIR=/usr/local/www/otter ETCDIR=/usr/local/etc/otter -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=Release-5.2 USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=5 LICENSES_ACCEPTED= NONE HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500200 OSVERSION=9999999 OSREL=5.2 _OSRELEASE=5.2-SYNTH -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> otter-3.3f_2 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5.txz Installing pkg-1.10.5... Extracting pkg-1.10.5: .......... done ===> otter-3.3f_2 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of otter-3.3f_2 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> Fetching all distfiles required by otter-3.3f_2 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> Fetching all distfiles required by otter-3.3f_2 for building => SHA256 Checksum OK for otter-3.3f.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> Fetching all distfiles required by otter-3.3f_2 for building ===> Extracting for otter-3.3f_2 => SHA256 Checksum OK for otter-3.3f.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for otter-3.3f_2 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for otter-3.3f_2 -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for otter-3.3f_2 /usr/bin/make realclean /usr/bin/make -C source realclean /bin/rm -f *.o *.a otter *~ /usr/bin/make -C mace2 realclean /bin/rm -f *.o mace2 anldp *~ /usr/bin/make -C examples realclean /bin/rm -f */*.out[0-9]* *~ */*~ Run_all.out.* /usr/bin/make -C examples-mace2 realclean /bin/rm -f */*.out[0-9]* *~ */*~ Run_all.out.* /bin/rm -f bin/* /bin/rm -f *~ /usr/bin/make -C source all cc -pipe -O2 -fno-strict-aliasing -c main.c cc -pipe -O2 -fno-strict-aliasing -c av.c av.c: In function 'free_context': av.c:477:55: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] printf("ERROR, context %x, var %d not null.\n", (unsigned) p->contexts[i], i); ^ cc -pipe -O2 -fno-strict-aliasing -c io.c cc -pipe -O2 -fno-strict-aliasing -c share.c share.c: In function 'hash_term': share.c:44:18: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] hashval ^= (int) r->argval; /* exclusive or */ ^ cc -pipe -O2 -fno-strict-aliasing -c fpa.c cc -pipe -O2 -fno-strict-aliasing -c clocks.c cc -pipe -O2 -fno-strict-aliasing -c unify.c cc -pipe -O2 -fno-strict-aliasing -c demod.c cc -pipe -O2 -fno-strict-aliasing -c weight.c cc -pipe -O2 -fno-strict-aliasing -c imd.c cc -pipe -O2 -fno-strict-aliasing -c is.c cc -pipe -O2 -fno-strict-aliasing -c clause.c cc -pipe -O2 -fno-strict-aliasing -c options.c cc -pipe -O2 -fno-strict-aliasing -c resolve.c cc -pipe -O2 -fno-strict-aliasing -c index.c cc -pipe -O2 -fno-strict-aliasing -c paramod.c cc -pipe -O2 -fno-strict-aliasing -c formula.c cc -pipe -O2 -fno-strict-aliasing -c process.c cc -pipe -O2 -fno-strict-aliasing -c misc.c cc -pipe -O2 -fno-strict-aliasing -c lrpo.c cc -pipe -O2 -fno-strict-aliasing -c linkur.c cc -pipe -O2 -fno-strict-aliasing -c linkhyp.c cc -pipe -O2 -fno-strict-aliasing -c foreign.c cc -pipe -O2 -fno-strict-aliasing -c geometry.c cc -pipe -O2 -fno-strict-aliasing -c hot.c cc -pipe -O2 -fno-strict-aliasing -c nonport.c nonport.c: In function 'foreach_sos': nonport.c:336:19: warning: implicit declaration of function 'fork' [-Wimplicit-function-declaration] fork_status = fork(); ^ nonport.c:353:7: warning: implicit declaration of function 'wait' [-Wimplicit-function-declaration] wait(0); ^ cc -pipe -O2 -fno-strict-aliasing -c check.c cc -pipe -O2 -fno-strict-aliasing -c hints.c cc -pipe -O2 -fno-strict-aliasing -c hints2.c cc -pipe -O2 -fno-strict-aliasing -c attrib.c cc -pipe -O2 -fno-strict-aliasing -c case.c case.c: In function 'assumps_to_parent': case.c:1030:7: warning: implicit declaration of function 'write' [-Wimplicit-function-declaration] i = write(To_parent, assumptions, MAX_SPLIT_DEPTH+1); ^ cc -pipe -O2 -fno-strict-aliasing -c lisp.c cc -pipe -O2 -fno-strict-aliasing -c ivy.c cc -pipe -O2 -fno-strict-aliasing -c pickdiff.c cc -pipe -O2 -fno-strict-aliasing -c overbeek.c cc -pipe -O2 -fno-strict-aliasing -c multijust.c cc -pipe -O2 -fno-strict-aliasing -c lists.c cc -pipe -O2 -fno-strict-aliasing -c fpa2.c ar rs libotter.a av.o io.o share.o fpa.o clocks.o unify.o demod.o weight.o imd.o is.o clause.o options.o resolve.o index.o paramod.o formula.o process.o misc.o lrpo.o linkur.o linkhyp.o foreign.o geometry.o hot.o nonport.o check.o hints.o hints2.o attrib.o case.o lisp.o ivy.o pickdiff.o overbeek.o multijust.o lists.o fpa2.o /usr/libexec/binutils227/elf/ar: creating libotter.a cc -pipe -O2 -fno-strict-aliasing main.o libotter.a -o otter /bin/mv otter ../bin /bin/rm -f *.o /usr/bin/make -C mace2 all cc -pipe -O2 -fno-strict-aliasing -c mace2.c cc -pipe -O2 -fno-strict-aliasing -c clock.c cc -pipe -O2 -fno-strict-aliasing -c avail.c cc -pipe -O2 -fno-strict-aliasing -c opts.c cc -pipe -O2 -fno-strict-aliasing -c stats.c cc -pipe -O2 -fno-strict-aliasing -c miscellany.c cc -pipe -O2 -fno-strict-aliasing -c flatten.c cc -pipe -O2 -fno-strict-aliasing -c dp.c dp.c: In function 'p_atom': dp.c:320:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] printf("%x,", (unsigned) a->pos_occ[j]); ^ dp.c:323:19: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] printf("%x,", (unsigned) a->neg_occ[j]); ^ cc -pipe -O2 -fno-strict-aliasing -c generate.c cc -pipe -O2 -fno-strict-aliasing -c print.c cc -pipe -O2 -fno-strict-aliasing -c part.c cc -pipe -O2 -fno-strict-aliasing mace2.o clock.o avail.o opts.o stats.o miscellany.o flatten.o dp.o generate.o print.o part.o ../source/libotter.a -o mace2 cc -pipe -O2 -fno-strict-aliasing -c anldp.c anldp.c: In function 'MACE_print_banner': anldp.c:74:5: warning: implicit declaration of function 'username' [-Wimplicit-function-declaration] username(), hostname(), get_time()); ^ anldp.c:74:17: warning: implicit declaration of function 'hostname' [-Wimplicit-function-declaration] username(), hostname(), get_time()); ^ anldp.c:74:29: warning: implicit declaration of function 'get_time' [-Wimplicit-function-declaration] username(), hostname(), get_time()); ^ anldp.c: In function 'main': anldp.c:209:23: warning: implicit declaration of function 'wall_seconds' [-Wimplicit-function-declaration] Init_wall_seconds = wall_seconds(); ^ anldp.c:216:3: warning: implicit declaration of function 'init' [-Wimplicit-function-declaration] init(); /* This is Otter's initialization. */ ^ cc -pipe -O2 -fno-strict-aliasing anldp.o clock.o avail.o opts.o stats.o miscellany.o flatten.o dp.o generate.o print.o part.o ../source/libotter.a -o anldp /bin/mv mace2 anldp ../bin /bin/rm -f *.o -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for otter-3.3f_2 ===> Generating temporary packing list install -s -m 555 /construction/misc/otter/otter-3.3f/bin/anldp /construction/misc/otter/otter-3.3f/bin/mace2 /construction/misc/otter/otter-3.3f/bin/otter /construction/misc/otter/stage/usr/local/bin install -m 0644 /construction/misc/otter/otter-3.3f/documents/README /construction/misc/otter/otter-3.3f/documents/anldp.pdf /construction/misc/otter/otter-3.3f/documents/mace2.pdf /construction/misc/otter/otter-3.3f/documents/otter33.pdf /construction/misc/otter/stage/usr/local/share/doc/otter (cd /construction/misc/otter/otter-3.3f/examples; /bin/pax -rw . /construction/misc/otter/stage/usr/local/share/examples/otter) (cd /construction/misc/otter/otter-3.3f/examples-mace2; /bin/pax -rw . /construction/misc/otter/stage/usr/local/share/examples/mace2) ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for otter-3.3f_2 file sizes/checksums [326]: .... done packing files [326]: .... done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Thursday, 12 APR 2018 at 01:31:43 UTC Duration: 00:00:20