------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> btor2tools-g20190418 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> btor2tools-g20190418 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by btor2tools-g20190418 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> btor2tools-g20190418 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by btor2tools-g20190418 for building => SHA256 Checksum OK for Boolector-btor2tools-g20190418-1df768d_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> btor2tools-g20190418 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by btor2tools-g20190418 for building ===> Extracting for btor2tools-g20190418 => SHA256 Checksum OK for Boolector-btor2tools-g20190418-1df768d_GH0.tar.gz. Extracted Memory Use: 0.85M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for btor2tools-g20190418 ===> Applying ports patches for btor2tools-g20190418 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> Configuring for btor2tools-g20190418 cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG makefile generated SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for btor2tools-g20190418 --- dirs --- mkdir -p build mkdir -p bin --- build/btor2parser.o --- --- build/btorsimrng.o --- --- build/btor2parser.o --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o build/btor2parser.o -c src/btor2parser/btor2parser.c -Isrc --- build/btorsimrng.o --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o build/btorsimrng.o -c src/btorsim/btorsimrng.c -Isrc/btorsim --- build/btorsimbv.o --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o build/btorsimbv.o -c src/btorsim/btorsimbv.c -Isrc --- build/libbtor2parser.a --- --- build/libbtor2parser.so --- --- build/catbtor.o --- --- build/libbtor2parser.a --- ar rc build/libbtor2parser.a build/btor2parser.o --- build/libbtor2parser.so --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -shared -o build/libbtor2parser.so build/btor2parser.o -Xlinker -soname=libbtor2parser.so --- build/catbtor.o --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o build/catbtor.o -c src/catbtor.c -Isrc --- build/libbtor2parser.a --- ranlib build/libbtor2parser.a --- build/btorsim.o --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o build/btorsim.o -c src/btorsim/btorsim.c -Ibtorsim -Isrc --- bin/catbtor --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o bin/catbtor build/catbtor.o -Lbuild -lbtor2parser --- bin/btorsim --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o bin/btorsim build/btorsim.o build/btorsimbv.o build/btorsimrng.o -Lbuild -lbtor2parser SUCCEEDED 00:00:05 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for btor2tools-g20190418 ===> Generating temporary packing list /bin/mkdir -p /construction/math/btor2tools/stage/usr/local/include/btor2parser install -m 0644 /construction/math/btor2tools/btor2tools-1df768d/src/btor2parser/btor2parser.h /construction/math/btor2tools/stage/usr/local/include/btor2parser install -s -m 0644 /construction/math/btor2tools/btor2tools-1df768d/build/libbtor2parser.so /construction/math/btor2tools/stage/usr/local/lib install -s -m 555 /construction/math/btor2tools/btor2tools-1df768d/bin/btorsim /construction/math/btor2tools/stage/usr/local/bin install -s -m 555 /construction/math/btor2tools/btor2tools-1df768d/bin/catbtor /construction/math/btor2tools/stage/usr/local/bin ====> 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:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for btor2tools-g20190418 file sizes/checksums [4]: 0% file sizes/checksums [4]: 100% packing files [4]: 0% packing files [4]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:00:06