=> Building math/clingo Started : Saturday, 15 FEB 2020 at 15:00:42 UTC Platform: 5.7-DEVELOPMENT DragonFly v5.7.0.1432.g9cd86-DEVELOPMENT #23: Thu Feb 13 14:43:04 PST 2020 root@sting.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.7-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.7-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/clingo XDG_CONFIG_HOME=/construction/math/clingo HOME=/construction/math/clingo TMPDIR="/tmp" PATH=/construction/math/clingo/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/clingo XDG_CONFIG_HOME=/construction/math/clingo HOME=/construction/math/clingo TMPDIR="/tmp" PATH=/construction/math/clingo/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes 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" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/math/clingo/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- CMAKE_BUILD_TYPE="release" OSREL=5.7 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" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- 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 -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=LiveSystem USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=15 DPORTS_BUILDER= yes DISABLE_LICENSES= yes DEFAULT_VERSIONS= ssl=openssl FORCE_PACKAGE= yes DEVELOPER= yes HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.30.1 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=32 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500709 OSVERSION=9999999 OSREL=5.7 _OSRELEASE=5.7-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> clingo-5.4.0 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.12.0_1.txz Installing pkg-1.12.0_1... Extracting pkg-1.12.0_1: .......... done ===> clingo-5.4.0 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of clingo-5.4.0 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- => potassco-clingo-v5.4.0_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/potassco/clingo/tar.gz/v5.4.0?dummy=/potassco-clingo-v5.4.0_GH0.tar.gz fetch: https://codeload.github.com/potassco/clingo/tar.gz/v5.4.0?dummy=/potassco-clingo-v5.4.0_GH0.tar.gz: size unknown fetch: https://codeload.github.com/potassco/clingo/tar.gz/v5.4.0?dummy=/potassco-clingo-v5.4.0_GH0.tar.gz: size of remote file is not known potassco-clingo-v5.4.0_GH0.tar.gz 2756 kB 1889 kBps 02s => potassco-clasp-c183473_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/potassco/clasp/tar.gz/c183473?dummy=/potassco-clasp-c183473_GH0.tar.gz fetch: https://codeload.github.com/potassco/clasp/tar.gz/c183473?dummy=/potassco-clasp-c183473_GH0.tar.gz: size unknown fetch: https://codeload.github.com/potassco/clasp/tar.gz/c183473?dummy=/potassco-clasp-c183473_GH0.tar.gz: size of remote file is not known potassco-clasp-c183473_GH0.tar.gz 606 kB 990 kBps 01s ===> Fetching all distfiles required by clingo-5.4.0 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- => potassco-clingo-v5.4.0_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/potassco/clingo/tar.gz/v5.4.0?dummy=/potassco-clingo-v5.4.0_GH0.tar.gz fetch: https://codeload.github.com/potassco/clingo/tar.gz/v5.4.0?dummy=/potassco-clingo-v5.4.0_GH0.tar.gz: size unknown fetch: https://codeload.github.com/potassco/clingo/tar.gz/v5.4.0?dummy=/potassco-clingo-v5.4.0_GH0.tar.gz: size of remote file is not known potassco-clingo-v5.4.0_GH0.tar.gz 2756 kB 2034 kBps 01s ===> Fetching all distfiles required by clingo-5.4.0 for building => SHA256 Checksum OK for potassco-clingo-v5.4.0_GH0.tar.gz. => SHA256 Checksum OK for potassco-clasp-c183473_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> Fetching all distfiles required by clingo-5.4.0 for building ===> Extracting for clingo-5.4.0 => SHA256 Checksum OK for potassco-clingo-v5.4.0_GH0.tar.gz. => SHA256 Checksum OK for potassco-clasp-c183473_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for clingo-5.4.0 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> clingo-5.4.0 depends on executable: re2c - not found ===> Installing existing package /packages/All/re2c-0.14.3.txz Installing re2c-0.14.3... Extracting re2c-0.14.3: .......... done ===> clingo-5.4.0 depends on executable: re2c - found ===> Returning to build of clingo-5.4.0 ===> clingo-5.4.0 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.16.4.txz Installing cmake-3.16.4... `-- Installing curl-7.68.0... | `-- Installing ca_root_nss-3.50... | `-- Extracting ca_root_nss-3.50: ..... done | `-- Installing libnghttp2-1.40.0... | `-- Extracting libnghttp2-1.40.0: ....... done | `-- Installing openssl-1.1.1d,1... | `-- Extracting openssl-1.1.1d,1: .......... done `-- Extracting curl-7.68.0: .......... done `-- Installing expat-2.2.8... `-- Extracting expat-2.2.8: .......... done `-- Installing jsoncpp-1.9.2... `-- Extracting jsoncpp-1.9.2: .......... done `-- Installing libarchive-3.4.0,1... | `-- Installing liblz4-1.9.2_1,1... | `-- Extracting liblz4-1.9.2_1,1: .......... done | `-- Installing lzo2-2.10_1... | `-- Extracting lzo2-2.10_1: .......... done `-- Extracting libarchive-3.4.0,1: .......... done `-- Installing libuv-1.34.2... `-- Extracting libuv-1.34.2: .......... done `-- Installing ncurses-6.1.20190525... `-- Extracting ncurses-6.1.20190525: .......... done `-- Installing rhash-1.3.5... `-- Extracting rhash-1.3.5: .......... done Extracting cmake-3.16.4: .......... done ===== Message from ca_root_nss-3.50: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem ===> clingo-5.4.0 depends on file: /usr/local/bin/cmake - found ===> Returning to build of clingo-5.4.0 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for clingo-5.4.0 ===> 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 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Could NOT find Python (missing: Python_EXECUTABLE Interpreter) -- Could NOT find BISON (missing: BISON_EXECUTABLE) (Required is at least version "2.5") -- Found RE2C: /usr/local/bin/re2c (found suitable version "0.14.3", minimum required is "0.13") -- Looking for pthread.h -- Looking for pthread.h - 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 -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_CXX_FLAGS_DEBUG CMAKE_C_FLAGS_DEBUG CMAKE_C_FLAGS_RELEASE CMAKE_MODULE_LINKER_FLAGS -- Build files have been written to: /construction/math/clingo/.build -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for clingo-5.4.0 /usr/local/bin/cmake -S/construction/math/clingo/clingo-5.4.0 -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.4.0 /construction/math/clingo/clingo-5.4.0/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 Scanning dependencies of target libpotassco /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/application.cpp.o --- [ 3%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/application.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/application.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- [ 4%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/aspif.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- [ 4%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/aspif_text.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/aspif_text.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- [ 4%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/clingo.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/clingo.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o --- [ 5%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- [ 6%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/theory_data.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/theory_data.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- [ 7%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/match_basic_types.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/match_basic_types.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- [ 8%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/program_options.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/program_options.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- [ 9%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/convert.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/convert.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- [ 10%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/rule_utils.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/rule_utils.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o --- [ 11%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/string_convert.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/string_convert.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o --- cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/value_store.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/value_store.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- [ 12%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=gnu++11 -o CMakeFiles/libpotassco.dir/smodels.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/src/smodels.cpp --- lib/libpotassco.a --- [ 13%] 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 [ 13%] 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 --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- 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.4.0 /construction/math/clingo/clingo-5.4.0/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 --- --- libreify/CMakeFiles/libreify.dir/depend --- --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/depend --- --- libreify/CMakeFiles/libreify.dir/all --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/libreify /construction/math/clingo/.build /construction/math/clingo/.build/libreify /construction/math/clingo/.build/libreify/CMakeFiles/libreify.dir/DependInfo.cmake --- clasp/src/CMakeFiles/libclasp.dir/all --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/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 --- Scanning dependencies of target lpconvert /usr/bin/make -f clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build.make clasp/libpotassco/app/CMakeFiles/lpconvert.dir/build --- libreify/CMakeFiles/libreify.dir/all --- Scanning dependencies of target libreify /usr/bin/make -f libreify/CMakeFiles/libreify.dir/build.make libreify/CMakeFiles/libreify.dir/build --- libreify/CMakeFiles/libreify.dir/src/program.cc.o --- [ 14%] Building CXX object libreify/CMakeFiles/libreify.dir/src/program.cc.o cd /construction/math/clingo/.build/libreify && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libreify.dir/src/program.cc.o -c /construction/math/clingo/clingo-5.4.0/libreify/src/program.cc --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o --- [ 15%] Building CXX object clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/app && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -std=gnu++11 -o CMakeFiles/lpconvert.dir/lpconvert.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/libpotassco/app/lpconvert.cpp --- clasp/src/CMakeFiles/libclasp.dir/all --- Scanning dependencies of target libclasp /usr/bin/make -f clasp/src/CMakeFiles/libclasp.dir/build.make clasp/src/CMakeFiles/libclasp.dir/build --- clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.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/heuristics.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o --- --- clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o --- --- 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/constraint.cpp.o --- [ 17%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- [ 18%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o --- [ 19%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/cb_enumerator.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/cb_enumerator.cpp --- clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/constraint.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/constraint.cpp --- clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_options.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/clasp_options.cpp --- clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clause.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/clause.cpp --- clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- [ 22%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o --- [ 21%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o --- [ 22%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- [ 23%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/heuristics.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/heuristics.cpp --- clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/dependency_graph.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/dependency_graph.cpp --- clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program_types.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/logic_program_types.cpp --- clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/asp_preprocessor.cpp --- clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o --- [ 24%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clingo.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/clingo.cpp --- clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o --- [ 25%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o --- [ 26%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/logic_program.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/logic_program.cpp --- clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/enumerator.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/enumerator.cpp --- clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- [ 27%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_facade.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/clasp_facade.cpp --- clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- [ 28%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/clasp_output.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/clasp_output.cpp --- clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o --- [ 29%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/lookahead.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/lookahead.cpp --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- bin/lpconvert --- [ 30%] 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/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/lpconvert.dir/lpconvert.cpp.o -o ../../../bin/lpconvert ../../../lib/libpotassco.a [ 31%] Built target lpconvert --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o --- [ 32%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/minimize_constraint.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/minimize_constraint.cpp --- clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o --- [ 33%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/model_enumerators.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/model_enumerators.cpp --- clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o --- [ 34%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/parser.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/parser.cpp --- clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o --- [ 35%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/program_builder.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/program_builder.cpp --- clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o --- [ 36%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/satelite.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/satelite.cpp --- clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o --- [ 37%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/shared_context.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/shared_context.cpp --- clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o --- [ 38%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/solve_algorithms.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/solve_algorithms.cpp --- libreify/CMakeFiles/libreify.dir/all --- --- lib/libreify.a --- [ 39%] 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 [ 39%] 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 --- --- app/reify/CMakeFiles/reify.dir/all --- /usr/bin/make -f app/reify/CMakeFiles/reify.dir/build.make app/reify/CMakeFiles/reify.dir/depend --- libgringo/CMakeFiles/libgringo.dir/all --- [ 40%] [RE2C][groundtermlexer] Building lexer with re2c 0.14.3 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.4.0/libgringo//src/input/groundtermlexer.xh --- app/reify/CMakeFiles/reify.dir/all --- --- 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.4.0 /construction/math/clingo/clingo-5.4.0/app/reify /construction/math/clingo/.build /construction/math/clingo/.build/app/reify /construction/math/clingo/.build/app/reify/CMakeFiles/reify.dir/DependInfo.cmake --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/src/input/nongroundlexer.hh --- [ 40%] [RE2C][nongroundlexer] Building lexer with re2c 0.14.3 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.4.0/libgringo//src/input/nongroundlexer.xch --- app/reify/CMakeFiles/reify.dir/all --- Scanning dependencies of target reify /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 --- --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o --- --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/depend --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.0 /construction/math/clingo/clingo-5.4.0/libgringo /construction/math/clingo/.build /construction/math/clingo/.build/libgringo /construction/math/clingo/.build/libgringo/CMakeFiles/libgringo.dir/DependInfo.cmake --- clasp/src/CMakeFiles/libclasp.dir/all --- [ 41%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/solver.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/solver.cpp --- app/reify/CMakeFiles/reify.dir/all --- [ 42%] Building CXX object app/reify/CMakeFiles/reify.dir/main.cc.o cd /construction/math/clingo/.build/app/reify && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -std=c++14 -o CMakeFiles/reify.dir/main.cc.o -c /construction/math/clingo/clingo-5.4.0/app/reify/main.cc --- libgringo/CMakeFiles/libgringo.dir/all --- Scanning dependencies of target libgringo --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o --- --- libgringo/CMakeFiles/libgringo.dir/all --- /usr/bin/make -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/build --- clasp/src/CMakeFiles/libclasp.dir/all --- [ 43%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_strategies.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/solver_strategies.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/backend.cc.o --- [ 44%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/backend.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/backend.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/backend.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o --- [ 45%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/solver_types.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/solver_types.cpp --- clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o --- [ 46%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/statistics.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/statistics.cpp --- app/reify/CMakeFiles/reify.dir/all --- --- bin/reify --- [ 47%] 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/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/reify.dir/main.cc.o -o ../../bin/reify ../../lib/libreify.a ../../lib/libpotassco.a --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o --- [ 48%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/timer.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/timer.cpp --- clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o --- [ 49%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/unfounded_check.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/unfounded_check.cpp --- app/reify/CMakeFiles/reify.dir/all --- [ 50%] Built target reify --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/primes.cc.o --- [ 51%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/primes.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/primes.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/primes.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o --- [ 52%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/weight_constraint.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/weight_constraint.cpp --- clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o --- [ 53%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/libclasp.dir/parallel_solve.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/src/parallel_solve.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o --- [ 54%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/symbol.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/symbol.cc --- libgringo/CMakeFiles/libgringo.dir/src/term.cc.o --- --- libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o --- --- libgringo/CMakeFiles/libgringo.dir/src/term.cc.o --- [ 55%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/term.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/term.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/term.cc --- libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o --- [ 56%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/terms.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/terms.cc --- libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o --- [ 57%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/ground/instantiation.cc --- libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o --- [ 58%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/ground/literals.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/ground/literals.cc --- libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o --- [ 59%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/ground/program.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/ground/program.cc --- libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o --- [ 60%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/ground/statements.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/ground/statements.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o --- [ 61%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/aggregate.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/aggregate.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o --- [ 62%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/aggregates.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/aggregates.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/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/literal.cc.o -c /construction/math/clingo/clingo-5.4.0/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/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/literals.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/literals.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o --- [ 65%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/program.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/program.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o --- [ 66%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/programbuilder.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o --- [ 67%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/statement.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/statement.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o --- [ 68%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/theory.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/theory.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o --- [ 69%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -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 --- [ 70%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -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 --- [ 71%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/aggregates.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/aggregates.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- --- lib/libclasp.a --- [ 72%] 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_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 --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o --- [ 73%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/literal.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/literal.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- /usr/bin/ranlib ../../lib/libclasp.a [ 73%] 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.4.0 /construction/math/clingo/clingo-5.4.0/clasp/app /construction/math/clingo/.build /construction/math/clingo/.build/clasp/app /construction/math/clingo/.build/clasp/app/CMakeFiles/clasp.dir/DependInfo.cmake Scanning dependencies of target clasp /usr/bin/make -f clasp/app/CMakeFiles/clasp.dir/build.make clasp/app/CMakeFiles/clasp.dir/build --- clasp/app/CMakeFiles/clasp.dir/clasp_app.cpp.o --- [ 73%] Building CXX object clasp/app/CMakeFiles/clasp.dir/clasp_app.cpp.o cd /construction/math/clingo/.build/clasp/app && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/clasp.dir/clasp_app.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/app/clasp_app.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o --- [ 74%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/literals.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/literals.cc --- clasp/app/CMakeFiles/clasp.dir/all --- --- clasp/app/CMakeFiles/clasp.dir/main.cpp.o --- [ 75%] Building CXX object clasp/app/CMakeFiles/clasp.dir/main.cpp.o cd /construction/math/clingo/.build/clasp/app && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -pthread -std=gnu++11 -o CMakeFiles/clasp.dir/main.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/app/main.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o --- [ 76%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/output.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/output.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o --- [ 77%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/statement.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/statement.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o --- [ 78%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/statements.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/statements.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o --- [ 79%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/output/theory.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/output/theory.cc --- clasp/app/CMakeFiles/clasp.dir/all --- --- bin/clasp --- [ 80%] 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/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/clasp.dir/clasp_app.cpp.o CMakeFiles/clasp.dir/main.cpp.o -o ../../bin/clasp ../../lib/libclasp.a -pthread ../../lib/libpotassco.a [ 81%] Built target clasp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o --- [ 82%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/groundtermparser.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o --- [ 83%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -std=c++14 -o CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o -c /construction/math/clingo/clingo-5.4.0/libgringo/src/input/nongroundparser.cc --- lib/libgringo.a --- [ 84%] 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/backend.cc.o CMakeFiles/libgringo.dir/src/primes.cc.o 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/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 [ 84%] 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.4.0 /construction/math/clingo/clingo-5.4.0/libclingo /construction/math/clingo/.build /construction/math/clingo/.build/libclingo /construction/math/clingo/.build/libclingo/CMakeFiles/libclingo.dir/DependInfo.cmake Scanning dependencies of target libclingo /usr/bin/make -f libclingo/CMakeFiles/libclingo.dir/build.make libclingo/CMakeFiles/libclingo.dir/build --- libclingo/CMakeFiles/libclingo.dir/src/ast.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/__/clasp/app/clasp_app.cpp.o --- --- libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o --- [ 85%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o --- [ 86%] 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/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/clingocontrol.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/clingocontrol.cc --- libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/incmode.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/incmode.cc --- libclingo/CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o --- [ 87%] Building CXX object libclingo/CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o --- libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o --- [ 88%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o --- [ 89%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o --- libclingo/CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o --- cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o -c /construction/math/clingo/clingo-5.4.0/clasp/app/clasp_app.cpp --- libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/scripts.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/scripts.cc --- libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/clingo_app.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/clingo_app.cc --- libclingo/CMakeFiles/libclingo.dir/src/control.cc.o --- [ 90%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/control.cc.o cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/control.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/control.cc --- libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o --- [ 92%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/ast.cc.o --- [ 92%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/ast.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/gringo_app.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/gringo_app.cc --- libclingo/CMakeFiles/libclingo.dir/src/ast.cc.o --- cd /construction/math/clingo/.build/libclingo && /usr/bin/c++ -DCLINGO_BUILD_LIBRARY -Dlibclingo_EXPORTS -I/construction/math/clingo/clingo-5.4.0/libclingo -I/construction/math/clingo/clingo-5.4.0/clasp/app -I/construction/math/clingo/clingo-5.4.0/libgringo -I/construction/math/clingo/clingo-5.4.0/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.0/libreify -I/construction/math/clingo/clingo-5.4.0/clasp -I/construction/math/clingo/.build/clasp -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -fvisibility=hidden -pthread -std=c++14 -o CMakeFiles/libclingo.dir/src/ast.cc.o -c /construction/math/clingo/clingo-5.4.0/libclingo/src/ast.cc --- bin/libclingo.so.3.0 --- [ 93%] 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/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -shared -Wl,-soname,libclingo.so.3 -o ../bin/libclingo.so.3.0 CMakeFiles/libclingo.dir/src/ast.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 CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o ../lib/libgringo.a ../lib/libclasp.a ../lib/libreify.a ../lib/libpotassco.a -pthread cd /construction/math/clingo/.build/libclingo && /usr/local/bin/cmake -E cmake_symlink_library ../bin/libclingo.so.3.0 ../bin/libclingo.so.3 ../bin/libclingo.so [ 94%] 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/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.4.0 /construction/math/clingo/clingo-5.4.0/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 --- --- 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.4.0 /construction/math/clingo/clingo-5.4.0/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 --- Scanning dependencies of target gringo --- app/clingo/CMakeFiles/clingo.dir/all --- Scanning dependencies of target clingo --- 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 --- [ 96%] Building CXX object app/gringo/CMakeFiles/gringo.dir/main.cc.o --- app/clingo/CMakeFiles/clingo.dir/all --- [ 96%] Building CXX object app/clingo/CMakeFiles/clingo.dir/main.cc.o --- app/gringo/CMakeFiles/gringo.dir/all --- cd /construction/math/clingo/.build/app/gringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libclingo -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -std=c++14 -o CMakeFiles/gringo.dir/main.cc.o -c /construction/math/clingo/clingo-5.4.0/app/gringo/main.cc --- app/clingo/CMakeFiles/clingo.dir/all --- cd /construction/math/clingo/.build/app/clingo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.0/libclingo -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -std=c++14 -o CMakeFiles/clingo.dir/main.cc.o -c /construction/math/clingo/clingo-5.4.0/app/clingo/main.cc --- app/gringo/CMakeFiles/gringo.dir/all --- --- bin/gringo --- [ 97%] 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/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/gringo.dir/main.cc.o -o ../../bin/gringo -Wl,-z,origin,-rpath,/construction/math/clingo/.build/bin ../../bin/libclingo.so.3.0 [ 98%] Built target gringo --- app/clingo/CMakeFiles/clingo.dir/all --- --- bin/clingo --- [ 99%] 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/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/clingo.dir/main.cc.o -o ../../bin/clingo -Wl,-z,origin,-rpath,/construction/math/clingo/.build/bin ../../bin/libclingo.so.3.0 [100%] Built target clingo /usr/local/bin/cmake -E cmake_progress_start /construction/math/clingo/.build/CMakeFiles 0 -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for clingo-5.4.0 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/clingo/clingo-5.4.0 -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.4.0 /construction/math/clingo/clingo-5.4.0/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 [ 13%] 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.4.0 /construction/math/clingo/clingo-5.4.0/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 [ 16%] 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.4.0 /construction/math/clingo/clingo-5.4.0/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 [ 46%] 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.4.0 /construction/math/clingo/clingo-5.4.0/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 [ 49%] 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.4.0 /construction/math/clingo/clingo-5.4.0/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 [ 51%] 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.4.0 /construction/math/clingo/clingo-5.4.0/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 [ 81%] 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.4.0 /construction/math/clingo/clingo-5.4.0/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 [ 91%] 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.4.0 /construction/math/clingo/clingo-5.4.0/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 [ 94%] 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.4.0 /construction/math/clingo/clingo-5.4.0/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 [ 97%] 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.4.0 /construction/math/clingo/clingo-5.4.0/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/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing 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/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/clasp.dir/clasp_app.cpp.o CMakeFiles/clasp.dir/main.cpp.o -o CMakeFiles/CMakeRelink.dir/clasp -Wl,-z,origin,-rpath,/usr/local/lib ../../lib/libclasp.a -pthread ../../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/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -shared -Wl,-soname,libclingo.so.3 -o CMakeFiles/CMakeRelink.dir/libclingo.so.3.0 CMakeFiles/libclingo.dir/src/ast.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 CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libgringo.a ../lib/libclasp.a ../lib/libreify.a ../lib/libpotassco.a -pthread cd /construction/math/clingo/.build/libclingo && /usr/local/bin/cmake -E cmake_symlink_library CMakeFiles/CMakeRelink.dir/libclingo.so.3.0 CMakeFiles/CMakeRelink.dir/libclingo.so.3 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/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing 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/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/gringo.dir/main.cc.o -o CMakeFiles/CMakeRelink.dir/gringo -Wl,-z,origin,-rpath,/usr/local/lib ../../bin/libclingo.so.3.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/bin/c++ -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing CMakeFiles/clingo.dir/main.cc.o -o CMakeFiles/CMakeRelink.dir/clingo -Wl,-z,origin,-rpath,/usr/local/lib ../../bin/libclingo.so.3.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.3.0 -- Installing: /construction/math/clingo/stage/usr/local/lib/libclingo.so.3 -- 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 -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for clingo-5.4.0 file sizes/checksums [14]: . done packing files [14]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Saturday, 15 FEB 2020 at 15:02:52 UTC Duration: 00:02:10