------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gperf-3.1.txz Installing /packages/All/gettext-runtime-0.20.2.txz Installing /packages/All/gmake-4.3.txz Installing /packages/All/gmp-6.2.0.txz SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> yices-2.6.2 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> yices-2.6.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by yices-2.6.2 for building SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> yices-2.6.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by yices-2.6.2 for building => SHA256 Checksum OK for yices-2.6.2-src.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> yices-2.6.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by yices-2.6.2 for building ===> Extracting for yices-2.6.2 ===> yices-2.6.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by yices-2.6.2 for building => SHA256 Checksum OK for yices-2.6.2-src.tar.gz. Extracted Memory Use: 25.75M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for yices-2.6.2 ===> Applying ports patches for yices-2.6.2 ===> Cleanly applied ports patch(es) patch-Makefile.build ===> Applying dragonfly patches for yices-2.6.2 1 out of 1 hunks failed--saving rejects to autoconf/os.rej ====> FAILED Applying dragonfly patch patch-autoconf_os ===> Cleanly applied dragonfly patch(es) patch-src_utils_memsize.c ===> FAILED to apply cleanly dragonfly patch(es) patch-autoconf_os ==> SOME PATCHES FAILED TO APPLY CLEANLY. ==> Look for FAILED messages above. *** Error code 1 Stop. make[1]: stopped in /xports/math/yices *** Error code 1 Stop. make: stopped in /xports/math/yices FAILED 00:00:01