------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> ltl2ba-1.3 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> ltl2ba-1.3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by ltl2ba-1.3 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> ltl2ba-1.3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by ltl2ba-1.3 for building => SHA256 Checksum OK for ltl2ba-1.3.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> ltl2ba-1.3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by ltl2ba-1.3 for building ===> Extracting for ltl2ba-1.3 => SHA256 Checksum OK for ltl2ba-1.3.tar.gz. Extracted Memory Use: 0.20M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for ltl2ba-1.3 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> Configuring for ltl2ba-1.3 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for ltl2ba-1.3 --- parse.o --- --- lex.o --- --- main.o --- --- trans.o --- --- buchi.o --- --- set.o --- --- mem.o --- --- rewrt.o --- --- cache.o --- --- alternating.o --- --- parse.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c parse.c --- lex.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c lex.c --- main.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c main.c --- trans.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c trans.c --- set.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c set.c --- mem.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c mem.c --- rewrt.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c rewrt.c --- buchi.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c buchi.c --- cache.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c cache.c --- alternating.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c alternating.c --- generalized.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c generalized.c --- ltl2ba --- cc -pipe -DNXT -O2 -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 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for ltl2ba-1.3 ===> Generating temporary packing list install -s -m 555 /construction/math/ltl2ba/ltl2ba-1.3/ltl2ba /construction/math/ltl2ba/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: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 ltl2ba-1.3 file sizes/checksums [1]: 0% file sizes/checksums [1]: 100% packing files [1]: 0% packing files [1]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:00:02