------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> picosat-965 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> picosat-965 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by picosat-965 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> picosat-965 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by picosat-965 for building => SHA256 Checksum OK for picosat-965.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> picosat-965 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by picosat-965 for building ===> Extracting for picosat-965 => SHA256 Checksum OK for picosat-965.tar.gz. Extracted Memory Use: 0.29M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for picosat-965 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> Configuring for picosat-965 version ... 965 debug ... no log ... no stats ... no trace ... no static ... yes shared ... yes targets ... picosat picomcs picomus picogcnf libpicosat.a libpicosat.so cc ... cc cflags ... -pipe -O2 -fno-strict-aliasing -fPIC makefile ... done SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for picosat-965 cc -pipe -O2 -fno-strict-aliasing -fPIC -c picosat.c In file included from picosat.c:26: picosat.c: In function 'fixvar': picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] assert (VAR2LIT (v) != UNDEF); ^~ picosat.c:180:20: note: did you mean to dereference the pointer? #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) ^ picosat.c:1943:11: note: in expansion of macro 'VAR2LIT' assert (VAR2LIT (v) != UNDEF); ^~~~~~~ rm -f config.h; ./mkconfig.sh > config.h cc -pipe -O2 -fno-strict-aliasing -fPIC -c version.c ar rc libpicosat.a picosat.o version.o ranlib libpicosat.a cc -pipe -O2 -fno-strict-aliasing -fPIC -c app.c cc -pipe -O2 -fno-strict-aliasing -fPIC -c main.c cc -pipe -O2 -fno-strict-aliasing -fPIC -o picosat main.o app.o -L. -lpicosat cc -pipe -O2 -fno-strict-aliasing -fPIC -c picomcs.c cc -pipe -O2 -fno-strict-aliasing -fPIC -o picomcs picomcs.o -L. -lpicosat cc -pipe -O2 -fno-strict-aliasing -fPIC -c picomus.c cc -pipe -O2 -fno-strict-aliasing -fPIC -o picomus picomus.o -L. -lpicosat cc -pipe -O2 -fno-strict-aliasing -fPIC -c picogcnf.c cc -pipe -O2 -fno-strict-aliasing -fPIC -o picogcnf picogcnf.o -L. -lpicosat cc -pipe -O2 -fno-strict-aliasing -fPIC -shared -o libpicosat.so picosat.o version.o -Xlinker -soname -Xlinker libpicosat.so SUCCEEDED 00:00:12 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for picosat-965 ===> Generating temporary packing list install -s -m 555 /construction/math/picosat/picosat-965/picosat /construction/math/picosat/stage/usr/local/bin install -s -m 555 /construction/math/picosat/picosat-965/picomcs /construction/math/picosat/stage/usr/local/bin install -s -m 555 /construction/math/picosat/picosat-965/picomus /construction/math/picosat/stage/usr/local/bin install -s -m 555 /construction/math/picosat/picosat-965/picogcnf /construction/math/picosat/stage/usr/local/bin install -s -m 0644 /construction/math/picosat/picosat-965/libpicosat.so /construction/math/picosat/stage/usr/local/lib install -m 0644 /construction/math/picosat/picosat-965/libpicosat.a /construction/math/picosat/stage/usr/local/lib install -m 0644 /construction/math/picosat/picosat-965/picosat.h /construction/math/picosat/stage/usr/local/include ====> 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 picosat-965 file sizes/checksums [7]: 0% file sizes/checksums [7]: 100% packing files [7]: 0% packing files [7]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:00:14