Building minisat-2.2.1.txz (origin /buildshare/ports/355755/math/minisat) for powerpc-10-0 on XXX
slot2: created
x distfiles/
x distfiles/minisat-2.2.1.tar.gz
x packages/
x packages/gettext-0.18.3.1_1.txz
x packages/gmake-3.82_1.txz
x packages/pkg-1.2.7_2.txz
ELF ldconfig path: /lib /usr/lib /usr/lib/compat
Make depends
===>   minisat-2.2.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 minisat-2.2.1
===>   minisat-2.2.1 depends on executable: gmake - not found
===>    Verifying install for gmake in /buildshare/ports/355755/devel/gmake
===>   Installing existing package /packages/gmake-3.82_1.txz
Installing gmake-3.82_1...Installing gettext-0.18.3.1_1... done
 done
===>   Returning to build of minisat-2.2.1
Make install
===>   minisat-2.2.1 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by minisat-2.2.1 for building
===>  Extracting for minisat-2.2.1
=> SHA256 Checksum OK for minisat-2.2.1.tar.gz.
===>  Patching for minisat-2.2.1
===>  Applying FreeBSD patches for minisat-2.2.1
===>   minisat-2.2.1 depends on executable: gmake - found
===>  Configuring for minisat-2.2.1
===>  Building for minisat-2.2.1
gmake[1]: Entering directory `/obj/buildshare/ports/355755/math/minisat/work/minisat-2.2.1'
Compiling: build/release/minisat/simp/Main.o
Compiling: build/release/minisat/core/Solver.o
Compiling: build/release/minisat/simp/SimpSolver.o
Compiling: build/release/minisat/utils/Options.o
Compiling: build/release/minisat/utils/System.o
Linking Static Library: build/release/lib/libminisat.a
Linking Binary: build/release/bin/minisat
Compiling: build/dynamic/minisat/core/Solver.o
Compiling: build/dynamic/minisat/simp/SimpSolver.o
Compiling: build/dynamic/minisat/utils/Options.o
Compiling: build/dynamic/minisat/utils/System.o
Linking Shared Library: build/dynamic/lib/libminisat.so.2.1.0
gmake[1]: Leaving directory `/obj/buildshare/ports/355755/math/minisat/work/minisat-2.2.1'
===>  Staging for minisat-2.2.1
===>   Generating temporary packing list
gmake[1]: Entering directory `/obj/buildshare/ports/355755/math/minisat/work/minisat-2.2.1'
install -d /obj/buildshare/ports/355755/math/minisat/work/stage/usr/local/include/minisat
for dir in mtl utils core simp; do \
  install -d /obj/buildshare/ports/355755/math/minisat/work/stage/usr/local/include/minisat/$dir ; \
done
for h in minisat/mtl/XAlloc.h minisat/mtl/Heap.h minisat/mtl/IntTypes.h minisat/mtl/Queue.h minisat/mtl/IntMap.h minisat/mtl/Sort.h minisat/mtl/Rnd.h minisat/mtl/Vec.h minisat/mtl/Alloc.h minisat/mtl/Map.h minisat/mtl/Alg.h minisat/core/Solver.h minisat/core/Dimacs.h minisat/core/SolverTypes.h minisat/simp/SimpSolver.h minisat/utils/Options.h minisat/utils/ParseUtils.h minisat/utils/System.h ; do \
  install -m 644 $h /obj/buildshare/ports/355755/math/minisat/work/stage/usr/local/include/$h ; \
done
install -d /obj/buildshare/ports/355755/math/minisat/work/stage/usr/local/lib
install -m 644 build/dynamic/lib/libminisat.so.2.1.0 /obj/buildshare/ports/355755/math/minisat/work/stage/usr/local/lib
ln -sf libminisat.so.2.1.0 /obj/buildshare/ports/355755/math/minisat/work/stage/usr/local/lib/libminisat.so.2
ln -sf libminisat.so.2 /obj/buildshare/ports/355755/math/minisat/work/stage/usr/local/lib/libminisat.so
install -m 644 build/release/lib/libminisat.a /obj/buildshare/ports/355755/math/minisat/work/stage/usr/local/lib
Compiling: build/dynamic/minisat/simp/Main.o
Linking Binary: build/dynamic/bin/minisat
install -d /obj/buildshare/ports/355755/math/minisat/work/stage/usr/local/bin
install -m 755 build/dynamic/bin/minisat /obj/buildshare/ports/355755/math/minisat/work/stage/usr/local/bin
gmake[1]: Leaving directory `/obj/buildshare/ports/355755/math/minisat/work/minisat-2.2.1'
====> Compressing man pages (compress-man)
===>  Installing for minisat-2.2.1
===>  Checking if math/minisat already installed
===>   Registering installation for minisat-2.2.1
Installing minisat-2.2.1... done
Make package
===>  Building package for minisat-2.2.1
slot2: removed