==> Synchronizing chroot copy [/home/leming/armv7/root] -> [leming]...done ==> Making package: clingo 5.3.0-2 (Tue Aug 7 21:57:14 2018) ==> Retrieving sources... -> Cloning clingo git repo... Cloning into bare repository '/home/leming/work/clingo/clingo'... ==> Validating source files with md5sums... clingo ... Skipped ==> Making package: clingo 5.3.0-2 (Tue 07 Aug 2018 09:57:23 PM UTC) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (3) libnsl-1.2.0-1 lua-5.3.5-1 python-3.7.0-3 Total Download Size: 0.19 MiB Total Installed Size: 106.87 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... downloading lua-5.3.5-1-armv7h.pkg.tar.xz... checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing lua... installing libnsl... installing python... Optional dependencies for python python-setuptools python-pip sqlite [installed] mpdecimal: for decimal xz: for lzma [installed] tk: for tkinter :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (17) compiler-rt-6.0.1-2 icu-61.1-1 jsoncpp-1.8.4-2 libedit-20180525_3.1-1 libuv-1.22.0-1 libxml2-2.9.8-3 llvm-libs-6.0.1-2 perl-error-0.17026-2 perl-mailtools-2.20-2 perl-timedate-2.30-5 rhash-1.3.6-1 shared-mime-info-1.9-1 clang-6.0.1-2 cmake-3.11.4-2 git-2.18.0-1 ninja-1.8.2-1 re2c-1.0.3-1 Total Download Size: 0.14 MiB Total Installed Size: 234.91 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... downloading re2c-1.0.3-1-armv7h.pkg.tar.xz... checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing libedit... installing icu... installing libxml2... installing llvm-libs... installing compiler-rt... installing clang... Optional dependencies for clang openmp: OpenMP support in clang with -fopenmp python: for git-clang-format [installed] python2: for scan-view installing shared-mime-info... installing jsoncpp... Optional dependencies for jsoncpp jsoncpp-doc: documentation installing libuv... installing rhash... installing cmake... Optional dependencies for cmake qt5-base: cmake-gui libxkbcommon-x11: cmake-gui installing perl-error... installing perl-timedate... installing perl-mailtools... installing git... Optional dependencies for git tk: gitk and git gui perl-libwww: git svn perl-term-readkey: git svn perl-mime-tools: git send-email perl-net-smtp-ssl: git send-email TLS support perl-authen-sasl: git send-email TLS support perl-mediawiki-api: git mediawiki support perl-datetime-format-iso8601: git mediawiki support perl-lwp-protocol-https: git mediawiki https support perl-cgi: gitweb (web interface) support python2: various helper scripts subversion: git svn gnome-keyring: GNOME keyring credential helper installing ninja... installing re2c... :: Running post-transaction hooks... (1/5) Warn about old perl modules (2/5) Reloading system manager configuration... Skipped: Current root is not booted. (3/5) Creating system user accounts... Creating group git with gid 978. Creating user git (git daemon user) with uid 978 and gid 978. (4/5) Arming ConditionNeedsUpdate... (5/5) Updating the MIME type database... ==> Retrieving sources... ==> WARNING: Skipping all source file integrity checks. ==> Extracting sources... -> Creating working copy of clingo git repo... Cloning into 'clingo'... done. Switched to a new branch 'makepkg' ==> Starting prepare()... ==> Starting build()... -- The C compiler identification is GNU 8.1.1 -- The CXX compiler identification is Clang 6.0.1 -- Check for working C compiler: /usr/lib/distcc/bin/cc -- Check for working C compiler: /usr/lib/distcc/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/clang++ -- Check for working CXX compiler: /usr/bin/clang++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- No build type selected - using 'Release' -- Found PythonInterp: /usr/bin/python (found version "3.7") -- Found PythonLibs: /usr/lib/libpython3.7m.so (found version "3.7.0") -- Found Lua: /usr/lib/liblua5.3.so;/usr/lib/libm.so (found version "5.3.5") -- Found BISON: /usr/bin/bison (found suitable version "3.0.5", minimum required is "2.5") -- Found RE2C: /usr/bin/re2c (found suitable version "0.100.3", minimum required is "0.13") -- Looking for pthread.h -- Looking for pthread.h - found -- Looking for pthread_create -- Looking for pthread_create - not found -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - found -- Found Threads: TRUE -- Performing Test CLASP_HAS_WORKING_LIBATOMIC -- Performing Test CLASP_HAS_WORKING_LIBATOMIC - Success -- 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 -- Build files have been written to: /build/clingo/src/build [1/109] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/clingo.cpp.o [2/109] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/rule_utils.cpp.o [3/109] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/match_basic_types.cpp.o [4/109] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/value_store.cpp.o [5/109] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/string_convert.cpp.o [6/109] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif.cpp.o [7/109] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/application.cpp.o [8/109] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/theory_data.cpp.o [9/109] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/smodels.cpp.o [10/109] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/aspif_text.cpp.o [11/109] Building CXX object clasp/libpotassco/app/CMakeFiles/lpconvert.dir/lpconvert.cpp.o [12/109] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/convert.cpp.o [13/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/asp_preprocessor.cpp.o [14/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/cb_enumerator.cpp.o [15/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/constraint.cpp.o [16/109] Building CXX object clasp/libpotassco/src/CMakeFiles/libpotassco.dir/program_options.cpp.o [17/109] Linking CXX static library lib/libpotassco.a [18/109] Linking CXX executable bin/lpconvert [19/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/enumerator.cpp.o [20/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_output.cpp.o [21/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clause.cpp.o [22/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_facade.cpp.o [23/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/lookahead.cpp.o [24/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clingo.cpp.o [25/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parser.cpp.o [26/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/heuristics.cpp.o [27/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/model_enumerators.cpp.o [28/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/satelite.cpp.o [29/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/dependency_graph.cpp.o [30/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/program_builder.cpp.o [31/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/clasp_options.cpp.o [32/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program_types.cpp.o [33/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/timer.cpp.o [34/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solve_algorithms.cpp.o [35/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_strategies.cpp.o [36/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver_types.cpp.o [37/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/minimize_constraint.cpp.o [38/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/statistics.cpp.o [39/109] Building CXX object clasp/app/CMakeFiles/clasp.dir/main.cpp.o [40/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/logic_program.cpp.o [41/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/shared_context.cpp.o [42/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/weight_constraint.cpp.o [43/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/unfounded_check.cpp.o [44/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/parallel_solve.cpp.o [45/109] Building CXX object app/reify/CMakeFiles/reify.dir/main.cc.o [46/109] Building CXX object clasp/app/CMakeFiles/clasp.dir/clasp_app.cpp.o [47/109] Building CXX object clasp/src/CMakeFiles/libclasp.dir/solver.cpp.o [48/109] Building CXX object libreify/CMakeFiles/libreify.dir/src/program.cc.o [49/109] Linking CXX static library lib/libclasp.a [50/109] Linking CXX static library lib/libreify.a [51/109] [RE2C][groundtermlexer] Building lexer with re2c 0.100.3 [52/109] [RE2C][nongroundlexer] Building lexer with re2c 0.100.3 [53/109] [BISON][groundtermgrammar] Building parser with bison 3.0.5 /build/clingo/src/clingo/libgringo/src/input/groundtermgrammar.yy:26.9-17: warning: deprecated directive, use ‘%define api.namespace Gringo::Input::GroundTermGrammar’ [-Wdeprecated] %define namespace "Gringo::Input::GroundTermGrammar" ^^^^^^^^^ /build/clingo/src/clingo/libgringo/src/input/groundtermgrammar.yy:26.9-17: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated] %define namespace "Gringo::Input::GroundTermGrammar" ^^^^^^^^^ [54/109] Linking CXX executable bin/reify [55/109] [BISON][nongroundgrammar] Building parser with bison 3.0.5 /build/clingo/src/clingo/libgringo/src/input/nongroundgrammar.yy:28.9-17: warning: deprecated directive, use ‘%define api.namespace Gringo::Input::NonGroundGrammar’ [-Wdeprecated] %define namespace "Gringo::Input::NonGroundGrammar" ^^^^^^^^^ /build/clingo/src/clingo/libgringo/src/input/nongroundgrammar.yy:34.9-21: warning: deprecated directive, use ‘%define api.location.type DefaultLocation’ [-Wdeprecated] %define location_type "DefaultLocation" ^^^^^^^^^^^^^ /build/clingo/src/clingo/libgringo/src/input/nongroundgrammar.yy:34.9-21: warning: %define variable 'api.location.type' requires '{...}' values [-Wdeprecated] %define location_type "DefaultLocation" ^^^^^^^^^^^^^ /build/clingo/src/clingo/libgringo/src/input/nongroundgrammar.yy:28.9-17: warning: %define variable 'api.namespace' requires '{...}' values [-Wdeprecated] %define namespace "Gringo::Input::NonGroundGrammar" ^^^^^^^^^ [56/109] Linking CXX executable bin/clasp [57/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/primes.cc.o [58/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/backend.cc.o [59/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/symbol.cc.o [60/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermparser.cc.o [61/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/instantiation.cc.o [62/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregate.cc.o [63/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/program.cc.o [64/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/terms.cc.o [65/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/literal.cc.o [66/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/groundtermgrammar/grammar.cc.o [67/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/literals.cc.o [68/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundparser.cc.o [69/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/term.cc.o [70/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/nongroundgrammar/grammar.cc.o [71/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/literals.cc.o [72/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/statement.cc.o [73/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/aggregates.cc.o [74/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literal.cc.o [75/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/theory.cc.o [76/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/program.cc.o [77/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statement.cc.o [78/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/output.cc.o [79/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/theory.cc.o [80/109] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/incmode.cc.o [81/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/programbuilder.cc.o [82/109] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingo_app.cc.o [83/109] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/control.cc.o [84/109] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/scripts.cc.o [85/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/literals.cc.o [86/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/output/statements.cc.o [87/109] Building CXX object app/gringo/CMakeFiles/gringo.dir/main.cc.o [88/109] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/ast.cc.o [89/109] Building CXX object app/clingo/CMakeFiles/clingo.dir/main.cc.o [90/109] Building CXX object app/luaclingo/CMakeFiles/luaclingo.dir/main.cc.o [91/109] Building CXX object app/pyclingo/CMakeFiles/pyclingo.dir/main.cc.o [92/109] Building CXX object libclingo/CMakeFiles/libclingo.dir/__/clasp/app/clasp_app.cpp.o [93/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/input/aggregates.cc.o [94/109] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/gringo_app.cc.o [95/109] Building CXX object libgringo/CMakeFiles/libgringo.dir/src/ground/statements.cc.o [96/109] Linking CXX static library lib/libgringo.a [97/109] Building CXX object libclingo/CMakeFiles/libclingo.dir/src/clingocontrol.cc.o [98/109] Building CXX object libluaclingo/CMakeFiles/libluaclingo.dir/luaclingo.cc.o [99/109] Linking CXX shared library bin/libclingo.so.2.0 [100/109] Creating library symlink bin/libclingo.so.2 bin/libclingo.so [101/109] Linking CXX shared library bin/libluaclingo.so.1.0 [102/109] Creating library symlink bin/libluaclingo.so.1 bin/libluaclingo.so [103/109] Linking CXX shared library bin/lua/clingo.so [104/109] Building CXX object libpyclingo/CMakeFiles/libpyclingo.dir/pyclingo.cc.o [105/109] Linking CXX shared library bin/libpyclingo.so.1.0 [106/109] Creating library symlink bin/libpyclingo.so.1 bin/libpyclingo.so [107/109] Linking CXX shared library bin/python/clingo.cpython-37m-arm-linux-gnueabihf.so [108/109] Linking CXX executable bin/clingo [109/109] Linking CXX executable bin/gringo ==> Entering fakeroot environment... ==> Starting package()... ninja: Entering directory `build' [0/1] Install the project... -- Install configuration: "Release" -- Installing: /build/clingo/pkg/clingo/usr/bin/lpconvert -- Installing: /build/clingo/pkg/clingo/usr/bin/clasp -- Installing: /build/clingo/pkg/clingo/usr/lib/libclingo.so.2.0 -- Installing: /build/clingo/pkg/clingo/usr/lib/libclingo.so.2 -- Installing: /build/clingo/pkg/clingo/usr/lib/libclingo.so -- Installing: /build/clingo/pkg/clingo/usr/include/clingo.hh -- Installing: /build/clingo/pkg/clingo/usr/include/clingo.h -- Installing: /build/clingo/pkg/clingo/usr/lib/cmake/Clingo/ClingoTargets.cmake -- Installing: /build/clingo/pkg/clingo/usr/lib/cmake/Clingo/ClingoTargets-release.cmake -- Installing: /build/clingo/pkg/clingo/usr/lib/cmake/Clingo/ClingoConfig.cmake -- Installing: /build/clingo/pkg/clingo/usr/lib/cmake/Clingo/ClingoConfigVersion.cmake -- Installing: /build/clingo/pkg/clingo/usr/lib/libpyclingo.so.1.0 -- Installing: /build/clingo/pkg/clingo/usr/lib/libpyclingo.so.1 -- Installing: /build/clingo/pkg/clingo/usr/lib/libpyclingo.so -- Set runtime path of "/build/clingo/pkg/clingo/usr/lib/libpyclingo.so.1.0" to "" -- Installing: /build/clingo/pkg/clingo/usr/lib/libluaclingo.so.1.0 -- Installing: /build/clingo/pkg/clingo/usr/lib/libluaclingo.so.1 -- Installing: /build/clingo/pkg/clingo/usr/lib/libluaclingo.so -- Set runtime path of "/build/clingo/pkg/clingo/usr/lib/libluaclingo.so.1.0" to "" -- Installing: /build/clingo/pkg/clingo/usr/bin/reify -- Installing: /build/clingo/pkg/clingo/usr/bin/gringo -- Set runtime path of "/build/clingo/pkg/clingo/usr/bin/gringo" to "" -- Installing: /build/clingo/pkg/clingo/usr/bin/clingo -- Set runtime path of "/build/clingo/pkg/clingo/usr/bin/clingo" to "" -- Installing: /build/clingo/pkg/clingo/usr/lib/python3.7/site-packages/clingo.cpython-37m-arm-linux-gnueabihf.so -- Set runtime path of "/build/clingo/pkg/clingo/usr/lib/python3.7/site-packages/clingo.cpython-37m-arm-linux-gnueabihf.so" to "" ==> Tidying install... -> Removing libtool files... -> Purging unwanted files... -> Removing static library files... -> Stripping unneeded symbols from binaries and libraries... -> Compressing man and info pages... ==> Checking for packaging issues... ==> Creating package "clingo"... -> Generating .PKGINFO file... -> Generating .BUILDINFO file... -> Generating .MTREE file... -> Compressing package... ==> Leaving fakeroot environment. ==> Finished making: clingo 5.3.0-2 (Tue 07 Aug 2018 10:03:20 PM UTC) ==> Cleaning up...