------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/clasp XDG_CONFIG_HOME=/construction/math/clasp XDG_CACHE_HOME=/construction/math/clasp/.cache HOME=/construction/math/clasp TMPDIR="/tmp" PATH=/construction/math/clasp/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/clasp/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/clasp XDG_CONFIG_HOME=/construction/math/clasp XDG_CACHE_HOME=/construction/math/clasp/.cache HOME=/construction/math/clasp TMPDIR="/tmp" PATH=/construction/math/clasp/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/clasp/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local 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 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/math/clasp/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- CMAKE_BUILD_TYPE="release" OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/clasp" EXAMPLESDIR="share/examples/clasp" DATADIR="share/clasp" WWWDIR="www/clasp" ETCDIR="etc/clasp" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: 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 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/expat-2.5.0.pkg Installing /packages/All/libuv-1.46.0.pkg Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/openssl-1.1.1u,1.pkg Installing /packages/All/rhash-1.4.3.pkg Installing /packages/All/pkg-1.19.2.pkg Installing /packages/All/liblz4-1.9.4,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/zstd-1.5.5.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/libarchive-3.6.2,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/ncurses-6.4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from ncurses-6.4: -- To get the terminfo database please install the terminfo-db package: pkg install terminfo-db Installing /packages/All/cmake-core-3.26.1_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/ccache-3.7.12_4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. SUCCEEDED 00:00:07 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> clasp-3.3.5 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> clasp-3.3.5 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clasp-3.3.5 for building SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> clasp-3.3.5 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clasp-3.3.5 for building => SHA256 Checksum OK for potassco-clasp-v3.3.5_GH0.tar.gz. => SHA256 Checksum OK for potassco-libpotassco-6e31cff_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> clasp-3.3.5 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clasp-3.3.5 for building ===> Extracting for clasp-3.3.5 => SHA256 Checksum OK for potassco-clasp-v3.3.5_GH0.tar.gz. => SHA256 Checksum OK for potassco-libpotassco-6e31cff_GH0.tar.gz. Extracted Memory Use: 3.81M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for clasp-3.3.5 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> clasp-3.3.5 depends on file: /usr/local/bin/cmake - found ===> clasp-3.3.5 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> clasp-3.3.5 depends on file: /usr/local/bin/cmake - found ===> clasp-3.3.5 depends on file: /usr/local/bin/ccache - found ===> Configuring for clasp-3.3.5 ===> Performing out-of-source build /bin/mkdir -p /construction/math/clasp/.build -- The CXX compiler identification is GNU 8.3.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/local/libexec/ccache/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- The C compiler identification is GNU 8.3.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/local/libexec/ccache/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - found -- Found Threads: TRUE -- Potassco is not installed - using local copy -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Configuring done (2.5s) -- Generating done (0.0s) 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_SHARED_LINKER_FLAGS FETCHCONTENT_FULLY_DISCONNECTED -- Build files have been written to: /construction/math/clasp/.build SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for clasp-3.3.5 /usr/local/bin/cmake -S/construction/math/clasp/clasp-3.3.5 -B/construction/math/clasp/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/clasp/.build/CMakeFiles /construction/math/clasp/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- libpotassco/src/CMakeFiles/libpotassco.dir/all --- /usr/bin/make -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/depend --- libpotassco/src/CMakeFiles/libpotassco.dir/depend --- cd /construction/math/clasp/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clasp/clasp-3.3.5 /construction/math/clasp/clasp-3.3.5/libpotassco/src /construction/math/clasp/.build /construction/math/clasp/.build/libpotassco/src /construction/math/clasp/.build/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake /usr/bin/make -f libpotassco/src/CMakeFiles/libpotassco.dir/build.make libpotassco/src/CMakeFiles/libpotassco.dir/build --- libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o --- --- libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- [ 6%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- [ 6%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- [ 6%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- [ 8%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o -MF CMakeFiles/libpotassco.dir/application.cpp.o.d -o CMakeFiles/libpotassco.dir/application.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/application.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o -MF CMakeFiles/libpotassco.dir/convert.cpp.o.d -o CMakeFiles/libpotassco.dir/convert.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/convert.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -MF CMakeFiles/libpotassco.dir/match_basic_types.cpp.o.d -o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/match_basic_types.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o -MF CMakeFiles/libpotassco.dir/clingo.cpp.o.d -o CMakeFiles/libpotassco.dir/clingo.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/clingo.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- [ 12%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o cd /construction/math/clasp/.build/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o -MF CMakeFiles/libpotassco.dir/program_options.cpp.o.d -o CMakeFiles/libpotassco.dir/program_options.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/program_options.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- [ 14%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o cd /construction/math/clasp/.build/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o -MF CMakeFiles/libpotassco.dir/aspif.cpp.o.d -o CMakeFiles/libpotassco.dir/aspif.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/aspif.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- [ 10%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o cd /construction/math/clasp/.build/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o -MF CMakeFiles/libpotassco.dir/rule_utils.cpp.o.d -o CMakeFiles/libpotassco.dir/rule_utils.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/rule_utils.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o --- [ 16%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- [ 18%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o -MF CMakeFiles/libpotassco.dir/value_store.cpp.o.d -o CMakeFiles/libpotassco.dir/value_store.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/value_store.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- cd /construction/math/clasp/.build/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o -MF CMakeFiles/libpotassco.dir/smodels.cpp.o.d -o CMakeFiles/libpotassco.dir/smodels.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/smodels.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o --- [ 20%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o cd /construction/math/clasp/.build/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o -MF CMakeFiles/libpotassco.dir/theory_data.cpp.o.d -o CMakeFiles/libpotassco.dir/theory_data.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/theory_data.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- [ 22%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o cd /construction/math/clasp/.build/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o -MF CMakeFiles/libpotassco.dir/string_convert.cpp.o.d -o CMakeFiles/libpotassco.dir/string_convert.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/string_convert.cpp --- libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- [ 24%] Building CXX object libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o cd /construction/math/clasp/.build/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o -MF CMakeFiles/libpotassco.dir/aspif_text.cpp.o.d -o CMakeFiles/libpotassco.dir/aspif_text.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/src/aspif_text.cpp --- lib/libpotassco.a --- [ 26%] Linking CXX static library ../../lib/libpotassco.a cd /construction/math/clasp/.build/libpotassco/src && /usr/local/bin/cmake -P CMakeFiles/libpotassco.dir/cmake_clean_target.cmake cd /construction/math/clasp/.build/libpotassco/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libpotassco.dir/link.txt --verbose=1 /usr/bin/ar qc ../../lib/libpotassco.a CMakeFiles/libpotassco.dir/application.cpp.o CMakeFiles/libpotassco.dir/aspif.cpp.o CMakeFiles/libpotassco.dir/aspif_text.cpp.o CMakeFiles/libpotassco.dir/clingo.cpp.o CMakeFiles/libpotassco.dir/convert.cpp.o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o CMakeFiles/libpotassco.dir/program_options.cpp.o CMakeFiles/libpotassco.dir/rule_utils.cpp.o CMakeFiles/libpotassco.dir/smodels.cpp.o CMakeFiles/libpotassco.dir/string_convert.cpp.o CMakeFiles/libpotassco.dir/theory_data.cpp.o CMakeFiles/libpotassco.dir/value_store.cpp.o /usr/bin/ranlib ../../lib/libpotassco.a [ 26%] Built target libpotassco --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- src/CMakeFiles/libclasp.dir/all --- --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- /usr/bin/make -f libpotassco/app/CMakeFiles/lpconvert.dir/build.make libpotassco/app/CMakeFiles/lpconvert.dir/depend --- src/CMakeFiles/libclasp.dir/all --- /usr/bin/make -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/depend --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- libpotassco/app/CMakeFiles/lpconvert.dir/depend --- --- src/CMakeFiles/libclasp.dir/all --- --- src/CMakeFiles/libclasp.dir/depend --- --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- cd /construction/math/clasp/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clasp/clasp-3.3.5 /construction/math/clasp/clasp-3.3.5/libpotassco/app /construction/math/clasp/.build /construction/math/clasp/.build/libpotassco/app /construction/math/clasp/.build/libpotassco/app/CMakeFiles/lpconvert.dir/DependInfo.cmake --- src/CMakeFiles/libclasp.dir/all --- cd /construction/math/clasp/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clasp/clasp-3.3.5 /construction/math/clasp/clasp-3.3.5/src /construction/math/clasp/.build /construction/math/clasp/.build/src /construction/math/clasp/.build/src/CMakeFiles/libclasp.dir/DependInfo.cmake --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- /usr/bin/make -f libpotassco/app/CMakeFiles/lpconvert.dir/build.make libpotassco/app/CMakeFiles/lpconvert.dir/build --- libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o --- --- src/CMakeFiles/libclasp.dir/all --- /usr/bin/make -f src/CMakeFiles/libclasp.dir/build.make src/CMakeFiles/libclasp.dir/build --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- [ 28%] Building CXX object libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o cd /construction/math/clasp/.build/libpotassco/app && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o -MF CMakeFiles/lpconvert.dir/lpconvert.cpp.o.d -o CMakeFiles/lpconvert.dir/lpconvert.cpp.o -c /construction/math/clasp/clasp-3.3.5/libpotassco/app/lpconvert.cpp --- src/CMakeFiles/libclasp.dir/all --- --- src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- --- src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- --- src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- --- src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- --- src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- --- src/CMakeFiles/libclasp.dir/clause.cpp.o --- --- src/CMakeFiles/libclasp.dir/clingo.cpp.o --- --- src/CMakeFiles/libclasp.dir/constraint.cpp.o --- --- src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- --- src/CMakeFiles/libclasp.dir/enumerator.cpp.o --- --- src/CMakeFiles/libclasp.dir/heuristics.cpp.o --- --- src/CMakeFiles/libclasp.dir/logic_program.cpp.o --- --- src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- [ 30%] Building CXX object src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- [ 32%] Building CXX object src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -MF CMakeFiles/libclasp.dir/cb_enumerator.cpp.o.d -o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/cb_enumerator.cpp --- src/CMakeFiles/libclasp.dir/heuristics.cpp.o --- [ 34%] Building CXX object src/CMakeFiles/libclasp.dir/heuristics.cpp.o --- src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -MF CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o.d -o CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/asp_preprocessor.cpp --- src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- [ 36%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- src/CMakeFiles/libclasp.dir/heuristics.cpp.o --- cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/heuristics.cpp.o -MF CMakeFiles/libclasp.dir/heuristics.cpp.o.d -o CMakeFiles/libclasp.dir/heuristics.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/heuristics.cpp --- src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o -MF CMakeFiles/libclasp.dir/clasp_facade.cpp.o.d -o CMakeFiles/libclasp.dir/clasp_facade.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/clasp_facade.cpp --- src/CMakeFiles/libclasp.dir/constraint.cpp.o --- [ 38%] Building CXX object src/CMakeFiles/libclasp.dir/constraint.cpp.o --- src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- [ 40%] Building CXX object src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- src/CMakeFiles/libclasp.dir/constraint.cpp.o --- cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/constraint.cpp.o -MF CMakeFiles/libclasp.dir/constraint.cpp.o.d -o CMakeFiles/libclasp.dir/constraint.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/constraint.cpp --- src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o -MF CMakeFiles/libclasp.dir/dependency_graph.cpp.o.d -o CMakeFiles/libclasp.dir/dependency_graph.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/dependency_graph.cpp --- src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- [ 42%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_options.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/clasp_options.cpp.o -MF CMakeFiles/libclasp.dir/clasp_options.cpp.o.d -o CMakeFiles/libclasp.dir/clasp_options.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/clasp_options.cpp --- src/CMakeFiles/libclasp.dir/clingo.cpp.o --- [ 44%] Building CXX object src/CMakeFiles/libclasp.dir/clingo.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/clingo.cpp.o -MF CMakeFiles/libclasp.dir/clingo.cpp.o.d -o CMakeFiles/libclasp.dir/clingo.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/clingo.cpp --- src/CMakeFiles/libclasp.dir/enumerator.cpp.o --- [ 46%] Building CXX object src/CMakeFiles/libclasp.dir/enumerator.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/enumerator.cpp.o -MF CMakeFiles/libclasp.dir/enumerator.cpp.o.d -o CMakeFiles/libclasp.dir/enumerator.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/enumerator.cpp --- src/CMakeFiles/libclasp.dir/clause.cpp.o --- [ 48%] Building CXX object src/CMakeFiles/libclasp.dir/clause.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/clause.cpp.o -MF CMakeFiles/libclasp.dir/clause.cpp.o.d -o CMakeFiles/libclasp.dir/clause.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/clause.cpp --- src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- [ 50%] Building CXX object src/CMakeFiles/libclasp.dir/clasp_output.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/clasp_output.cpp.o -MF CMakeFiles/libclasp.dir/clasp_output.cpp.o.d -o CMakeFiles/libclasp.dir/clasp_output.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/clasp_output.cpp --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- bin/lpconvert --- [ 52%] Linking CXX executable ../../bin/lpconvert cd /construction/math/clasp/.build/libpotassco/app && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/lpconvert.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/lpconvert.dir/lpconvert.cpp.o -o ../../bin/lpconvert ../../lib/libpotassco.a --- src/CMakeFiles/libclasp.dir/all --- --- src/CMakeFiles/libclasp.dir/logic_program.cpp.o --- [ 54%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/logic_program.cpp.o -MF CMakeFiles/libclasp.dir/logic_program.cpp.o.d -o CMakeFiles/libclasp.dir/logic_program.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/logic_program.cpp --- libpotassco/app/CMakeFiles/lpconvert.dir/all --- [ 56%] Built target lpconvert --- src/CMakeFiles/libclasp.dir/all --- --- src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o --- [ 58%] Building CXX object src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o -MF CMakeFiles/libclasp.dir/logic_program_types.cpp.o.d -o CMakeFiles/libclasp.dir/logic_program_types.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/logic_program_types.cpp --- src/CMakeFiles/libclasp.dir/lookahead.cpp.o --- [ 60%] Building CXX object src/CMakeFiles/libclasp.dir/lookahead.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/lookahead.cpp.o -MF CMakeFiles/libclasp.dir/lookahead.cpp.o.d -o CMakeFiles/libclasp.dir/lookahead.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/lookahead.cpp --- src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o --- [ 62%] Building CXX object src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -MF CMakeFiles/libclasp.dir/minimize_constraint.cpp.o.d -o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/minimize_constraint.cpp --- src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o --- [ 64%] Building CXX object src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o -MF CMakeFiles/libclasp.dir/model_enumerators.cpp.o.d -o CMakeFiles/libclasp.dir/model_enumerators.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/model_enumerators.cpp --- src/CMakeFiles/libclasp.dir/parser.cpp.o --- [ 66%] Building CXX object src/CMakeFiles/libclasp.dir/parser.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/parser.cpp.o -MF CMakeFiles/libclasp.dir/parser.cpp.o.d -o CMakeFiles/libclasp.dir/parser.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/parser.cpp --- src/CMakeFiles/libclasp.dir/program_builder.cpp.o --- [ 68%] Building CXX object src/CMakeFiles/libclasp.dir/program_builder.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/program_builder.cpp.o -MF CMakeFiles/libclasp.dir/program_builder.cpp.o.d -o CMakeFiles/libclasp.dir/program_builder.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/program_builder.cpp --- src/CMakeFiles/libclasp.dir/satelite.cpp.o --- [ 70%] Building CXX object src/CMakeFiles/libclasp.dir/satelite.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/satelite.cpp.o -MF CMakeFiles/libclasp.dir/satelite.cpp.o.d -o CMakeFiles/libclasp.dir/satelite.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/satelite.cpp --- src/CMakeFiles/libclasp.dir/shared_context.cpp.o --- [ 72%] Building CXX object src/CMakeFiles/libclasp.dir/shared_context.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/shared_context.cpp.o -MF CMakeFiles/libclasp.dir/shared_context.cpp.o.d -o CMakeFiles/libclasp.dir/shared_context.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/shared_context.cpp --- src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o --- [ 74%] Building CXX object src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -MF CMakeFiles/libclasp.dir/solve_algorithms.cpp.o.d -o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/solve_algorithms.cpp --- src/CMakeFiles/libclasp.dir/solver.cpp.o --- [ 76%] Building CXX object src/CMakeFiles/libclasp.dir/solver.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/solver.cpp.o -MF CMakeFiles/libclasp.dir/solver.cpp.o.d -o CMakeFiles/libclasp.dir/solver.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/solver.cpp --- src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o --- [ 78%] Building CXX object src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o -MF CMakeFiles/libclasp.dir/solver_strategies.cpp.o.d -o CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/solver_strategies.cpp --- src/CMakeFiles/libclasp.dir/solver_types.cpp.o --- --- src/CMakeFiles/libclasp.dir/statistics.cpp.o --- --- src/CMakeFiles/libclasp.dir/solver_types.cpp.o --- [ 80%] Building CXX object src/CMakeFiles/libclasp.dir/solver_types.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/solver_types.cpp.o -MF CMakeFiles/libclasp.dir/solver_types.cpp.o.d -o CMakeFiles/libclasp.dir/solver_types.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/solver_types.cpp --- src/CMakeFiles/libclasp.dir/statistics.cpp.o --- [ 82%] Building CXX object src/CMakeFiles/libclasp.dir/statistics.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/statistics.cpp.o -MF CMakeFiles/libclasp.dir/statistics.cpp.o.d -o CMakeFiles/libclasp.dir/statistics.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/statistics.cpp --- src/CMakeFiles/libclasp.dir/timer.cpp.o --- --- src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o --- --- src/CMakeFiles/libclasp.dir/timer.cpp.o --- [ 84%] Building CXX object src/CMakeFiles/libclasp.dir/timer.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/timer.cpp.o -MF CMakeFiles/libclasp.dir/timer.cpp.o.d -o CMakeFiles/libclasp.dir/timer.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/timer.cpp --- src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o --- [ 86%] Building CXX object src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o -MF CMakeFiles/libclasp.dir/unfounded_check.cpp.o.d -o CMakeFiles/libclasp.dir/unfounded_check.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/unfounded_check.cpp --- src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o --- --- src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o --- --- src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o --- [ 88%] Building CXX object src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o -MF CMakeFiles/libclasp.dir/weight_constraint.cpp.o.d -o CMakeFiles/libclasp.dir/weight_constraint.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/weight_constraint.cpp --- src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o --- [ 90%] Building CXX object src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o cd /construction/math/clasp/.build/src && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o -MF CMakeFiles/libclasp.dir/parallel_solve.cpp.o.d -o CMakeFiles/libclasp.dir/parallel_solve.cpp.o -c /construction/math/clasp/clasp-3.3.5/src/parallel_solve.cpp --- lib/libclasp.a --- [ 92%] Linking CXX static library ../lib/libclasp.a cd /construction/math/clasp/.build/src && /usr/local/bin/cmake -P CMakeFiles/libclasp.dir/cmake_clean_target.cmake cd /construction/math/clasp/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libclasp.dir/link.txt --verbose=1 /usr/bin/ar qc ../lib/libclasp.a CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o CMakeFiles/libclasp.dir/clasp_facade.cpp.o CMakeFiles/libclasp.dir/clasp_options.cpp.o CMakeFiles/libclasp.dir/clasp_output.cpp.o CMakeFiles/libclasp.dir/clause.cpp.o CMakeFiles/libclasp.dir/clingo.cpp.o CMakeFiles/libclasp.dir/constraint.cpp.o CMakeFiles/libclasp.dir/dependency_graph.cpp.o CMakeFiles/libclasp.dir/enumerator.cpp.o CMakeFiles/libclasp.dir/heuristics.cpp.o CMakeFiles/libclasp.dir/logic_program.cpp.o CMakeFiles/libclasp.dir/logic_program_types.cpp.o CMakeFiles/libclasp.dir/lookahead.cpp.o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o CMakeFiles/libclasp.dir/model_enumerators.cpp.o CMakeFiles/libclasp.dir/parser.cpp.o CMakeFiles/libclasp.dir/program_builder.cpp.o CMakeFiles/libclasp.dir/satelite.cpp.o CMakeFiles/libclasp.dir/shared_context.cpp.o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o CMakeFiles/libclasp.dir/solver.cpp.o CMakeFiles/libclasp.dir/solver_strategies.cpp.o CMakeFiles/libclasp.dir/solver_types.cpp.o CMakeFiles/libclasp.dir/statistics.cpp.o CMakeFiles/libclasp.dir/timer.cpp.o CMakeFiles/libclasp.dir/unfounded_check.cpp.o CMakeFiles/libclasp.dir/weight_constraint.cpp.o CMakeFiles/libclasp.dir/parallel_solve.cpp.o /usr/bin/ranlib ../lib/libclasp.a [ 92%] Built target libclasp --- app/CMakeFiles/clasp.dir/all --- /usr/bin/make -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/depend --- app/CMakeFiles/clasp.dir/depend --- cd /construction/math/clasp/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clasp/clasp-3.3.5 /construction/math/clasp/clasp-3.3.5/app /construction/math/clasp/.build /construction/math/clasp/.build/app /construction/math/clasp/.build/app/CMakeFiles/clasp.dir/DependInfo.cmake /usr/bin/make -f app/CMakeFiles/clasp.dir/build.make app/CMakeFiles/clasp.dir/build --- app/CMakeFiles/clasp.dir/clasp_app.cpp.o --- --- app/CMakeFiles/clasp.dir/main.cpp.o --- --- app/CMakeFiles/clasp.dir/clasp_app.cpp.o --- [ 94%] Building CXX object app/CMakeFiles/clasp.dir/clasp_app.cpp.o cd /construction/math/clasp/.build/app && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT app/CMakeFiles/clasp.dir/clasp_app.cpp.o -MF CMakeFiles/clasp.dir/clasp_app.cpp.o.d -o CMakeFiles/clasp.dir/clasp_app.cpp.o -c /construction/math/clasp/clasp-3.3.5/app/clasp_app.cpp --- app/CMakeFiles/clasp.dir/main.cpp.o --- [ 96%] Building CXX object app/CMakeFiles/clasp.dir/main.cpp.o cd /construction/math/clasp/.build/app && /usr/local/libexec/ccache/c++ -I/construction/math/clasp/clasp-3.3.5 -I/construction/math/clasp/.build -I/construction/math/clasp/clasp-3.3.5/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -pthread -MD -MT app/CMakeFiles/clasp.dir/main.cpp.o -MF CMakeFiles/clasp.dir/main.cpp.o.d -o CMakeFiles/clasp.dir/main.cpp.o -c /construction/math/clasp/clasp-3.3.5/app/main.cpp --- bin/clasp --- [ 98%] Linking CXX executable ../bin/clasp cd /construction/math/clasp/.build/app && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/clasp.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/clasp.dir/clasp_app.cpp.o CMakeFiles/clasp.dir/main.cpp.o -o ../bin/clasp ../lib/libclasp.a -lpthread ../lib/libpotassco.a [100%] Built target clasp /usr/local/bin/cmake -E cmake_progress_start /construction/math/clasp/.build/CMakeFiles 0 SUCCEEDED 00:00:39 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for clasp-3.3.5 ===> Generating temporary packing list install -s -m 555 /construction/math/clasp/.build/bin/clasp /construction/math/clasp/stage/usr/local/bin/clasp ====> 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: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for clasp-3.3.5 file sizes/checksums [1]: 0% file sizes/checksums [1]: 100% Service unavailablepacking files [1]: 0% packing files [1]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:00:51