------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- ===> NOTICE: The ltl2ba port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> ltl2ba-1.2 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> NOTICE: The ltl2ba port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> ltl2ba-1.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by ltl2ba-1.2 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> NOTICE: The ltl2ba port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> ltl2ba-1.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by ltl2ba-1.2 for building => SHA256 Checksum OK for ltl2ba-1.2.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> NOTICE: The ltl2ba port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> ltl2ba-1.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by ltl2ba-1.2 for building ===> Extracting for ltl2ba-1.2 => SHA256 Checksum OK for ltl2ba-1.2.tar.gz. Extracted Memory Use: 0.18M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for ltl2ba-1.2 /usr/bin/env WRKSRC=/construction/math/ltl2ba/ltl2ba-1.2 REWARNFILE=/construction/math/ltl2ba/reinplace_warnings.txt /xports/Tools/scripts/sed_checked.sh -e '/^CC=/d' -e '/^CFLAGS=/d' /construction/math/ltl2ba/ltl2ba-1.2/Makefile SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> Configuring for ltl2ba-1.2 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for ltl2ba-1.2 --- parse.o --- --- lex.o --- --- main.o --- --- trans.o --- --- buchi.o --- --- set.o --- --- mem.o --- --- rewrt.o --- --- cache.o --- --- alternating.o --- --- lex.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c lex.c --- main.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c main.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 --- cache.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c cache.c --- alternating.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c alternating.c --- trans.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c trans.c --- main.o --- main.c: In function 'alldone': main.c:61:24: warning: implicit declaration of function 'unlink'; did you mean 'unix'? [-Wimplicit-function-declaration] (void) unlink((const char *)out1); ^~~~~~ unix --- parse.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c parse.c --- buchi.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c buchi.c --- parse.o --- parse.c: In function 'tl_parse': parse.c:568:3: warning: implicit declaration of function 'put_uform' [-Wimplicit-function-declaration] put_uform(); ^~~~~~~~~ --- 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:01 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for ltl2ba-1.2 ===> Generating temporary packing list install -s -m 555 /construction/math/ltl2ba/ltl2ba-1.2/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: package ------------------------------------------------------------------------------- ===> Building package for ltl2ba-1.2 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:03