------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- ===> The following configuration options are available for otter-3.3f_4: DOCS=on: Build and/or install documentation EXAMPLES=on: Build and/or install examples ===> Use 'make config' to modify these settings SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/misc/otter XDG_CONFIG_HOME=/construction/misc/otter XDG_CACHE_HOME=/construction/misc/otter/.cache HOME=/construction/misc/otter TMPDIR="/tmp" PATH=/construction/misc/otter/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/misc/otter/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/misc/otter XDG_CONFIG_HOME=/construction/misc/otter XDG_CACHE_HOME=/construction/misc/otter/.cache HOME=/construction/misc/otter TMPDIR="/tmp" PATH=/construction/misc/otter/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/misc/otter/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local 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" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing " DESTDIR=/construction/misc/otter/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- PORTDOCS="" PORTEXAMPLES="" OSREL=6.5 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" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: 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 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/ccache-3.7.12_4.pkg Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> otter-3.3f_4 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> otter-3.3f_4 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by otter-3.3f_4 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> otter-3.3f_4 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by otter-3.3f_4 for building => SHA256 Checksum OK for otter-3.3f.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> otter-3.3f_4 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by otter-3.3f_4 for building ===> Extracting for otter-3.3f_4 => SHA256 Checksum OK for otter-3.3f.tar.gz. Extracted Memory Use: 9.93M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for otter-3.3f_4 ===> Applying ports patches for otter-3.3f_4 from /xports/misc/otter/files SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> otter-3.3f_4 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> otter-3.3f_4 depends on file: /usr/local/bin/ccache - found ===> Configuring for otter-3.3f_4 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for otter-3.3f_4 /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'; did you mean 'init'? [-Wimplicit-function-declaration] wait(0); ^~~~ init 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'; did you mean 'fwrite'? [-Wimplicit-function-declaration] i = write(To_parent, assumptions, MAX_SPLIT_DEPTH+1); ^~~~~ fwrite 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 In function 'multi_map', inlined from 'multi_just_process' at multijust.c:1340:3: multijust.c:490:12: warning: argument 1 range [18446744071562067968, 18446744073709551615] exceeds maximum object size 9223372036854775807 [-Walloc-size-larger-than=] A_to_B = calloc(Asize, sizeof(int)); ^~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from header.h:14, from multijust.c:7: multijust.c: In function 'multi_just_process': /usr/include/stdlib.h:99:7: note: in a call to allocation function 'calloc' declared here void *calloc(size_t, size_t) __alloc_size2(1, 2) __malloclike __heedresult; ^~~~~~ 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/binutils234/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 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 SUCCEEDED 00:00:03 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for otter-3.3f_4 ===> 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) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for otter-3.3f_4 file sizes/checksums [326]: 0% file sizes/checksums [326]: 30% file sizes/checksums [326]: 61% file sizes/checksums [326]: 92% file sizes/checksums [326]: 100% Service unavailablepacking files [326]: 0% packing files [326]: 30% packing files [326]: 61% packing files [326]: 92% packing files [326]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:00:06