------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=5.9 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/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 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/clingo XDG_CONFIG_HOME=/construction/math/clingo 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" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/math/clingo/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- CMAKE_BUILD_TYPE="release" OSREL=5.9 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/clingo" EXAMPLESDIR="share/examples/clingo" DATADIR="share/clingo" WWWDIR="www/clingo" ETCDIR="etc/clingo" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/clingo DOCSDIR=/usr/local/share/doc/clingo EXAMPLESDIR=/usr/local/share/examples/clingo WWWDIR=/usr/local/www/clingo ETCDIR=/usr/local/etc/clingo SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_SUFX=.txz DEVELOPER=1 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500906 OSVERSION=9999999 OSREL=5.9 _OSRELEASE=5.9-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=10 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/re2c-0.14.3.txz Installing /packages/All/libnghttp2-1.42.0.txz Installing /packages/All/ca_root_nss-3.58.txz ===== Message from ca_root_nss-3.58: -- 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 Installing /packages/All/openssl-1.1.1i,1.txz Installing /packages/All/curl-7.74.0.txz Installing /packages/All/expat-2.2.10.txz Installing /packages/All/libuv-1.40.0.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gettext-runtime-0.21.txz Installing /packages/All/rhash-1.4.1.txz Installing /packages/All/liblz4-1.9.3,1.txz Installing /packages/All/libarchive-3.4.3_1,1.txz Installing /packages/All/ncurses-6.2.20210116.txz Installing /packages/All/cmake-3.19.2.txz SUCCEEDED 00:00:11 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> clingo-5.4.1 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> clingo-5.4.1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clingo-5.4.1 for building SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> clingo-5.4.1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clingo-5.4.1 for building => SHA256 Checksum OK for potassco-clingo-v5.4.1_GH0.tar.gz. => SHA256 Checksum OK for potassco-clasp-b089aa1509511ab403c0b9abd0d13eb9e873af44_GH0.tar.gz. => SHA256 Checksum OK for potassco-libpotassco-2f9fb7ca2c202f1b47643aa414054f2f4f9c1821_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> clingo-5.4.1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by clingo-5.4.1 for building ===> Extracting for clingo-5.4.1 => SHA256 Checksum OK for potassco-clingo-v5.4.1_GH0.tar.gz. => SHA256 Checksum OK for potassco-clasp-b089aa1509511ab403c0b9abd0d13eb9e873af44_GH0.tar.gz. => SHA256 Checksum OK for potassco-libpotassco-2f9fb7ca2c202f1b47643aa414054f2f4f9c1821_GH0.tar.gz. Extracted Memory Use: 19.86M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for clingo-5.4.1 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> clingo-5.4.1 depends on executable: re2c - found ===> clingo-5.4.1 depends on file: /usr/local/bin/cmake - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> clingo-5.4.1 depends on executable: re2c - found ===> clingo-5.4.1 depends on file: /usr/local/bin/cmake - found ===> Configuring for clingo-5.4.1 ===> Performing out-of-source build /bin/mkdir -p /construction/math/clingo/.build -- The C compiler identification is GNU 8.3.0 -- The CXX compiler identification is GNU 8.3.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- 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 SUCCEEDED 00:00:04 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for clingo-5.4.1 /usr/local/bin/cmake -S/construction/math/clingo/clingo-5.4.1 -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.1 /construction/math/clingo/clingo-5.4.1/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/application.cpp.o --- [ 1%] 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.1/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.1/clasp/libpotassco/src/application.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o --- [ 2%] 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.1/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.1/clasp/libpotassco/src/clingo.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o --- [ 3%] 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.1/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.1/clasp/libpotassco/src/aspif.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o --- [ 5%] Building CXX object 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.1/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.1/clasp/libpotassco/src/convert.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o --- [ 5%] Building CXX object 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.1/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.1/clasp/libpotassco/src/match_basic_types.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o --- [ 6%] Building CXX object 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.1/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.1/clasp/libpotassco/src/rule_utils.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 cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/libpotassco/src/program_options.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o --- [ 8%] 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.1/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.1/clasp/libpotassco/src/smodels.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o --- [ 9%] 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.1/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.1/clasp/libpotassco/src/aspif_text.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 cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/libpotassco/src/string_convert.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o --- [ 11%] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o cd /construction/math/clingo/.build/clasp/libpotassco/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/libpotassco/src/theory_data.cpp --- clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o --- [ 12%] Building CXX object 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.1/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.1/clasp/libpotassco/src/value_store.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 --- libreify/CMakeFiles/libreify.dir/depend --- --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- clasp/libpotassco/app/CMakeFiles/lpconvert.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.1 /construction/math/clingo/clingo-5.4.1/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 --- --- 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.1 /construction/math/clingo/clingo-5.4.1/clasp/src /construction/math/clingo/.build /construction/math/clingo/.build/clasp/src /construction/math/clingo/.build/clasp/src/CMakeFiles/libclasp.dir/DependInfo.cmake --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.1 /construction/math/clingo/clingo-5.4.1/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 --- 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 --- --- 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 --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o --- [ 14%] 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.1/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.1/clasp/libpotassco/app/lpconvert.cpp --- libreify/CMakeFiles/libreify.dir/all --- [ 15%] 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.1/libreify -I/construction/math/clingo/clingo-5.4.1/libgringo -I/construction/math/clingo/clingo-5.4.1/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.1/libreify/src/program.cc --- 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/cb_enumerator.cpp.o --- [ 16%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o --- [ 17%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_facade.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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/cb_enumerator.cpp --- 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/clasp_facade.cpp --- clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o --- [ 18%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clingo.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/clingo.cpp.o --- cd /construction/math/clingo/.build/clasp/src && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/clingo.cpp --- clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o --- [ 20%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o --- 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/clause.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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/constraint.cpp --- clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- [ 21%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o --- clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- [ 22%] Building CXX object clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o --- 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/clasp_output.cpp --- clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o --- [ 23%] Building CXX object 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/clasp_options.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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/asp_preprocessor.cpp --- clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o --- [ 24%] Building CXX object 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/dependency_graph.cpp --- clasp/libpotassco/app/CMakeFiles/lpconvert.dir/all --- --- bin/lpconvert --- [ 25%] 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 [ 26%] Built target lpconvert --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o --- [ 27%] Building CXX object 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/enumerator.cpp --- clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o --- [ 28%] Building CXX object 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/heuristics.cpp --- clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o --- [ 29%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/logic_program.cpp --- libreify/CMakeFiles/libreify.dir/all --- --- lib/libreify.a --- [ 30%] 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 [ 30%] 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 --- [ 31%] [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.1/libgringo//src/input/groundtermlexer.xh --- libgringo/src/input/nongroundlexer.hh --- [ 31%] [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.1/libgringo//src/input/nongroundlexer.xch --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/logic_program_types.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.1 /construction/math/clingo/clingo-5.4.1/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 --- [ 32%] Building CXX object 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/logic_program_types.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- Scanning dependencies of target libgringo /usr/bin/make -f libgringo/CMakeFiles/libgringo.dir/build.make libgringo/CMakeFiles/libgringo.dir/build --- libgringo/CMakeFiles/libgringo.dir/src/backend.cc.o --- [ 33%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/backend.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o --- [ 34%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/lookahead.cpp --- clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o --- [ 35%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/minimize_constraint.cpp --- clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o --- [ 36%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/model_enumerators.cpp --- clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o --- [ 37%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/parser.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/primes.cc.o --- [ 38%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/primes.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o --- [ 39%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/program_builder.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o --- [ 40%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/symbol.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o --- [ 41%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/satelite.cpp --- clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o --- [ 42%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/shared_context.cpp --- clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o --- [ 43%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/solve_algorithms.cpp --- clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o --- [ 44%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/solver.cpp --- clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o --- [ 45%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/solver_strategies.cpp --- clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o --- [ 46%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/solver_types.cpp --- clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o --- [ 47%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/statistics.cpp --- 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/unfounded_check.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/term.cc.o --- [ 50%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/term.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- --- clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o --- [ 51%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/weight_constraint.cpp --- clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o --- [ 52%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/src/parallel_solve.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o --- --- libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o --- --- libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o --- [ 54%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o --- libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o --- [ 54%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o --- libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o --- cd /construction/math/clingo/.build/libgringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/terms.cc --- 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/ground/instantiation.cc --- 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 --- --- libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o --- --- libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o --- --- libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o --- --- libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o --- [ 57%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o --- libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o --- [ 57%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o --- libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o --- [ 57%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o --- 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/ground/literals.cc --- 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/ground/program.cc --- 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/ground/statements.cc --- 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.1 /construction/math/clingo/clingo-5.4.1/app/reify /construction/math/clingo/.build /construction/math/clingo/.build/app/reify /construction/math/clingo/.build/app/reify/CMakeFiles/reify.dir/DependInfo.cmake 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 --- [ 58%] 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.1/libclingo -I/construction/math/clingo/clingo-5.4.1/libreify -I/construction/math/clingo/clingo-5.4.1/libgringo -I/construction/math/clingo/clingo-5.4.1/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.1/app/reify/main.cc --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o --- [ 59%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/input/aggregate.cc --- app/reify/CMakeFiles/reify.dir/all --- --- bin/reify --- [ 60%] 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 [ 61%] Built target reify --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o --- --- libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o --- --- libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o --- [ 63%] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o --- 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/input/literal.cc --- 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/input/aggregates.cc --- clasp/src/CMakeFiles/libclasp.dir/all --- --- lib/libclasp.a --- [ 64%] 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 /usr/bin/ranlib ../../lib/libclasp.a [ 64%] 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.1 /construction/math/clingo/clingo-5.4.1/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 --- [ 64%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/app/clasp_app.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o --- [ 65%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/input/literals.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o --- [ 66%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/input/program.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o --- [ 67%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/input/programbuilder.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o --- [ 68%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/input/statement.cc --- libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o --- [ 69%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/input/theory.cc --- clasp/app/CMakeFiles/clasp.dir/all --- --- clasp/app/CMakeFiles/clasp.dir/main.cpp.o --- [ 70%] 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.1/clasp -I/construction/math/clingo/.build/clasp -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/app/main.cpp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o --- [ 71%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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 --- clasp/app/CMakeFiles/clasp.dir/all --- --- bin/clasp --- [ 72%] 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 [ 73%] Built target clasp --- libgringo/CMakeFiles/libgringo.dir/all --- --- libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o --- [ 74%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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 --- [ 75%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/output/aggregates.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o --- [ 76%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/output/literal.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o --- [ 77%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/output/literals.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o --- [ 78%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/output/output.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o --- [ 79%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/output/statement.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o --- [ 80%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/output/statements.cc --- libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o --- [ 81%] 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/libgringo/src/output/theory.cc --- 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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/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.1/libgringo -I/construction/math/clingo/.build/libgringo/src -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/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.1/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.1 /construction/math/clingo/clingo-5.4.1/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/ast.cc.o --- [ 85%] Building CXX object 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.1/libclingo -I/construction/math/clingo/clingo-5.4.1/clasp/app -I/construction/math/clingo/clingo-5.4.1/libgringo -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/libreify -I/construction/math/clingo/clingo-5.4.1/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.1/libclingo/src/ast.cc --- libclingo/CMakeFiles/libclingo.dir/src/control.cc.o --- [ 86%] 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.1/libclingo -I/construction/math/clingo/clingo-5.4.1/clasp/app -I/construction/math/clingo/clingo-5.4.1/libgringo -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/libreify -I/construction/math/clingo/clingo-5.4.1/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.1/libclingo/src/control.cc --- libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o --- [ 87%] Building CXX object 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.1/libclingo -I/construction/math/clingo/clingo-5.4.1/clasp/app -I/construction/math/clingo/clingo-5.4.1/libgringo -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/libreify -I/construction/math/clingo/clingo-5.4.1/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.1/libclingo/src/scripts.cc --- libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o --- [ 88%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o --- libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o --- [ 89%] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o --- 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.1/libclingo -I/construction/math/clingo/clingo-5.4.1/clasp/app -I/construction/math/clingo/clingo-5.4.1/libgringo -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/libreify -I/construction/math/clingo/clingo-5.4.1/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.1/libclingo/src/clingo_app.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.1/libclingo -I/construction/math/clingo/clingo-5.4.1/clasp/app -I/construction/math/clingo/clingo-5.4.1/libgringo -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/libreify -I/construction/math/clingo/clingo-5.4.1/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.1/libclingo/src/incmode.cc --- libclingo/CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o --- [ 90%] Building CXX object 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.1/libclingo -I/construction/math/clingo/clingo-5.4.1/clasp/app -I/construction/math/clingo/clingo-5.4.1/libgringo -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/libreify -I/construction/math/clingo/clingo-5.4.1/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.1/clasp/app/clasp_app.cpp --- libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o --- [ 91%] Building CXX object 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.1/libclingo -I/construction/math/clingo/clingo-5.4.1/clasp/app -I/construction/math/clingo/clingo-5.4.1/libgringo -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/libreify -I/construction/math/clingo/clingo-5.4.1/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.1/libclingo/src/clingocontrol.cc --- libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o --- [ 92%] Building CXX object 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.1/libclingo -I/construction/math/clingo/clingo-5.4.1/clasp/app -I/construction/math/clingo/clingo-5.4.1/libgringo -I/construction/math/clingo/clingo-5.4.1/clasp/libpotassco -I/construction/math/clingo/clingo-5.4.1/libreify -I/construction/math/clingo/clingo-5.4.1/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.1/libclingo/src/gringo_app.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 --- --- app/clingo/CMakeFiles/clingo.dir/all --- --- app/clingo/CMakeFiles/clingo.dir/depend --- --- app/gringo/CMakeFiles/gringo.dir/all --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.1 /construction/math/clingo/clingo-5.4.1/app/gringo /construction/math/clingo/.build /construction/math/clingo/.build/app/gringo /construction/math/clingo/.build/app/gringo/CMakeFiles/gringo.dir/DependInfo.cmake --- app/clingo/CMakeFiles/clingo.dir/all --- cd /construction/math/clingo/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/clingo/clingo-5.4.1 /construction/math/clingo/clingo-5.4.1/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/clingo/CMakeFiles/clingo.dir/main.cc.o --- --- app/gringo/CMakeFiles/gringo.dir/all --- --- app/gringo/CMakeFiles/gringo.dir/main.cc.o --- [ 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 cd /construction/math/clingo/.build/app/clingo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.1/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.1/app/clingo/main.cc --- app/gringo/CMakeFiles/gringo.dir/all --- cd /construction/math/clingo/.build/app/gringo && /usr/bin/c++ -I/construction/math/clingo/clingo-5.4.1/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.1/app/gringo/main.cc --- app/clingo/CMakeFiles/clingo.dir/all --- --- bin/clingo --- [ 97%] 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 [ 98%] Built target clingo --- app/gringo/CMakeFiles/gringo.dir/all --- --- bin/gringo --- [ 99%] 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 [100%] Built target gringo /usr/local/bin/cmake -E cmake_progress_start /construction/math/clingo/.build/CMakeFiles 0 SUCCEEDED 00:03:37 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for clingo-5.4.1 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/clingo/clingo-5.4.1 -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.1 /construction/math/clingo/clingo-5.4.1/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.1 /construction/math/clingo/clingo-5.4.1/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.1 /construction/math/clingo/clingo-5.4.1/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.1 /construction/math/clingo/clingo-5.4.1/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.1 /construction/math/clingo/clingo-5.4.1/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.1 /construction/math/clingo/clingo-5.4.1/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.1 /construction/math/clingo/clingo-5.4.1/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.1 /construction/math/clingo/clingo-5.4.1/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.1 /construction/math/clingo/clingo-5.4.1/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.1 /construction/math/clingo/clingo-5.4.1/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 SUCCEEDED 00:00:03 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for clingo-5.4.1 file sizes/checksums [14]: 0% file sizes/checksums [14]: 100% packing files [14]: 0% packing files [14]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:15 TOTAL TIME 00:04:14