------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> ctl-sat-g20200210 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> ctl-sat-g20200210 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by ctl-sat-g20200210 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> ctl-sat-g20200210 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by ctl-sat-g20200210 for building => SHA256 Checksum OK for nicolaprezza-CTLSAT-g20200210-6de41e0_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> ctl-sat-g20200210 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by ctl-sat-g20200210 for building ===> Extracting for ctl-sat-g20200210 => SHA256 Checksum OK for nicolaprezza-CTLSAT-g20200210-6de41e0_GH0.tar.gz. Extracted Memory Use: 4.49M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for ctl-sat-g20200210 ===> Applying ports patches for ctl-sat-g20200210 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> Configuring for ctl-sat-g20200210 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for ctl-sat-g20200210 --- ctl-sat --- c++ -pipe -O2 -fno-strict-aliasing formulas/AllTomorrow.cpp formulas/AllUntil.cpp formulas/Atom.cpp formulas/Conjunction.cpp formulas/ExistsTomorrow.cpp formulas/ExistsUntil.cpp formulas/Formula.cpp formulas/Negation.cpp parser/CTLParser.cpp tableau/Tableau.cpp main.cpp -o ctl-sat SUCCEEDED 00:00:16 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for ctl-sat-g20200210 ===> Generating temporary packing list install -s -m 555 /construction/math/ctl-sat/CTLSAT-6de41e0/ctl-sat /construction/math/ctl-sat/stage/usr/local/bin install -m 444 /construction/math/ctl-sat/CTLSAT-6de41e0/README.md /construction/math/ctl-sat/stage/usr/local/share/doc/ctl-sat ====> 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 ctl-sat-g20200210 file sizes/checksums [2]: 0% file sizes/checksums [2]: 100% packing files [2]: 0% packing files [2]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:01 TOTAL TIME 00:00:19