=> Building math/clasp build started at Mon Oct 3 23:47:48 PDT 2016 port directory: /usr/ports/math/clasp building for: DragonFly pkgbox64.dragonflybsd.org 4.7-DEVELOPMENT DragonFly v4.7.0.78.g7d868-DEVELOPMENT #7: Mon Aug 1 22:25:32 PDT 2016 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 maintained by: vsevolod@FreeBSD.org ident warning: no id keywords in /build/boomdata/data/.m/bleeding-edge-default/ref/../08//usr/ports/math/clasp/Makefile Makefile ident: Poudriere version: 3.1-pre Host OSVERSION: 400700 Jail OSVERSION: 400702 !!! Jail is newer than host. (Jail: 400702, Host: 400700) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- STATUS=1 SAVED_TERM=screen MASTERMNT=/build/boomdata/data/.m/bleeding-edge-default/ref PATH=/usr/local/libexec/poudriere:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/pkg/sbin:/usr/games:/usr/local/sbin:/usr/local/bin:/usr/pkg/xorg/bin:/usr/X11R6/bin:/root/bin:/sbin:/usr/sbin POUDRIERE_BUILD_TYPE=bulk PKGNAME=clasp-3.1.3 OLDPWD=/root/boom PWD=/build/boomdata/data/.m/bleeding-edge-default/ref/.p/pool MASTERNAME=bleeding-edge-default TERM=cons25 USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ---End OPTIONS List--- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/math/clasp XDG_CONFIG_HOME=/wrkdirs/math/clasp HOME=/wrkdirs/math/clasp TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/math/clasp XDG_CONFIG_HOME=/wrkdirs/math/clasp HOME=/wrkdirs/math/clasp TMPDIR="/tmp" NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 444" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- CMAKE_BUILD_TYPE="release" OSREL=4.7 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/clasp" EXAMPLESDIR="share/examples/clasp" DATADIR="share/clasp" WWWDIR="www/clasp" ETCDIR="etc/clasp" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/clasp DOCSDIR=/usr/local/share/doc/clasp EXAMPLESDIR=/usr/local/share/examples/clasp WWWDIR=/usr/local/www/clasp ETCDIR=/usr/local/etc/clasp --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs NO_BACKUP=yes USE_PACKAGE_DEPENDS=yes PKG_CREATE_VERBOSE=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORT_DBDIR=/options PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles MAKE_JOBS_NUMBER=5 ---End make.conf--- =================================================== =========================================================================== =================================================== ===> clasp-3.1.3 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.8.7_3.txz Installing pkg-1.8.7_3... Extracting pkg-1.8.7_3: .......... done ===> clasp-3.1.3 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of clasp-3.1.3 =========================================================================== =================================================== =========================================================================== =================================================== ===> Fetching all distfiles required by clasp-3.1.3 for building =========================================================================== =================================================== ===> Fetching all distfiles required by clasp-3.1.3 for building => SHA256 Checksum OK for clasp-3.1.3-source.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Fetching all distfiles required by clasp-3.1.3 for building ===> Extracting for clasp-3.1.3 => SHA256 Checksum OK for clasp-3.1.3-source.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for clasp-3.1.3 =========================================================================== =================================================== ===> clasp-3.1.3 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.6.2.txz Installing cmake-3.6.2... `-- Installing expat-2.2.0... `-- Extracting expat-2.2.0: .......... done `-- Installing cmake-modules-3.6.2... `-- Extracting cmake-modules-3.6.2: .......... done `-- Installing curl-7.50.3... | `-- Installing libressl-2.4.3... | `-- Extracting libressl-2.4.3: .......... done | `-- Installing ca_root_nss-3.27... | `-- Extracting ca_root_nss-3.27: ....... done | `-- Installing krb5-1.14.4... | | `-- Installing pkgconf-1.0.1... | | `-- Extracting pkgconf-1.0.1: .......... done | | `-- Installing gettext-runtime-0.19.8.1... | | `-- Installing indexinfo-0.2.5... | | `-- Extracting indexinfo-0.2.5: .... done | | `-- Extracting gettext-runtime-0.19.8.1: .......... done | `-- Extracting krb5-1.14.4: .......... done `-- Extracting curl-7.50.3: .......... done `-- Installing libarchive-3.2.1,1... | `-- Installing liblz4-131... | `-- Extracting liblz4-131: .......... done | `-- Installing lzo2-2.09... | `-- Extracting lzo2-2.09: .......... done `-- Extracting libarchive-3.2.1,1: .......... done `-- Installing jsoncpp-1.7.3... `-- Extracting jsoncpp-1.7.3: .......... done `-- Installing ncurses-6.0_5... `-- Extracting ncurses-6.0_5: .......... done Extracting cmake-3.6.2: .......... done Message from ca_root_nss-3.27: ********************************* WARNING ********************************* FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. *********************************** NOTE ********************************** This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem *************************************************************************** Message from ncurses-6.0_5: ===> NOTICE: The ncurses 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 ===> clasp-3.1.3 depends on file: /usr/local/bin/cmake - found ===> Returning to build of clasp-3.1.3 =========================================================================== =================================================== =========================================================================== =================================================== ===> Configuring for clasp-3.1.3 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/math/clasp/.build -- The C compiler identification is GNU 5.4.1 -- The CXX compiler identification is GNU 5.4.1 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done ERROR: Intel TBB NOT found! -- Looked for Threading Building Blocks in /opt/intel/tbb;/usr/local/include;/usr/include -- TBB not found. Building without threads. -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_CXX_FLAGS_DEBUG CMAKE_C_FLAGS_DEBUG CMAKE_C_FLAGS_RELEASE CMAKE_MODULE_LINKER_FLAGS CMAKE_NO_BUILTIN_CHRPATH CMAKE_SHARED_LINKER_FLAGS THREADS_HAVE_PTHREAD_ARG -- Build files have been written to: /wrkdirs/math/clasp/.build =========================================================================== =================================================== ===> Building for clasp-3.1.3 /usr/local/bin/cmake -H/wrkdirs/math/clasp/clasp-3.1.3 -B/wrkdirs/math/clasp/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/math/clasp/.build/CMakeFiles /wrkdirs/math/clasp/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- libclasp/CMakeFiles/libclasp.dir/all --- --- libprogram_opts/CMakeFiles/libprogram_opts.dir/all --- /usr/bin/make -f libprogram_opts/CMakeFiles/libprogram_opts.dir/build.make libprogram_opts/CMakeFiles/libprogram_opts.dir/depend --- libclasp/CMakeFiles/libclasp.dir/all --- /usr/bin/make -f libclasp/CMakeFiles/libclasp.dir/build.make libclasp/CMakeFiles/libclasp.dir/depend --- libprogram_opts/CMakeFiles/libprogram_opts.dir/all --- --- libprogram_opts/CMakeFiles/libprogram_opts.dir/depend --- cd /wrkdirs/math/clasp/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/clasp/clasp-3.1.3 /wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts /wrkdirs/math/clasp/.build /wrkdirs/math/clasp/.build/libprogram_opts /wrkdirs/math/clasp/.build/libprogram_opts/CMakeFiles/libprogram_opts.dir/DependInfo.cmake --- libclasp/CMakeFiles/libclasp.dir/all --- --- libclasp/CMakeFiles/libclasp.dir/depend --- cd /wrkdirs/math/clasp/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/clasp/clasp-3.1.3 /wrkdirs/math/clasp/clasp-3.1.3/libclasp /wrkdirs/math/clasp/.build /wrkdirs/math/clasp/.build/libclasp /wrkdirs/math/clasp/.build/libclasp/CMakeFiles/libclasp.dir/DependInfo.cmake --- libprogram_opts/CMakeFiles/libprogram_opts.dir/all --- Scanning dependencies of target libprogram_opts --- libclasp/CMakeFiles/libclasp.dir/all --- Scanning dependencies of target libclasp /usr/bin/make -f libclasp/CMakeFiles/libclasp.dir/build.make libclasp/CMakeFiles/libclasp.dir/build --- libclasp/CMakeFiles/libclasp.dir/src/asp_preprocessor.cpp.o --- --- libclasp/CMakeFiles/libclasp.dir/src/cb_enumerator.cpp.o --- --- libclasp/CMakeFiles/libclasp.dir/src/clasp_facade.cpp.o --- --- libclasp/CMakeFiles/libclasp.dir/src/clasp_options.cpp.o --- --- libprogram_opts/CMakeFiles/libprogram_opts.dir/all --- /usr/bin/make -f libprogram_opts/CMakeFiles/libprogram_opts.dir/build.make libprogram_opts/CMakeFiles/libprogram_opts.dir/build --- libclasp/CMakeFiles/libclasp.dir/all --- --- libclasp/CMakeFiles/libclasp.dir/src/cb_enumerator.cpp.o --- [ 8%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/cb_enumerator.cpp.o --- libclasp/CMakeFiles/libclasp.dir/src/clasp_facade.cpp.o --- [ 8%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/clasp_facade.cpp.o --- libclasp/CMakeFiles/libclasp.dir/src/asp_preprocessor.cpp.o --- [ 8%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/asp_preprocessor.cpp.o --- libclasp/CMakeFiles/libclasp.dir/src/clasp_facade.cpp.o --- cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/clasp_facade.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/clasp_facade.cpp --- libclasp/CMakeFiles/libclasp.dir/src/cb_enumerator.cpp.o --- cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/cb_enumerator.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/cb_enumerator.cpp --- libclasp/CMakeFiles/libclasp.dir/src/asp_preprocessor.cpp.o --- cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/asp_preprocessor.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/asp_preprocessor.cpp --- libclasp/CMakeFiles/libclasp.dir/src/clasp_options.cpp.o --- [ 10%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/clasp_options.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/clasp_options.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/clasp_options.cpp --- libprogram_opts/CMakeFiles/libprogram_opts.dir/all --- --- libprogram_opts/CMakeFiles/libprogram_opts.dir/src/alarm.cpp.o --- [ 13%] Building CXX object libprogram_opts/CMakeFiles/libprogram_opts.dir/src/alarm.cpp.o cd /wrkdirs/math/clasp/.build/libprogram_opts && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libprogram_opts.dir/src/alarm.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts/src/alarm.cpp --- libprogram_opts/CMakeFiles/libprogram_opts.dir/src/application.cpp.o --- [ 16%] Building CXX object libprogram_opts/CMakeFiles/libprogram_opts.dir/src/application.cpp.o cd /wrkdirs/math/clasp/.build/libprogram_opts && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libprogram_opts.dir/src/application.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts/src/application.cpp --- libprogram_opts/CMakeFiles/libprogram_opts.dir/src/program_options.cpp.o --- [ 18%] Building CXX object libprogram_opts/CMakeFiles/libprogram_opts.dir/src/program_options.cpp.o cd /wrkdirs/math/clasp/.build/libprogram_opts && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libprogram_opts.dir/src/program_options.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts/src/program_options.cpp --- libclasp/CMakeFiles/libclasp.dir/all --- --- libclasp/CMakeFiles/libclasp.dir/src/clasp_output.cpp.o --- [ 21%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/clasp_output.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/clasp_output.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/clasp_output.cpp --- libclasp/CMakeFiles/libclasp.dir/src/clause.cpp.o --- [ 24%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/clause.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/clause.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/clause.cpp --- libclasp/CMakeFiles/libclasp.dir/src/constraint.cpp.o --- [ 27%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/constraint.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/constraint.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/constraint.cpp --- libclasp/CMakeFiles/libclasp.dir/src/dependency_graph.cpp.o --- [ 29%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/dependency_graph.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/dependency_graph.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/dependency_graph.cpp --- libclasp/CMakeFiles/libclasp.dir/src/enumerator.cpp.o --- [ 32%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/enumerator.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/enumerator.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/enumerator.cpp --- libclasp/CMakeFiles/libclasp.dir/src/heuristics.cpp.o --- [ 35%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/heuristics.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/heuristics.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/heuristics.cpp --- libclasp/CMakeFiles/libclasp.dir/src/logic_program.cpp.o --- [ 37%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/logic_program.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/logic_program.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/logic_program.cpp --- libprogram_opts/CMakeFiles/libprogram_opts.dir/all --- --- libprogram_opts/CMakeFiles/libprogram_opts.dir/src/string_convert.cpp.o --- [ 40%] Building CXX object libprogram_opts/CMakeFiles/libprogram_opts.dir/src/string_convert.cpp.o cd /wrkdirs/math/clasp/.build/libprogram_opts && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libprogram_opts.dir/src/string_convert.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts/src/string_convert.cpp --- libprogram_opts/CMakeFiles/libprogram_opts.dir/src/value_store.cpp.o --- [ 43%] Building CXX object libprogram_opts/CMakeFiles/libprogram_opts.dir/src/value_store.cpp.o cd /wrkdirs/math/clasp/.build/libprogram_opts && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libprogram_opts.dir/src/value_store.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts/src/value_store.cpp --- libprogram_opts/lib/liblibprogram_opts.a --- [ 45%] Linking CXX static library lib/liblibprogram_opts.a cd /wrkdirs/math/clasp/.build/libprogram_opts && /usr/local/bin/cmake -P CMakeFiles/libprogram_opts.dir/cmake_clean_target.cmake cd /wrkdirs/math/clasp/.build/libprogram_opts && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libprogram_opts.dir/link.txt --verbose=1 /usr/bin/ar qc lib/liblibprogram_opts.a CMakeFiles/libprogram_opts.dir/src/alarm.cpp.o CMakeFiles/libprogram_opts.dir/src/application.cpp.o CMakeFiles/libprogram_opts.dir/src/program_options.cpp.o CMakeFiles/libprogram_opts.dir/src/string_convert.cpp.o CMakeFiles/libprogram_opts.dir/src/value_store.cpp.o /usr/bin/ranlib lib/liblibprogram_opts.a [ 45%] Built target libprogram_opts --- libclasp/CMakeFiles/libclasp.dir/all --- --- libclasp/CMakeFiles/libclasp.dir/src/logic_program_types.cpp.o --- [ 48%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/logic_program_types.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/logic_program_types.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/logic_program_types.cpp --- libclasp/CMakeFiles/libclasp.dir/src/lookahead.cpp.o --- [ 51%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/lookahead.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/lookahead.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/lookahead.cpp --- libclasp/CMakeFiles/libclasp.dir/src/minimize_constraint.cpp.o --- [ 54%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/minimize_constraint.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/minimize_constraint.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/minimize_constraint.cpp --- libclasp/CMakeFiles/libclasp.dir/src/model_enumerators.cpp.o --- [ 56%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/model_enumerators.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/model_enumerators.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/model_enumerators.cpp --- libclasp/CMakeFiles/libclasp.dir/src/parallel_solve.cpp.o --- [ 59%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/parallel_solve.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/parallel_solve.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/parallel_solve.cpp --- libclasp/CMakeFiles/libclasp.dir/src/parser.cpp.o --- [ 62%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/parser.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/parser.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/parser.cpp --- libclasp/CMakeFiles/libclasp.dir/src/program_builder.cpp.o --- [ 64%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/program_builder.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/program_builder.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/program_builder.cpp --- libclasp/CMakeFiles/libclasp.dir/src/satelite.cpp.o --- [ 67%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/satelite.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/satelite.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/satelite.cpp --- libclasp/CMakeFiles/libclasp.dir/src/shared_context.cpp.o --- [ 70%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/shared_context.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/shared_context.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/shared_context.cpp --- libclasp/CMakeFiles/libclasp.dir/src/solve_algorithms.cpp.o --- [ 72%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/solve_algorithms.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/solve_algorithms.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/solve_algorithms.cpp --- libclasp/CMakeFiles/libclasp.dir/src/solver.cpp.o --- [ 75%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/solver.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/solver.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/solver.cpp --- libclasp/CMakeFiles/libclasp.dir/src/solver_strategies.cpp.o --- [ 78%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/solver_strategies.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/solver_strategies.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/solver_strategies.cpp --- libclasp/CMakeFiles/libclasp.dir/src/solver_types.cpp.o --- [ 81%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/solver_types.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/solver_types.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/solver_types.cpp --- libclasp/CMakeFiles/libclasp.dir/src/timer.cpp.o --- [ 83%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/timer.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/timer.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/timer.cpp --- libclasp/CMakeFiles/libclasp.dir/src/unfounded_check.cpp.o --- [ 86%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/unfounded_check.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/unfounded_check.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/unfounded_check.cpp --- libclasp/CMakeFiles/libclasp.dir/src/weight_constraint.cpp.o --- [ 89%] Building CXX object libclasp/CMakeFiles/libclasp.dir/src/weight_constraint.cpp.o cd /wrkdirs/math/clasp/.build/libclasp && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/libclasp.dir/src/weight_constraint.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/libclasp/src/weight_constraint.cpp --- libclasp/lib/liblibclasp.a --- [ 91%] Linking CXX static library lib/liblibclasp.a cd /wrkdirs/math/clasp/.build/libclasp && /usr/local/bin/cmake -P CMakeFiles/libclasp.dir/cmake_clean_target.cmake cd /wrkdirs/math/clasp/.build/libclasp && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libclasp.dir/link.txt --verbose=1 /usr/bin/ar qc lib/liblibclasp.a CMakeFiles/libclasp.dir/src/asp_preprocessor.cpp.o CMakeFiles/libclasp.dir/src/cb_enumerator.cpp.o CMakeFiles/libclasp.dir/src/clasp_facade.cpp.o CMakeFiles/libclasp.dir/src/clasp_options.cpp.o CMakeFiles/libclasp.dir/src/clasp_output.cpp.o CMakeFiles/libclasp.dir/src/clause.cpp.o CMakeFiles/libclasp.dir/src/constraint.cpp.o CMakeFiles/libclasp.dir/src/dependency_graph.cpp.o CMakeFiles/libclasp.dir/src/enumerator.cpp.o CMakeFiles/libclasp.dir/src/heuristics.cpp.o CMakeFiles/libclasp.dir/src/logic_program.cpp.o CMakeFiles/libclasp.dir/src/logic_program_types.cpp.o CMakeFiles/libclasp.dir/src/lookahead.cpp.o CMakeFiles/libclasp.dir/src/minimize_constraint.cpp.o CMakeFiles/libclasp.dir/src/model_enumerators.cpp.o CMakeFiles/libclasp.dir/src/parallel_solve.cpp.o CMakeFiles/libclasp.dir/src/parser.cpp.o CMakeFiles/libclasp.dir/src/program_builder.cpp.o CMakeFiles/libclasp.dir/src/satelite.cpp.o CMakeFiles/libclasp.dir/src/shared_context.cpp.o CMakeFiles/libclasp.dir/src/solve_algorithms.cpp.o CMakeFiles/libclasp.dir/src/solver.cpp.o CMakeFiles/libclasp.dir/src/solver_strategies.cpp.o CMakeFiles/libclasp.dir/src/solver_types.cpp.o CMakeFiles/libclasp.dir/src/timer.cpp.o CMakeFiles/libclasp.dir/src/unfounded_check.cpp.o CMakeFiles/libclasp.dir/src/weight_constraint.cpp.o /usr/bin/ranlib lib/liblibclasp.a [ 91%] Built target libclasp --- app/CMakeFiles/clasp_app.dir/all --- /usr/bin/make -f app/CMakeFiles/clasp_app.dir/build.make app/CMakeFiles/clasp_app.dir/depend --- app/CMakeFiles/clasp_app.dir/depend --- cd /wrkdirs/math/clasp/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/math/clasp/clasp-3.1.3 /wrkdirs/math/clasp/clasp-3.1.3/app /wrkdirs/math/clasp/.build /wrkdirs/math/clasp/.build/app /wrkdirs/math/clasp/.build/app/CMakeFiles/clasp_app.dir/DependInfo.cmake Scanning dependencies of target clasp_app /usr/bin/make -f app/CMakeFiles/clasp_app.dir/build.make app/CMakeFiles/clasp_app.dir/build --- app/CMakeFiles/clasp_app.dir/clasp_app.cpp.o --- --- app/CMakeFiles/clasp_app.dir/main.cpp.o --- [ 94%] Building CXX object app/CMakeFiles/clasp_app.dir/main.cpp.o cd /wrkdirs/math/clasp/.build/app && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/clasp_app.dir/main.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/app/main.cpp --- app/CMakeFiles/clasp_app.dir/clasp_app.cpp.o --- [ 97%] Building CXX object app/CMakeFiles/clasp_app.dir/clasp_app.cpp.o cd /wrkdirs/math/clasp/.build/app && /usr/bin/c++ -DWITH_THREADS=0 -I/wrkdirs/math/clasp/clasp-3.1.3/libclasp -I/wrkdirs/math/clasp/clasp-3.1.3/libprogram_opts -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -o CMakeFiles/clasp_app.dir/clasp_app.cpp.o -c /wrkdirs/math/clasp/clasp-3.1.3/app/clasp_app.cpp --- bin/clasp --- [100%] Linking CXX executable ../bin/clasp cd /wrkdirs/math/clasp/.build/app && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/clasp_app.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/clasp_app.dir/clasp_app.cpp.o CMakeFiles/clasp_app.dir/main.cpp.o -o ../bin/clasp ../libclasp/lib/liblibclasp.a ../libprogram_opts/lib/liblibprogram_opts.a [100%] Built target clasp_app /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/math/clasp/.build/CMakeFiles 0 =========================================================================== =================================================== =========================================================================== =================================================== ===> Staging for clasp-3.1.3 ===> Generating temporary packing list install -s -m 555 /wrkdirs/math/clasp/.build/bin/clasp /wrkdirs/math/clasp/stage/usr/local/bin/clasp ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===> Building package for clasp-3.1.3 file sizes/checksums [1]: . done packing files [1]: . done packing directories [0]: . done =========================================================================== => Cleaning up wrkdir ===> Cleaning for clasp-3.1.3 build of math/clasp ended at Mon Oct 3 23:48:42 PDT 2016 build time: 00:00:54