Building ltl2ba-1.1.txz (origin /buildshare/ports/355755/math/ltl2ba) for powerpc-10-0 on XXX
slot2: created
x distfiles/
x distfiles/ltl2ba-1.1.tar.gz
x packages/
x packages/pkg-1.2.7_2.txz
ELF ldconfig path: /lib /usr/lib /usr/lib/compat
Make depends
===>   ltl2ba-1.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 ltl2ba-1.1
Make install
===>  License GPLv2 accepted by the user
===>   ltl2ba-1.1 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by ltl2ba-1.1 for building
===>  Extracting for ltl2ba-1.1
=> SHA256 Checksum OK for ltl2ba-1.1.tar.gz.
===>  Patching for ltl2ba-1.1
/usr/bin/sed -i.bak -e '/^CC=/d' -e '/^CFLAGS=/d' /obj/buildshare/ports/355755/math/ltl2ba/work/ltl2ba-1.1/Makefile
===>  Configuring for ltl2ba-1.1
===>  Building for ltl2ba-1.1
cc -O2 -pipe -DNXT -fno-strict-aliasing  -c parse.c
cc -O2 -pipe -DNXT -fno-strict-aliasing  -c lex.c
cc -O2 -pipe -DNXT -fno-strict-aliasing  -c main.c
cc -O2 -pipe -DNXT -fno-strict-aliasing  -c trans.c
cc -O2 -pipe -DNXT -fno-strict-aliasing  -c buchi.c
cc -O2 -pipe -DNXT -fno-strict-aliasing  -c set.c
cc -O2 -pipe -DNXT -fno-strict-aliasing  -c mem.c
cc -O2 -pipe -DNXT -fno-strict-aliasing  -c rewrt.c
cc -O2 -pipe -DNXT -fno-strict-aliasing  -c cache.c
cc -O2 -pipe -DNXT -fno-strict-aliasing  -c alternating.c
cc -O2 -pipe -DNXT -fno-strict-aliasing  -c generalized.c
cc -O2 -pipe -DNXT -fno-strict-aliasing  -o ltl2ba parse.o lex.o main.o trans.o buchi.o set.o  mem.o rewrt.o cache.o alternating.o generalized.o
===>  Staging for ltl2ba-1.1
===>   Generating temporary packing list
install  -s -o root -g wheel -m 555 /obj/buildshare/ports/355755/math/ltl2ba/work/ltl2ba-1.1/ltl2ba /obj/buildshare/ports/355755/math/ltl2ba/work/stage/usr/local/bin
====> Compressing man pages (compress-man)
===>  Installing for ltl2ba-1.1
===>  Checking if math/ltl2ba already installed
===>   Registering installation for ltl2ba-1.1
Installing ltl2ba-1.1... done
Make package
===>  Building package for ltl2ba-1.1
slot2: removed