------------------------------------------------------------------------------- -- 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 ------------------------------------------------------------------------------- PYTHON="/usr/local/bin/python3.9" XDG_DATA_HOME=/construction/math/clingo XDG_CONFIG_HOME=/construction/math/clingo XDG_CACHE_HOME=/construction/math/clingo/.cache HOME=/construction/math/clingo TMPDIR="/tmp" PATH=/construction/math/clingo/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/clingo/.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/clingo XDG_CONFIG_HOME=/construction/math/clingo XDG_CACHE_HOME=/construction/math/clingo/.cache HOME=/construction/math/clingo TMPDIR="/tmp" PATH=/construction/math/clingo/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/clingo/.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/clingo/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.9 PYTHON_LIBDIR=lib/python3.9 PYTHON_PLATFORM=dragonfly6 PYTHON_SITELIBDIR=lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/clingo" EXAMPLESDIR="share/examples/clingo" DATADIR="share/clingo" WWWDIR="www/clingo" ETCDIR="etc/clingo" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PYTHON_INCLUDEDIR=/usr/local/include/python3.9 PYTHON_LIBDIR=/usr/local/lib/python3.9 PYTHON_PLATFORM=dragonfly6 PYTHON_SITELIBDIR=/usr/local/lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/clingo DOCSDIR=/usr/local/share/doc/clingo EXAMPLESDIR=/usr/local/share/examples/clingo WWWDIR=/usr/local/www/clingo ETCDIR=/usr/local/etc/clingo 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/re2c-3.0.pkg 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:05 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> clingo-5.6.2 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> clingo-5.6.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clingo-5.6.2 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> clingo-5.6.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clingo-5.6.2 for building => SHA256 Checksum OK for potassco-clingo-v5.6.2_GH0.tar.gz. => SHA256 Checksum OK for potassco-clasp-4c708a7_GH0.tar.gz. => SHA256 Checksum OK for catchorg-Catch2-97313f9_GH0.tar.gz. => SHA256 Checksum OK for mpark-variant-23cb94f_GH0.tar.gz. => SHA256 Checksum OK for TartanLlama-optional-c28fcf7_GH0.tar.gz. => SHA256 Checksum OK for Tessil-hopscotch-map-4442316_GH0.tar.gz. => SHA256 Checksum OK for Tessil-ordered-map-1619d52_GH0.tar.gz. => SHA256 Checksum OK for Tessil-sparse-map-89d3053_GH0.tar.gz. SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> clingo-5.6.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clingo-5.6.2 for building ===> Extracting for clingo-5.6.2 => SHA256 Checksum OK for potassco-clingo-v5.6.2_GH0.tar.gz. => SHA256 Checksum OK for potassco-clasp-4c708a7_GH0.tar.gz. => SHA256 Checksum OK for catchorg-Catch2-97313f9_GH0.tar.gz. => SHA256 Checksum OK for mpark-variant-23cb94f_GH0.tar.gz. => SHA256 Checksum OK for TartanLlama-optional-c28fcf7_GH0.tar.gz. => SHA256 Checksum OK for Tessil-hopscotch-map-4442316_GH0.tar.gz. => SHA256 Checksum OK for Tessil-ordered-map-1619d52_GH0.tar.gz. => SHA256 Checksum OK for Tessil-sparse-map-89d3053_GH0.tar.gz. Extracted Memory Use: 45.79M SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for clingo-5.6.2 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> clingo-5.6.2 depends on executable: re2c - found ===> clingo-5.6.2 depends on file: /usr/local/bin/cmake - found ===> clingo-5.6.2 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> clingo-5.6.2 depends on executable: re2c - found ===> clingo-5.6.2 depends on file: /usr/local/bin/cmake - found ===> clingo-5.6.2 depends on file: /usr/local/bin/ccache - found ===> Configuring for clingo-5.6.2 ===> Performing out-of-source build /bin/mkdir -p /construction/math/clingo/.build -- The C compiler identification is GNU 8.3.0 -- The CXX 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 -- 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 -- Could NOT find Python (missing: Interpreter) (Required is at least version "3.6") Reason given by package: Interpreter: Cannot run the interpreter "/usr/local/bin/python3.9" -- Could NOT find BISON (missing: BISON_EXECUTABLE) (Required is at least version "2.5") -- Found RE2C: /usr/local/bin/re2c (found suitable version "0.300.0", minimum required is "0.101") -- 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 (1.9s) -- Generating done (0.1s) CMake Warning: Manually-specified variables were not used by the project: BOOST_PYTHON_SUFFIX CMAKE_CXX_FLAGS_DEBUG CMAKE_C_FLAGS_DEBUG CMAKE_C_FLAGS_RELEASE CMAKE_MODULE_LINKER_FLAGS FETCHCONTENT_FULLY_DISCONNECTED Python_ADDITIONAL_VERSIONS -- Build files have been written to: /construction/math/clingo/.build SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for clingo-5.6.2 /usr/local/bin/cmake -S/construction/math/clingo/clingo-5.6.2 -B/construction/math/clingo/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/clingo/.build/CMakeFiles /construction/math/clingo/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/all --- /usr/bin/make -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/depend --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/clasp/libpotassco/src /construction/math/clingo/.build /construction/math/clingo/.build/clasp/libpotassco/src /construction/math/clingo/.build/clasp/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake /usr/bin/make -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o --- --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- [ 2%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- [ 3%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- [ 3%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- [ 4%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- [ 5%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- [ 6%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- [ 7%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/src/aspif.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/src/match_basic_types.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/src/aspif_text.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- [ 9%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- [ 8%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/src/convert.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/src/rule_utils.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/src/smodels.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/src/string_convert.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o --- [ 8%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/src/value_store.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- [ 10%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/src/program_options.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/src/application.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/src/clingo.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o --- [ 11%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/src/theory_data.cpp --- lib/libpotassco.a --- [ 12%] Linking CXX static library ../../../lib/libpotassco.a cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/local/bin/cmake -P CMakeFiles/libpotassco.dir/cmake_clean_target.cmake cd /construction/math/clingo/.build/clasp/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 [ 12%] Built target libpotassco --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/all --- --- libreify/CMakeFiles/libreify.dir/all --- --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/depend --- clasp/src/CMakeFiles/libclasp.dir/all --- /usr/bin/make -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/depend --- libreify/CMakeFiles/libreify.dir/all --- /usr/bin/make -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/depend --- libreify/CMakeFiles/libreify.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/libreify /construction/math/clingo/.build /construction/math/clingo/.build/libreify /construction/math/clingo/.build/libreify/CMakeFiles/libreify.dir/DependInfo.cmake --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/depend --- --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/clasp/src /construction/math/clingo/.build /construction/math/clingo/.build/clasp/src /construction/math/clingo/.build/clasp/src/CMakeFiles/libclasp.dir/DependInfo.cmake --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/clasp/libpotassco/app /construction/math/clingo/.build /construction/math/clingo/.build/clasp/libpotassco/app /construction/math/clingo/.build/clasp/libpotassco/app/CMakeFiles/lpconvert.dir/DependInfo.cmake --- libreify/CMakeFiles/libreify.dir/all --- /usr/bin/make -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/build --- libreify/CMakeFiles/libreify.dir/src/program.cc.o --- --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build --- libreify/CMakeFiles/libreify.dir/all --- [ 13%] Building CXX object libreify/CMakeFiles/libreify.dir/src/program.cc.o cd /construction/math/clingo/.build/libreify && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libreify/CMakeFiles/libreify.dir/src/program.cc.o -MF CMakeFiles/libreify.dir/src/program.cc.o.d -o CMakeFiles/libreify.dir/src/program.cc.o -c /construction/math/clingo/clingo-5.6.2/libreify/src/program.cc --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/all --- /usr/bin/make -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/build --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- [ 14%] Building CXX object clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/app && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fvisibility=hidden -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/libpotassco/app/lpconvert.cpp --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clasp_app.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o --- [ 15%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o --- [ 15%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- [ 16%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/clause.cpp --- clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/clingo.cpp --- clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- [ 17%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/dependency_graph.cpp --- clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o --- [ 18%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/cb_enumerator.cpp --- clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/constraint.cpp --- clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- [ 19%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- [ 20%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/clasp_facade.cpp --- clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/clasp_output.cpp --- clasp/src/CMakeFiles/libclasp.dir/clasp_app.cpp.o --- [ 21%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_app.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/src/CMakeFiles/libclasp.dir/clasp_app.cpp.o -MF CMakeFiles/libclasp.dir/clasp_app.cpp.o.d -o CMakeFiles/libclasp.dir/clasp_app.cpp.o -c /construction/math/clingo/clingo-5.6.2/clasp/src/clasp_app.cpp --- clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- [ 22%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/clasp_options.cpp --- clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- [ 23%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/asp_preprocessor.cpp --- clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o --- [ 24%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/enumerator.cpp --- clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o --- [ 25%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/heuristics.cpp --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- bin/lpconvert --- [ 26%] Linking CXX executable ../../../bin/lpconvert cd /construction/math/clingo/.build/clasp/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 [ 27%] Built target lpconvert --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o --- [ 28%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/logic_program.cpp --- clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o --- [ 29%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/logic_program_types.cpp --- clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o --- [ 30%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/lookahead.cpp --- clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o --- [ 31%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/minimize_constraint.cpp --- clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o --- [ 32%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/model_enumerators.cpp --- clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o --- [ 33%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/parser.cpp --- libreify/CMakeFiles/libreify.dir/all --- --- lib/libreify.a --- [ 34%] Linking CXX static library ../lib/libreify.a cd /construction/math/clingo/.build/libreify && /usr/local/bin/cmake -P CMakeFiles/libreify.dir/cmake_clean_target.cmake cd /construction/math/clingo/.build/libreify && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libreify.dir/link.txt --verbose=1 /usr/bin/ar qc ../lib/libreify.a CMakeFiles/libreify.dir/src/program.cc.o /usr/bin/ranlib ../lib/libreify.a [ 34%] Built target libreify --- libgringo/CMakeFiles/libgringo.dir/all --- /usr/bin/make -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/depend --- libgringo/src/input/groundtermlexer.hh --- [ 35%] [RE2C][groundtermlexer] Building lexer with re2c 0.300.0 cd /construction/math/clingo/.build/libgringo && /usr/local/bin/re2c -o /construction/math/clingo/.build/libgringo//src/input/groundtermlexer.hh /construction/math/clingo/clingo-5.6.2/libgringo//src/input/groundtermlexer.xh --- libgringo/src/input/nongroundlexer.hh --- [ 36%] [RE2C][nongroundlexer] Building lexer with re2c 0.300.0 cd /construction/math/clingo/.build/libgringo && /usr/local/bin/re2c -c -o /construction/math/clingo/.build/libgringo//src/input/nongroundlexer.hh /construction/math/clingo/clingo-5.6.2/libgringo//src/input/nongroundlexer.xch --- libgringo/CMakeFiles/libgringo.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/libgringo /construction/math/clingo/.build /construction/math/clingo/.build/libgringo /construction/math/clingo/.build/libgringo/CMakeFiles/libgringo.dir/DependInfo.cmake /usr/bin/make -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/build --- libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o --- [ 37%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o -MF CMakeFiles/libgringo.dir/src/symbol.cc.o.d -o CMakeFiles/libgringo.dir/src/symbol.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/symbol.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o --- [ 38%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/program_builder.cpp --- clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o --- [ 39%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/satelite.cpp --- clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o --- [ 40%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/shared_context.cpp --- clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o --- [ 41%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/solve_algorithms.cpp --- clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o --- [ 42%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/solver.cpp --- clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o --- [ 43%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/solver_strategies.cpp --- clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o --- [ 43%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/solver_types.cpp --- clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o --- [ 44%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/statistics.cpp --- clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o --- [ 45%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/timer.cpp --- clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o --- [ 46%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/unfounded_check.cpp --- clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o --- [ 47%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/weight_constraint.cpp --- clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o --- [ 48%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/src/parallel_solve.cpp --- app/reify/CMakeFiles/reify.dir/all --- /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/depend --- app/reify/CMakeFiles/reify.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/app/reify /construction/math/clingo/.build /construction/math/clingo/.build/app/reify /construction/math/clingo/.build/app/reify/CMakeFiles/reify.dir/DependInfo.cmake /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/build --- app/reify/CMakeFiles/reify.dir/main.cc.o --- [ 50%] Building CXX object app/reify/CMakeFiles/reify.dir/main.cc.o cd /construction/math/clingo/.build/app/reify && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/libclingo -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fvisibility=hidden -MD -MT app/reify/CMakeFiles/reify.dir/main.cc.o -MF CMakeFiles/reify.dir/main.cc.o.d -o CMakeFiles/reify.dir/main.cc.o -c /construction/math/clingo/clingo-5.6.2/app/reify/main.cc --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/term.cc.o --- [ 51%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/term.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/term.cc.o -MF CMakeFiles/libgringo.dir/src/term.cc.o.d -o CMakeFiles/libgringo.dir/src/term.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/term.cc --- libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o --- [ 52%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o -MF CMakeFiles/libgringo.dir/src/terms.cc.o.d -o CMakeFiles/libgringo.dir/src/terms.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/terms.cc --- libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o --- [ 53%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o -MF CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o.d -o CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/ground/instantiation.cc --- libgringo/CMakeFiles/libgringo.dir/src/ground/literal.cc.o --- [ 54%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/literal.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/ground/literal.cc.o -MF CMakeFiles/libgringo.dir/src/ground/literal.cc.o.d -o CMakeFiles/libgringo.dir/src/ground/literal.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/ground/literal.cc--- libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o --- [ 55%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o -MF CMakeFiles/libgringo.dir/src/ground/literals.cc.o.d -o CMakeFiles/libgringo.dir/src/ground/literals.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/ground/literals.cc --- libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o --- [ 56%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o -MF CMakeFiles/libgringo.dir/src/ground/program.cc.o.d -o CMakeFiles/libgringo.dir/src/ground/program.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/ground/program.cc--- app/reify/CMakeFiles/reify.dir/all --- --- bin/reify --- [ 57%] Linking CXX executable ../../bin/reify cd /construction/math/clingo/.build/app/reify && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/reify.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/reify.dir/main.cc.o -o ../../bin/reify ../../lib/libreify.a ../../lib/libpotassco.a [ 58%] Built target reify --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o --- [ 59%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o -MF CMakeFiles/libgringo.dir/src/ground/statements.cc.o.d -o CMakeFiles/libgringo.dir/src/ground/statements.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/ground/statements.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o --- [ 60%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o -MF CMakeFiles/libgringo.dir/src/input/aggregate.cc.o.d -o CMakeFiles/libgringo.dir/src/input/aggregate.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/input/aggregate.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o --- [ 61%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o -MF CMakeFiles/libgringo.dir/src/input/aggregates.cc.o.d -o CMakeFiles/libgringo.dir/src/input/aggregates.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/input/aggregates.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o --- [ 62%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o -MF CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o.d -o CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/input/groundtermparser.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o --- [ 63%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o -MF CMakeFiles/libgringo.dir/src/input/literal.cc.o.d -o CMakeFiles/libgringo.dir/src/input/literal.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/input/literal.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o --- [ 64%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o -MF CMakeFiles/libgringo.dir/src/input/literals.cc.o.d -o CMakeFiles/libgringo.dir/src/input/literals.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/input/literals.cc--- clasp/src/CMakeFiles/libclasp.dir/all --- --- lib/libclasp.a --- [ 65%] Linking CXX static library ../../lib/libclasp.a cd /construction/math/clingo/.build/clasp/src && /usr/local/bin/cmake -P CMakeFiles/libclasp.dir/cmake_clean_target.cmake cd /construction/math/clingo/.build/clasp/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_app.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 [ 65%] Built target libclasp --- clasp/app/CMakeFiles/clasp.dir/all --- /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/depend --- clasp/app/CMakeFiles/clasp.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/clasp/app /construction/math/clingo/.build /construction/math/clingo/.build/clasp/app /construction/math/clingo/.build/clasp/app/CMakeFiles/clasp.dir/DependInfo.cmake /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/build --- clasp/app/CMakeFiles/clasp.dir/main.cpp.o --- [ 65%] Building CXX object clasp/app/CMakeFiles/clasp.dir/main.cpp.o cd /construction/math/clingo/.build/clasp/app && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fvisibility=hidden -pthread -MD -MT clasp/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/clingo/clingo-5.6.2/clasp/app/main.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o --- [ 65%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o -MF CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o.d -o CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/input/nongroundparser.cc --- clasp/app/CMakeFiles/clasp.dir/all --- --- bin/clasp --- [ 66%] Linking CXX executable ../../bin/clasp cd /construction/math/clingo/.build/clasp/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/main.cpp.o -o ../../bin/clasp ../../lib/libclasp.a -lpthread ../../lib/libpotassco.a [ 67%] Built target clasp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o --- [ 68%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o -MF CMakeFiles/libgringo.dir/src/input/program.cc.o.d -o CMakeFiles/libgringo.dir/src/input/program.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/input/program.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o --- [ 69%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o -MF CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o.d -o CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/input/programbuilder.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o --- [ 70%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o -MF CMakeFiles/libgringo.dir/src/input/statement.cc.o.d -o CMakeFiles/libgringo.dir/src/input/statement.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/input/statement.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o --- [ 71%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o -MF CMakeFiles/libgringo.dir/src/input/theory.cc.o.d -o CMakeFiles/libgringo.dir/src/input/theory.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/input/theory.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o --- [ 72%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o -MF CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o.d -o CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o -c /construction/math/clingo/.build/libgringo/src/input/groundtermgrammar/grammar.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o --- [ 73%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o -MF CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o.d -o CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o -c /construction/math/clingo/.build/libgringo/src/input/nongroundgrammar/grammar.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o --- [ 74%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o -MF CMakeFiles/libgringo.dir/src/output/aggregates.cc.o.d -o CMakeFiles/libgringo.dir/src/output/aggregates.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/output/aggregates.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o --- [ 75%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o -MF CMakeFiles/libgringo.dir/src/output/literal.cc.o.d -o CMakeFiles/libgringo.dir/src/output/literal.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/output/literal.cc--- libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o --- [ 76%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o -MF CMakeFiles/libgringo.dir/src/output/literals.cc.o.d -o CMakeFiles/libgringo.dir/src/output/literals.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/output/literals.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o --- [ 77%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o -MF CMakeFiles/libgringo.dir/src/output/output.cc.o.d -o CMakeFiles/libgringo.dir/src/output/output.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/output/output.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o --- [ 78%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o -MF CMakeFiles/libgringo.dir/src/output/statement.cc.o.d -o CMakeFiles/libgringo.dir/src/output/statement.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/output/statement.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o --- [ 79%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o -MF CMakeFiles/libgringo.dir/src/output/statements.cc.o.d -o CMakeFiles/libgringo.dir/src/output/statements.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/output/statements.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o --- [ 80%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o cd /construction/math/clingo/.build/libgringo && /usr/local/libexec/ccache/c++ -DCLINGO_MAP_TYPE=0 -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -MD -MT libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o -MF CMakeFiles/libgringo.dir/src/output/theory.cc.o.d -o CMakeFiles/libgringo.dir/src/output/theory.cc.o -c /construction/math/clingo/clingo-5.6.2/libgringo/src/output/theory.cc --- lib/libgringo.a --- [ 81%] Linking CXX static library ../lib/libgringo.a cd /construction/math/clingo/.build/libgringo && /usr/local/bin/cmake -P CMakeFiles/libgringo.dir/cmake_clean_target.cmake cd /construction/math/clingo/.build/libgringo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libgringo.dir/link.txt --verbose=1 /usr/bin/ar qc ../lib/libgringo.a CMakeFiles/libgringo.dir/src/symbol.cc.o CMakeFiles/libgringo.dir/src/term.cc.o CMakeFiles/libgringo.dir/src/terms.cc.o CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o CMakeFiles/libgringo.dir/src/ground/literal.cc.o CMakeFiles/libgringo.dir/src/ground/literals.cc.o CMakeFiles/libgringo.dir/src/ground/program.cc.o CMakeFiles/libgringo.dir/src/ground/statements.cc.o CMakeFiles/libgringo.dir/src/input/aggregate.cc.o CMakeFiles/libgringo.dir/src/input/aggregates.cc.o CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o CMakeFiles/libgringo.dir/src/input/literal.cc.o CMakeFiles/libgringo.dir/src/input/literals.cc.o CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o CMakeFiles/libgringo.dir/src/input/program.cc.o CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o CMakeFiles/libgringo.dir/src/input/statement.cc.o CMakeFiles/libgringo.dir/src/input/theory.cc.o CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o CMakeFiles/libgringo.dir/src/output/aggregates.cc.o CMakeFiles/libgringo.dir/src/output/literal.cc.o CMakeFiles/libgringo.dir/src/output/literals.cc.o CMakeFiles/libgringo.dir/src/output/output.cc.o CMakeFiles/libgringo.dir/src/output/statement.cc.o CMakeFiles/libgringo.dir/src/output/statements.cc.o CMakeFiles/libgringo.dir/src/output/theory.cc.o /usr/bin/ranlib ../lib/libgringo.a [ 81%] Built target libgringo --- libclingo/CMakeFiles/libclingo.dir/all --- /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/depend --- libclingo/CMakeFiles/libclingo.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/libclingo /construction/math/clingo/.build /construction/math/clingo/.build/libclingo /construction/math/clingo/.build/libclingo/CMakeFiles/libclingo.dir/DependInfo.cmake /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/build --- libclingo/CMakeFiles/libclingo.dir/src/astv2.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/astv2_build.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/astv2_parse.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/astv2_str.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/control.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o --- --- libclingo/CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o --- [ 83%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o --- [ 83%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o --- [ 84%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/local/libexec/ccache/c++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.6.2/libclingo -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -pthread -MD -MT libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o -MF CMakeFiles/libclingo.dir/src/clingo--- libclingo/CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/local/libexec/ccache/c++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.6.2/libclingo -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -pthread -MD -MT libclingo/CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o -MF CMakeFiles/libclingo.dir/src/astv2_u--- libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o --- control.cc.o.d -o CMakeFiles/libclingo.dir/src/clingocontrol.cc.o -c /construction/math/clingo/clingo-5.6.2/libclingo/src/clingocontrol.cc --- libclingo/CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o --- npool.cc.o.d -o CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o -c /construction/math/clingo/clingo-5.6.2/libclingo/src/astv2_unpool.cc --- libclingo/CMakeFiles/libclingo.dir/src/astv2.cc.o --- [ 85%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/local/libexec/ccache/c++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.6.2/libclingo -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -pthread -MD -MT libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o -MF CMakeFiles/libclingo.dir/src/incmode.cc.o.d -o CMakeFiles/libclingo.dir/src/incmode.cc.o -c /construction/math/clingo/clingo-5.6.2/libclingo/src/incmode.cc --- libclingo/CMakeFiles/libclingo.dir/src/astv2.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/local/libexec/ccache/c++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.6.2/libclingo -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -pthread -MD -MT libclingo/CMakeFiles/libclingo.dir/src/astv2.cc.o -MF CMakeFiles/libclingo.dir/src/astv2.cc.o.d -o CMakeFiles/libclingo.dir/src/astv2.cc.o -c /construction/math/clingo/clingo-5.6.2/libclingo/src/astv2.cc --- libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o --- [ 86%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o cd /construction/math/clingo/.build/libclingo && /usr/local/libexec/ccache/c++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.6.2/libclingo -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -pthread -MD -MT libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o -MF CMakeFiles/libclingo.dir/src/clingo_app.cc.o.d -o CMakeFiles/libclingo.dir/src/clingo_app.cc.o -c /construction/math/clingo/clingo-5.6.2/libclingo/src/clingo_app.cc --- libclingo/CMakeFiles/libclingo.dir/src/control.cc.o --- [ 87%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/control.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/astv2_parse.cc.o --- [ 88%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2_parse.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/control.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/local/libexec/ccache/c++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.6.2/libclingo -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -pthread -MD -MT libclingo/CMakeFiles/libclingo.dir/src/control.cc.o -MF CMakeFiles/libclingo.dir/src/control.cc.o.d -o CMakeFiles/libclingo.dir/src/control.cc.o -c /construction/math/clingo/clingo-5.6.2/libclingo/src/control.cc --- libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o --- [ 89%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/astv2_parse.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/local/libexec/ccache/c++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.6.2/libclingo -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -pthread -MD -MT libclingo/CMakeFiles/libclingo.dir/src/astv2_parse.cc.o -MF CMakeFiles/libclingo.dir/src/astv2_parse.cc.o.d -o CMakeFiles/libclingo.dir/src/astv2_parse.cc.o -c /construction/math/clingo/clingo-5.6.2/libclingo/src/astv2_parse.cc --- libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/local/libexec/ccache/c++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.6.2/libclingo -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -pthread -MD -MT libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o -MF CMakeFiles/libclingo.dir/src/gringo_app.cc.o.d -o CMakeFiles/libclingo.dir/src/gringo_app.cc.o -c /construction/math/clingo/clingo-5.6.2/libclingo/src/gringo_app.cc --- libclingo/CMakeFiles/libclingo.dir/src/astv2_build.cc.o --- [ 90%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2_build.cc.o cd /construction/math/clingo/.build/libclingo && /usr/local/libexec/ccache/c++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.6.2/libclingo -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -pthread -MD -MT libclingo/CMakeFiles/libclingo.dir/src/astv2_build.cc.o -MF CMakeFiles/libclingo.dir/src/astv2_build.cc.o.d -o CMakeFiles/libclingo.dir/src/astv2_build.cc.o -c /construction/math/clingo/clingo-5.6.2/libclingo/src/astv2_build.cc --- libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o --- [ 91%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o cd /construction/math/clingo/.build/libclingo && /usr/local/libexec/ccache/c++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.6.2/libclingo -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -pthread -MD -MT libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o -MF CMakeFiles/libclingo.dir/src/scripts.cc.o.d -o CMakeFiles/libclingo.dir/src/scripts.cc.o -c /construction/math/clingo/clingo-5.6.2/libclingo/src/scripts.cc --- libclingo/CMakeFiles/libclingo.dir/src/astv2_str.cc.o --- [ 92%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/astv2_str.cc.o cd /construction/math/clingo/.build/libclingo && /usr/local/libexec/ccache/c++ -DCLINGO_BUILD_LIBRARY -DCLINGO_MAP_TYPE=0 -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.6.2/libclingo -I/construction/math/clingo/clingo-5.6.2/libgringo -I/construction/math/clingo/clingo-5.6.2/clasp/libpotassco -I/construction/math/clingo/clingo-5.6.2/libreify -I/construction/math/clingo/clingo-5.6.2/third_party/ordered-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/hopscotch-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/sparse-map/include -I/construction/math/clingo/clingo-5.6.2/third_party/optional/include -I/construction/math/clingo/clingo-5.6.2/third_party/variant/include -I/construction/math/clingo/clingo-5.6.2/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fPIC -fvisibility=hidden -pthread -MD -MT libclingo/CMakeFiles/libclingo.dir/src/astv2_str.cc.o -MF CMakeFiles/libclingo.dir/src/astv2_str.cc.o.d -o CMakeFiles/libclingo.dir/src/astv2_str.cc.o -c /construction/math/clingo/clingo-5.6.2/libclingo/src/astv2_str.cc --- bin/libclingo.so.4.0 --- [ 92%] Linking CXX shared library ../bin/libclingo.so cd /construction/math/clingo/.build/libclingo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libclingo.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -fPIC -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -shared -Wl,-soname,libclingo.so.4 -o ../bin/libclingo.so.4.0 CMakeFiles/libclingo.dir/src/astv2.cc.o CMakeFiles/libclingo.dir/src/astv2_build.cc.o CMakeFiles/libclingo.dir/src/astv2_parse.cc.o CMakeFiles/libclingo.dir/src/astv2_str.cc.o CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o CMakeFiles/libclingo.dir/src/clingo_app.cc.o CMakeFiles/libclingo.dir/src/clingocontrol.cc.o CMakeFiles/libclingo.dir/src/control.cc.o CMakeFiles/libclingo.dir/src/gringo_app.cc.o CMakeFiles/libclingo.dir/src/incmode.cc.o CMakeFiles/libclingo.dir/src/scripts.cc.o ../lib/libgringo.a ../lib/libclasp.a ../lib/libreify.a ../lib/libpotassco.a -lpthread cd /construction/math/clingo/.build/libclingo && /usr/local/bin/cmake -E cmake_symlink_library ../bin/libclingo.so.4.0 ../bin/libclingo.so.4 ../bin/libclingo.so [ 93%] Built target libclingo --- app/gringo/CMakeFiles/gringo.dir/all --- --- app/clingo/CMakeFiles/clingo.dir/all --- --- app/gringo/CMakeFiles/gringo.dir/all --- /usr/bin/make -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/depend --- app/clingo/CMakeFiles/clingo.dir/all --- /usr/bin/make -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/depend --- app/clingo/CMakeFiles/clingo.dir/depend --- --- app/gringo/CMakeFiles/gringo.dir/all --- --- app/gringo/CMakeFiles/gringo.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/app/gringo /construction/math/clingo/.build /construction/math/clingo/.build/app/gringo /construction/math/clingo/.build/app/gringo/CMakeFiles/gringo.dir/DependInfo.cmake --- app/clingo/CMakeFiles/clingo.dir/all --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/app/clingo /construction/math/clingo/.build /construction/math/clingo/.build/app/clingo /construction/math/clingo/.build/app/clingo/CMakeFiles/clingo.dir/DependInfo.cmake --- app/gringo/CMakeFiles/gringo.dir/all --- /usr/bin/make -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/build --- app/clingo/CMakeFiles/clingo.dir/all --- /usr/bin/make -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/build --- app/gringo/CMakeFiles/gringo.dir/all --- --- app/gringo/CMakeFiles/gringo.dir/main.cc.o --- --- app/clingo/CMakeFiles/clingo.dir/all --- --- app/clingo/CMakeFiles/clingo.dir/main.cc.o --- --- app/gringo/CMakeFiles/gringo.dir/all --- [ 94%] Building CXX object app/gringo/CMakeFiles/gringo.dir/main.cc.o cd /construction/math/clingo/.build/app/gringo && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/libclingo -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fvisibility=hidden -MD -MT app/gringo/CMakeFiles/gringo.dir/main.cc.o -MF CMakeFiles/gringo.dir/main.cc.o.d -o CMakeFiles/gringo.dir/main.cc.o -c /construction/math/clingo/clingo-5.6.2/app/gringo/main.cc --- app/clingo/CMakeFiles/clingo.dir/all --- [ 95%] Building CXX object app/clingo/CMakeFiles/clingo.dir/main.cc.o cd /construction/math/clingo/.build/app/clingo && /usr/local/libexec/ccache/c++ -I/construction/math/clingo/clingo-5.6.2/libclingo -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -std=c++14 -fvisibility=hidden -MD -MT app/clingo/CMakeFiles/clingo.dir/main.cc.o -MF CMakeFiles/clingo.dir/main.cc.o.d -o CMakeFiles/clingo.dir/main.cc.o -c /construction/math/clingo/clingo-5.6.2/app/clingo/main.cc --- bin/clingo --- [ 96%] Linking CXX executable ../../bin/clingo cd /construction/math/clingo/.build/app/clingo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/clingo.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/clingo.dir/main.cc.o -o ../../bin/clingo -Wl,-z,origin,-rpath,/construction/math/clingo/.build/bin ../../bin/libclingo.so.4.0 [ 97%] Built target clingo --- app/gringo/CMakeFiles/gringo.dir/all --- --- bin/gringo --- [ 98%] Linking CXX executable ../../bin/gringo cd /construction/math/clingo/.build/app/gringo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/gringo.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/gringo.dir/main.cc.o -o ../../bin/gringo -Wl,-z,origin,-rpath,/construction/math/clingo/.build/bin ../../bin/libclingo.so.4.0 [100%] Built target gringo /usr/local/bin/cmake -E cmake_progress_start /construction/math/clingo/.build/CMakeFiles 0 SUCCEEDED 00:02:42 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for clingo-5.6.2 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/clingo/clingo-5.6.2 -B/construction/math/clingo/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/clingo/.build/CMakeFiles /construction/math/clingo/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/clasp/libpotassco/src /construction/math/clingo/.build /construction/math/clingo/.build/clasp/libpotassco/src /construction/math/clingo/.build/clasp/libpotassco/src/CMakeFiles/libpotassco.dir/DependInfo.cmake /usr/bin/make -f clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build.make clasp/libpotassco/src/CMakeFiles/libpotassco.dir/build [ 12%] Built target libpotassco /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/clasp/libpotassco/app /construction/math/clingo/.build /construction/math/clingo/.build/clasp/libpotassco/app /construction/math/clingo/.build/clasp/libpotassco/app/CMakeFiles/lpconvert.dir/DependInfo.cmake /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build [ 15%] Built target lpconvert /usr/bin/make -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/clasp/src /construction/math/clingo/.build /construction/math/clingo/.build/clasp/src /construction/math/clingo/.build/clasp/src/CMakeFiles/libclasp.dir/DependInfo.cmake /usr/bin/make -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/build [ 44%] Built target libclasp /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/clasp/app /construction/math/clingo/.build /construction/math/clingo/.build/clasp/app /construction/math/clingo/.build/clasp/app/CMakeFiles/clasp.dir/DependInfo.cmake /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/build [ 46%] Built target clasp /usr/bin/make -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/libreify /construction/math/clingo/.build /construction/math/clingo/.build/libreify /construction/math/clingo/.build/libreify/CMakeFiles/libreify.dir/DependInfo.cmake /usr/bin/make -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/build [ 48%] Built target libreify /usr/bin/make -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/libgringo /construction/math/clingo/.build /construction/math/clingo/.build/libgringo /construction/math/clingo/.build/libgringo/CMakeFiles/libgringo.dir/DependInfo.cmake /usr/bin/make -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/build [ 78%] Built target libgringo /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/libclingo /construction/math/clingo/.build /construction/math/clingo/.build/libclingo /construction/math/clingo/.build/libclingo/CMakeFiles/libclingo.dir/DependInfo.cmake /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/build [ 90%] Built target libclingo /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/app/reify /construction/math/clingo/.build /construction/math/clingo/.build/app/reify /construction/math/clingo/.build/app/reify/CMakeFiles/reify.dir/DependInfo.cmake /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/build [ 93%] Built target reify /usr/bin/make -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/app/gringo /construction/math/clingo/.build /construction/math/clingo/.build/app/gringo /construction/math/clingo/.build/app/gringo/CMakeFiles/gringo.dir/DependInfo.cmake /usr/bin/make -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/build [ 96%] Built target gringo /usr/bin/make -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/depend cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.6.2 /construction/math/clingo/clingo-5.6.2/app/clingo /construction/math/clingo/.build /construction/math/clingo/.build/app/clingo /construction/math/clingo/.build/app/clingo/CMakeFiles/clingo.dir/DependInfo.cmake /usr/bin/make -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/build [100%] Built target clingo /usr/local/bin/cmake -E cmake_progress_start /construction/math/clingo/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/lpconvert cd /construction/math/clingo/.build/clasp/libpotassco/app && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/lpconvert.dir/relink.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 CMakeFiles/CMakeRelink.dir/lpconvert -Wl,-z,origin,-rpath,/usr/local/lib ../../../lib/libpotassco.a /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/clasp cd /construction/math/clingo/.build/clasp/app && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/clasp.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/clasp.dir/main.cpp.o -o CMakeFiles/CMakeRelink.dir/clasp -Wl,-z,origin,-rpath,/usr/local/lib ../../lib/libclasp.a -lpthread ../../lib/libpotassco.a /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/preinstall Linking CXX shared library CMakeFiles/CMakeRelink.dir/libclingo.so cd /construction/math/clingo/.build/libclingo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libclingo.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -fPIC -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG -shared -Wl,-soname,libclingo.so.4 -o CMakeFiles/CMakeRelink.dir/libclingo.so.4.0 CMakeFiles/libclingo.dir/src/astv2.cc.o CMakeFiles/libclingo.dir/src/astv2_build.cc.o CMakeFiles/libclingo.dir/src/astv2_parse.cc.o CMakeFiles/libclingo.dir/src/astv2_str.cc.o CMakeFiles/libclingo.dir/src/astv2_unpool.cc.o CMakeFiles/libclingo.dir/src/clingo_app.cc.o CMakeFiles/libclingo.dir/src/clingocontrol.cc.o CMakeFiles/libclingo.dir/src/control.cc.o CMakeFiles/libclingo.dir/src/gringo_app.cc.o CMakeFiles/libclingo.dir/src/incmode.cc.o CMakeFiles/libclingo.dir/src/scripts.cc.o -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libgringo.a ../lib/libclasp.a ../lib/libreify.a ../lib/libpotassco.a -lpthread cd /construction/math/clingo/.build/libclingo && /usr/local/bin/cmake -E cmake_symlink_library CMakeFiles/CMakeRelink.dir/libclingo.so.4.0 CMakeFiles/CMakeRelink.dir/libclingo.so.4 CMakeFiles/CMakeRelink.dir/libclingo.so /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/reify cd /construction/math/clingo/.build/app/reify && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/reify.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/reify.dir/main.cc.o -o CMakeFiles/CMakeRelink.dir/reify -Wl,-z,origin,-rpath,/usr/local/lib ../../lib/libreify.a ../../lib/libpotassco.a /usr/bin/make -f app/gringo/CMakeFiles/gringo.dir/build.make app/gringo/CMakeFiles/gringo.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/gringo cd /construction/math/clingo/.build/app/gringo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/gringo.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/gringo.dir/main.cc.o -o CMakeFiles/CMakeRelink.dir/gringo -Wl,-z,origin,-rpath,/usr/local/lib ../../bin/libclingo.so.4.0 /usr/bin/make -f app/clingo/CMakeFiles/clingo.dir/build.make app/clingo/CMakeFiles/clingo.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/clingo cd /construction/math/clingo/.build/app/clingo && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/clingo.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/clingo.dir/main.cc.o -o CMakeFiles/CMakeRelink.dir/clingo -Wl,-z,origin,-rpath,/usr/local/lib ../../bin/libclingo.so.4.0 Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /construction/math/clingo/stage/usr/local/bin/lpconvert -- Installing: /construction/math/clingo/stage/usr/local/bin/clasp -- Installing: /construction/math/clingo/stage/usr/local/lib/libclingo.so.4.0 -- Installing: /construction/math/clingo/stage/usr/local/lib/libclingo.so.4 -- Installing: /construction/math/clingo/stage/usr/local/lib/libclingo.so -- Installing: /construction/math/clingo/stage/usr/local/include/clingo.hh -- Installing: /construction/math/clingo/stage/usr/local/include/clingo.h -- Installing: /construction/math/clingo/stage/usr/local/lib/cmake/Clingo/ClingoTargets.cmake -- Installing: /construction/math/clingo/stage/usr/local/lib/cmake/Clingo/ClingoTargets-release.cmake -- Installing: /construction/math/clingo/stage/usr/local/lib/cmake/Clingo/ClingoConfig.cmake -- Installing: /construction/math/clingo/stage/usr/local/lib/cmake/Clingo/ClingoConfigVersion.cmake -- Installing: /construction/math/clingo/stage/usr/local/bin/reify -- Installing: /construction/math/clingo/stage/usr/local/bin/gringo -- Installing: /construction/math/clingo/stage/usr/local/bin/clingo ====> 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:03 ------------------------------------------------------------------------------- -- 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 clingo-5.6.2 file sizes/checksums [14]: 0% file sizes/checksums [14]: 100% Service unavailablepacking files [14]: 0% packing files [14]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:01 TOTAL TIME 00:02:58