2021-07-14T12:01:43,823 Created temporary directory: /tmp/pip-ephem-wheel-cache-8gjb92p2 2021-07-14T12:01:43,826 Created temporary directory: /tmp/pip-req-tracker-ajym3nj0 2021-07-14T12:01:43,826 Initialized build tracking at /tmp/pip-req-tracker-ajym3nj0 2021-07-14T12:01:43,826 Created build tracker: /tmp/pip-req-tracker-ajym3nj0 2021-07-14T12:01:43,827 Entered build tracker: /tmp/pip-req-tracker-ajym3nj0 2021-07-14T12:01:43,827 Created temporary directory: /tmp/pip-wheel-vshrrlqw 2021-07-14T12:01:43,857 1 location(s) to search for versions of pyglucose: 2021-07-14T12:01:43,857 * https://pypi.org/simple/pyglucose/ 2021-07-14T12:01:43,858 Fetching project page and analyzing links: https://pypi.org/simple/pyglucose/ 2021-07-14T12:01:43,858 Getting page https://pypi.org/simple/pyglucose/ 2021-07-14T12:01:43,860 Found index url https://pypi.org/simple 2021-07-14T12:01:44,039 Found link https://files.pythonhosted.org/packages/d0/ab/c090ade934444eb4e4a56781ad2baed6e86675eb864f823975f9ef5ed69c/pyglucose-0.0.1.tar.gz#sha256=97cd6e91b6b8aab8f7c33d0e6b029d50c0df04fe94671f7c88910da414461c27 (from https://pypi.org/simple/pyglucose/), version: 0.0.1 2021-07-14T12:01:44,040 Skipping link: not a file: https://pypi.org/simple/pyglucose/ 2021-07-14T12:01:44,058 Given no hashes to check 1 links for project 'pyglucose': discarding no candidates 2021-07-14T12:01:44,077 Collecting pyglucose==0.0.1 2021-07-14T12:01:44,079 Created temporary directory: /tmp/pip-unpack-c078hjh9 2021-07-14T12:01:44,269 Downloading pyglucose-0.0.1.tar.gz (84 kB) 2021-07-14T12:01:44,433 Added pyglucose==0.0.1 from https://files.pythonhosted.org/packages/d0/ab/c090ade934444eb4e4a56781ad2baed6e86675eb864f823975f9ef5ed69c/pyglucose-0.0.1.tar.gz#sha256=97cd6e91b6b8aab8f7c33d0e6b029d50c0df04fe94671f7c88910da414461c27 to build tracker '/tmp/pip-req-tracker-ajym3nj0' 2021-07-14T12:01:44,434 Running setup.py (path:/tmp/pip-wheel-vshrrlqw/pyglucose_688cd5ffdf0d429583e76e02bb9b30aa/setup.py) egg_info for package pyglucose 2021-07-14T12:01:44,435 Created temporary directory: /tmp/pip-pip-egg-info-rwcr17_k 2021-07-14T12:01:44,436 Running command python setup.py egg_info 2021-07-14T12:01:45,823 running egg_info 2021-07-14T12:01:45,825 creating /tmp/pip-pip-egg-info-rwcr17_k/pyglucose.egg-info 2021-07-14T12:01:45,827 writing /tmp/pip-pip-egg-info-rwcr17_k/pyglucose.egg-info/PKG-INFO 2021-07-14T12:01:45,829 writing dependency_links to /tmp/pip-pip-egg-info-rwcr17_k/pyglucose.egg-info/dependency_links.txt 2021-07-14T12:01:45,831 writing requirements to /tmp/pip-pip-egg-info-rwcr17_k/pyglucose.egg-info/requires.txt 2021-07-14T12:01:45,832 writing top-level names to /tmp/pip-pip-egg-info-rwcr17_k/pyglucose.egg-info/top_level.txt 2021-07-14T12:01:45,834 writing manifest file '/tmp/pip-pip-egg-info-rwcr17_k/pyglucose.egg-info/SOURCES.txt' 2021-07-14T12:01:45,870 reading manifest file '/tmp/pip-pip-egg-info-rwcr17_k/pyglucose.egg-info/SOURCES.txt' 2021-07-14T12:01:45,872 reading manifest template 'MANIFEST.in' 2021-07-14T12:01:45,880 adding license file 'LICENSE' 2021-07-14T12:01:45,884 writing manifest file '/tmp/pip-pip-egg-info-rwcr17_k/pyglucose.egg-info/SOURCES.txt' 2021-07-14T12:01:45,964 Source in /tmp/pip-wheel-vshrrlqw/pyglucose_688cd5ffdf0d429583e76e02bb9b30aa has version 0.0.1, which satisfies requirement pyglucose==0.0.1 from https://files.pythonhosted.org/packages/d0/ab/c090ade934444eb4e4a56781ad2baed6e86675eb864f823975f9ef5ed69c/pyglucose-0.0.1.tar.gz#sha256=97cd6e91b6b8aab8f7c33d0e6b029d50c0df04fe94671f7c88910da414461c27 2021-07-14T12:01:45,965 Removed pyglucose==0.0.1 from https://files.pythonhosted.org/packages/d0/ab/c090ade934444eb4e4a56781ad2baed6e86675eb864f823975f9ef5ed69c/pyglucose-0.0.1.tar.gz#sha256=97cd6e91b6b8aab8f7c33d0e6b029d50c0df04fe94671f7c88910da414461c27 from build tracker '/tmp/pip-req-tracker-ajym3nj0' 2021-07-14T12:01:45,969 Created temporary directory: /tmp/pip-unpack-jt52umhd 2021-07-14T12:01:45,970 Building wheels for collected packages: pyglucose 2021-07-14T12:01:45,973 Created temporary directory: /tmp/pip-wheel-80w3zw8p 2021-07-14T12:01:45,974 Building wheel for pyglucose (setup.py): started 2021-07-14T12:01:45,974 Destination directory: /tmp/pip-wheel-80w3zw8p 2021-07-14T12:01:45,975 Running command /usr/bin/python3 -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'/tmp/pip-wheel-vshrrlqw/pyglucose_688cd5ffdf0d429583e76e02bb9b30aa/setup.py'"'"'; __file__='"'"'/tmp/pip-wheel-vshrrlqw/pyglucose_688cd5ffdf0d429583e76e02bb9b30aa/setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(__file__) if os.path.exists(__file__) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d /tmp/pip-wheel-80w3zw8p 2021-07-14T12:01:47,353 running bdist_wheel 2021-07-14T12:01:47,359 running build 2021-07-14T12:01:47,359 running build_ext 2021-07-14T12:01:47,367 creating tmp 2021-07-14T12:01:47,367 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I/usr/include/python3.9 -c /tmp/tmpco6smyx_.cpp -o tmp/tmpco6smyx_.o -std=c++14 2021-07-14T12:01:47,454 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -I/usr/include/python3.9 -c /tmp/tmpbd4y9d0e.cpp -o tmp/tmpbd4y9d0e.o -fvisibility=hidden 2021-07-14T12:01:47,540 building 'pyglucose' extension 2021-07-14T12:01:47,549 creating build 2021-07-14T12:01:47,550 creating build/temp.linux-armv7l-3.9 2021-07-14T12:01:47,551 creating build/temp.linux-armv7l-3.9/glucose-syrup-4.1 2021-07-14T12:01:47,552 creating build/temp.linux-armv7l-3.9/glucose-syrup-4.1/core 2021-07-14T12:01:47,553 creating build/temp.linux-armv7l-3.9/glucose-syrup-4.1/simp 2021-07-14T12:01:47,554 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DINCREMENTAL=1 -DINCREMNENTAL=1 -Iglucose-syrup-4.1 -I/home/piwheels/.local/lib/python3.9/site-packages/pybind11/include -I/home/piwheels/.local/lib/python3.9/site-packages/pybind11/include -I/usr/include/python3.9 -c glucose-syrup-4.1/core/Solver.cc -o build/temp.linux-armv7l-3.9/glucose-syrup-4.1/core/Solver.o -DVERSION_INFO="0.0.1" -std=c++14 -fvisibility=hidden 2021-07-14T12:01:48,089 In file included from glucose-syrup-4.1/utils/Options.h:30, 2021-07-14T12:01:48,090 from glucose-syrup-4.1/core/Solver.h:55, 2021-07-14T12:01:48,090 from glucose-syrup-4.1/core/Solver.cc:54: 2021-07-14T12:01:48,090 glucose-syrup-4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’: 2021-07-14T12:01:48,090 glucose-syrup-4.1/utils/ParseUtils.h:101:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation] 2021-07-14T12:01:48,090 101 | while (*in >= '0' && *in <= '9') 2021-07-14T12:01:48,091 | ^~~~~ 2021-07-14T12:01:48,091 glucose-syrup-4.1/utils/ParseUtils.h:105:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’ 2021-07-14T12:01:48,091 105 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); 2021-07-14T12:01:48,091 | ^~ 2021-07-14T12:01:48,094 In file included from glucose-syrup-4.1/core/Solver.h:55, 2021-07-14T12:01:48,094 from glucose-syrup-4.1/core/Solver.cc:54: 2021-07-14T12:01:48,094 glucose-syrup-4.1/utils/Options.h: In member function ‘bool Glucose::Option::OptionLt::operator()(const Glucose::Option*, const Glucose::Option*)’: 2021-07-14T12:01:48,095 glucose-syrup-4.1/utils/Options.h:63:44: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,095 63 | return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; 2021-07-14T12:01:48,095 | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-14T12:01:48,731 glucose-syrup-4.1/core/Solver.cc: In member function ‘void Glucose::Solver::analyze(Glucose::CRef, Glucose::vec&, Glucose::vec&, int&, unsigned int&, unsigned int&)’: 2021-07-14T12:01:48,731 glucose-syrup-4.1/core/Solver.cc:777:49: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2021-07-14T12:01:48,731 777 | if(chanseokStrategy && nblevels <= coLBDBound) { 2021-07-14T12:01:48,732 | ~~~~~~~~~^~~~~~~~~~~~~ 2021-07-14T12:01:48,760 glucose-syrup-4.1/core/Solver.cc: In member function ‘void Glucose::Solver::adaptSolver()’: 2021-07-14T12:01:48,760 glucose-syrup-4.1/core/Solver.cc:1419:24: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2021-07-14T12:01:48,760 1419 | if(c.lbd() <= coLBDBound) { 2021-07-14T12:01:48,760 | ~~~~~~~~^~~~~~~~~~~~~ 2021-07-14T12:01:48,766 glucose-syrup-4.1/core/Solver.cc: In member function ‘Glucose::lbool Glucose::Solver::search(int)’: 2021-07-14T12:01:48,766 glucose-syrup-4.1/core/Solver.cc:1565:49: warning: comparison of integer expressions of different signedness: ‘unsigned int’ and ‘int’ [-Wsign-compare] 2021-07-14T12:01:48,766 1565 | if(chanseokStrategy && nblevels <= coLBDBound) { 2021-07-14T12:01:48,766 | ~~~~~~~~~^~~~~~~~~~~~~ 2021-07-14T12:01:48,850 In file included from glucose-syrup-4.1/mtl/Sort.h:24, 2021-07-14T12:01:48,850 from glucose-syrup-4.1/core/Solver.cc:53: 2021-07-14T12:01:48,850 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Lit]’: 2021-07-14T12:01:48,850 glucose-syrup-4.1/core/Solver.cc:392:25: required from here 2021-07-14T12:01:48,850 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,851 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:01:48,851 | ^ 2021-07-14T12:01:48,861 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Option*]’: 2021-07-14T12:01:48,861 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = Glucose::Option*]’ 2021-07-14T12:01:48,861 glucose-syrup-4.1/utils/Options.h:76:34: required from here 2021-07-14T12:01:48,862 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,881 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = int]’: 2021-07-14T12:01:48,881 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = int]’ 2021-07-14T12:01:48,881 glucose-syrup-4.1/core/Solver.h:518:94: required from here 2021-07-14T12:01:48,881 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,885 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = long long unsigned int]’: 2021-07-14T12:01:48,886 glucose-syrup-4.1/mtl/Vec.h:129:13: required from ‘void Glucose::vec::growTo(int, const T&) [with T = long long unsigned int]’ 2021-07-14T12:01:48,886 glucose-syrup-4.1/core/Solver.cc:206:34: required from here 2021-07-14T12:01:48,886 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,887 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::lbool]’: 2021-07-14T12:01:48,887 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = Glucose::lbool]’ 2021-07-14T12:01:48,888 glucose-syrup-4.1/core/Solver.cc:299:32: required from here 2021-07-14T12:01:48,888 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,888 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Solver::VarData]’: 2021-07-14T12:01:48,888 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = Glucose::Solver::VarData]’ 2021-07-14T12:01:48,888 glucose-syrup-4.1/core/Solver.cc:300:32: required from here 2021-07-14T12:01:48,888 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,889 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = double]’: 2021-07-14T12:01:48,889 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = double]’ 2021-07-14T12:01:48,889 glucose-syrup-4.1/core/Solver.cc:301:34: required from here 2021-07-14T12:01:48,889 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,890 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = char]’: 2021-07-14T12:01:48,890 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = char]’ 2021-07-14T12:01:48,890 glucose-syrup-4.1/core/Solver.cc:302:26: required from here 2021-07-14T12:01:48,890 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,890 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = unsigned int]’: 2021-07-14T12:01:48,891 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = unsigned int]’ 2021-07-14T12:01:48,891 glucose-syrup-4.1/core/Solver.cc:303:34: required from here 2021-07-14T12:01:48,891 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,894 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Solver::Watcher]’: 2021-07-14T12:01:48,895 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = Glucose::Solver::Watcher]’ 2021-07-14T12:01:48,895 glucose-syrup-4.1/core/Solver.cc:471:49: required from here 2021-07-14T12:01:48,895 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,911 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::vec]’: 2021-07-14T12:01:48,911 glucose-syrup-4.1/mtl/Vec.h:137:13: required from ‘void Glucose::vec::growTo(int) [with T = Glucose::vec]’ 2021-07-14T12:01:48,911 glucose-syrup-4.1/core/SolverTypes.h:376:18: required from ‘void Glucose::OccLists::copyTo(Glucose::OccLists&) const [with Idx = Glucose::Lit; Vec = Glucose::vec; Deleted = Glucose::Solver::WatcherDeleted]’ 2021-07-14T12:01:48,912 glucose-syrup-4.1/core/Solver.cc:296:29: required from here 2021-07-14T12:01:48,912 glucose-syrup-4.1/mtl/Vec.h:121:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Glucose::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-14T12:01:48,912 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:01:48,912 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-14T12:01:48,912 In file included from glucose-syrup-4.1/mtl/Sort.h:24, 2021-07-14T12:01:48,912 from glucose-syrup-4.1/core/Solver.cc:53: 2021-07-14T12:01:48,912 glucose-syrup-4.1/mtl/Vec.h:39:7: note: ‘class Glucose::vec’ declared here 2021-07-14T12:01:48,913 39 | class vec { 2021-07-14T12:01:48,913 | ^~~ 2021-07-14T12:01:48,913 In file included from glucose-syrup-4.1/mtl/Sort.h:24, 2021-07-14T12:01:48,913 from glucose-syrup-4.1/core/Solver.cc:53: 2021-07-14T12:01:48,913 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,913 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:01:48,913 | ^ 2021-07-14T12:01:48,928 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Map, long long unsigned int>::Pair]’: 2021-07-14T12:01:48,928 glucose-syrup-4.1/mtl/Vec.h:74:65: required from ‘void Glucose::vec::push() [with T = Glucose::Map, long long unsigned int>::Pair]’ 2021-07-14T12:01:48,928 glucose-syrup-4.1/mtl/Map.h:81:16: required from ‘void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ 2021-07-14T12:01:48,928 glucose-syrup-4.1/mtl/Map.h:140:76: required from ‘void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ 2021-07-14T12:01:48,928 glucose-syrup-4.1/core/SolverStats.h:73:31: required from here 2021-07-14T12:01:48,929 glucose-syrup-4.1/mtl/Vec.h:121:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Glucose::Map, long long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-14T12:01:48,929 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:01:48,929 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-14T12:01:48,929 In file included from glucose-syrup-4.1/core/SolverTypes.h:61, 2021-07-14T12:01:48,929 from glucose-syrup-4.1/core/Solver.h:56, 2021-07-14T12:01:48,929 from glucose-syrup-4.1/core/Solver.cc:54: 2021-07-14T12:01:48,929 glucose-syrup-4.1/mtl/Map.h:62:12: note: ‘struct Glucose::Map, long long unsigned int>::Pair’ declared here 2021-07-14T12:01:48,930 62 | struct Pair { K key; D data; }; 2021-07-14T12:01:48,930 | ^~~~ 2021-07-14T12:01:48,930 In file included from glucose-syrup-4.1/mtl/Sort.h:24, 2021-07-14T12:01:48,930 from glucose-syrup-4.1/core/Solver.cc:53: 2021-07-14T12:01:48,930 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:48,930 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:01:48,930 | ^ 2021-07-14T12:01:48,948 In file included from glucose-syrup-4.1/core/Solver.cc:52: 2021-07-14T12:01:48,948 glucose-syrup-4.1/utils/System.h: At global scope: 2021-07-14T12:01:48,948 glucose-syrup-4.1/utils/System.h:35:22: warning: ‘double Glucose::realTime()’ declared ‘static’ but never defined [-Wunused-function] 2021-07-14T12:01:48,949 35 | static inline double realTime(void); 2021-07-14T12:01:48,949 | ^~~~~~~~ 2021-07-14T12:01:55,981 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DINCREMENTAL=1 -DINCREMNENTAL=1 -Iglucose-syrup-4.1 -I/home/piwheels/.local/lib/python3.9/site-packages/pybind11/include -I/home/piwheels/.local/lib/python3.9/site-packages/pybind11/include -I/usr/include/python3.9 -c glucose-syrup-4.1/simp/SimpSolver.cc -o build/temp.linux-armv7l-3.9/glucose-syrup-4.1/simp/SimpSolver.o -DVERSION_INFO="0.0.1" -std=c++14 -fvisibility=hidden 2021-07-14T12:01:56,472 In file included from glucose-syrup-4.1/utils/Options.h:30, 2021-07-14T12:01:56,472 from glucose-syrup-4.1/core/Solver.h:55, 2021-07-14T12:01:56,473 from glucose-syrup-4.1/simp/SimpSolver.h:54, 2021-07-14T12:01:56,473 from glucose-syrup-4.1/simp/SimpSolver.cc:51: 2021-07-14T12:01:56,473 glucose-syrup-4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’: 2021-07-14T12:01:56,473 glucose-syrup-4.1/utils/ParseUtils.h:101:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation] 2021-07-14T12:01:56,473 101 | while (*in >= '0' && *in <= '9') 2021-07-14T12:01:56,473 | ^~~~~ 2021-07-14T12:01:56,473 glucose-syrup-4.1/utils/ParseUtils.h:105:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’ 2021-07-14T12:01:56,473 105 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); 2021-07-14T12:01:56,474 | ^~ 2021-07-14T12:01:56,478 In file included from glucose-syrup-4.1/core/Solver.h:55, 2021-07-14T12:01:56,478 from glucose-syrup-4.1/simp/SimpSolver.h:54, 2021-07-14T12:01:56,479 from glucose-syrup-4.1/simp/SimpSolver.cc:51: 2021-07-14T12:01:56,479 glucose-syrup-4.1/utils/Options.h: In member function ‘bool Glucose::Option::OptionLt::operator()(const Glucose::Option*, const Glucose::Option*)’: 2021-07-14T12:01:56,479 glucose-syrup-4.1/utils/Options.h:63:44: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:56,479 63 | return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; 2021-07-14T12:01:56,479 | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-14T12:01:57,109 glucose-syrup-4.1/simp/SimpSolver.cc: In member function ‘bool Glucose::SimpSolver::merge(const Glucose::Clause&, const Glucose::Clause&, Glucose::Var, Glucose::vec&)’: 2021-07-14T12:01:57,110 glucose-syrup-4.1/simp/SimpSolver.cc:345:20: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wdangling-else] 2021-07-14T12:01:57,110 345 | if (var(ps[j]) == var(qs[i])) 2021-07-14T12:01:57,110 | ^ 2021-07-14T12:01:57,112 glucose-syrup-4.1/simp/SimpSolver.cc: In member function ‘bool Glucose::SimpSolver::merge(const Glucose::Clause&, const Glucose::Clause&, Glucose::Var, int&)’: 2021-07-14T12:01:57,112 glucose-syrup-4.1/simp/SimpSolver.cc:379:20: warning: suggest explicit braces to avoid ambiguous ‘else’ [-Wdangling-else] 2021-07-14T12:01:57,112 379 | if (var(__ps[j]) == var(__qs[i])) 2021-07-14T12:01:57,113 | ^ 2021-07-14T12:01:57,203 In file included from glucose-syrup-4.1/mtl/Sort.h:24, 2021-07-14T12:01:57,204 from glucose-syrup-4.1/simp/SimpSolver.cc:50: 2021-07-14T12:01:57,204 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Option*]’: 2021-07-14T12:01:57,204 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = Glucose::Option*]’ 2021-07-14T12:01:57,204 glucose-syrup-4.1/utils/Options.h:76:34: required from here 2021-07-14T12:01:57,204 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:57,204 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:01:57,204 | ^ 2021-07-14T12:01:57,224 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Lit]’: 2021-07-14T12:01:57,225 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = Glucose::Lit]’ 2021-07-14T12:01:57,225 glucose-syrup-4.1/core/Solver.h:507:98: required from here 2021-07-14T12:01:57,225 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:57,226 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = int]’: 2021-07-14T12:01:57,226 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = int]’ 2021-07-14T12:01:57,226 glucose-syrup-4.1/core/Solver.h:518:94: required from here 2021-07-14T12:01:57,226 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:57,231 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = unsigned int]’: 2021-07-14T12:01:57,231 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = unsigned int]’ 2021-07-14T12:01:57,231 glucose-syrup-4.1/simp/SimpSolver.cc:133:40: required from here 2021-07-14T12:01:57,231 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:57,232 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = char]’: 2021-07-14T12:01:57,232 glucose-syrup-4.1/mtl/Vec.h:109:22: required from ‘void Glucose::vec::memCopyTo(Glucose::vec&) const [with T = char]’ 2021-07-14T12:01:57,233 glucose-syrup-4.1/simp/SimpSolver.cc:134:32: required from here 2021-07-14T12:01:57,233 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:57,235 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::lbool]’: 2021-07-14T12:01:57,236 glucose-syrup-4.1/mtl/Vec.h:137:13: required from ‘void Glucose::vec::growTo(int) [with T = Glucose::lbool]’ 2021-07-14T12:01:57,236 glucose-syrup-4.1/simp/SimpSolver.cc:687:45: required from here 2021-07-14T12:01:57,236 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:57,249 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::vec]’: 2021-07-14T12:01:57,249 glucose-syrup-4.1/mtl/Vec.h:137:13: required from ‘void Glucose::vec::growTo(int) [with T = Glucose::vec]’ 2021-07-14T12:01:57,249 glucose-syrup-4.1/core/SolverTypes.h:376:18: required from ‘void Glucose::OccLists::copyTo(Glucose::OccLists&) const [with Idx = int; Vec = Glucose::vec; Deleted = Glucose::SimpSolver::ClauseDeleted]’ 2021-07-14T12:01:57,249 glucose-syrup-4.1/simp/SimpSolver.cc:135:27: required from here 2021-07-14T12:01:57,250 glucose-syrup-4.1/mtl/Vec.h:121:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Glucose::vec’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-14T12:01:57,250 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:01:57,250 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-14T12:01:57,250 In file included from glucose-syrup-4.1/mtl/Sort.h:24, 2021-07-14T12:01:57,250 from glucose-syrup-4.1/simp/SimpSolver.cc:50: 2021-07-14T12:01:57,250 glucose-syrup-4.1/mtl/Vec.h:39:7: note: ‘class Glucose::vec’ declared here 2021-07-14T12:01:57,251 39 | class vec { 2021-07-14T12:01:57,251 | ^~~ 2021-07-14T12:01:57,251 In file included from glucose-syrup-4.1/mtl/Sort.h:24, 2021-07-14T12:01:57,251 from glucose-syrup-4.1/simp/SimpSolver.cc:50: 2021-07-14T12:01:57,252 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:57,252 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:01:57,252 | ^ 2021-07-14T12:01:57,266 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Map, long long unsigned int>::Pair]’: 2021-07-14T12:01:57,266 glucose-syrup-4.1/mtl/Vec.h:74:65: required from ‘void Glucose::vec::push() [with T = Glucose::Map, long long unsigned int>::Pair]’ 2021-07-14T12:01:57,266 glucose-syrup-4.1/mtl/Map.h:81:16: required from ‘void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ 2021-07-14T12:01:57,267 glucose-syrup-4.1/mtl/Map.h:140:76: required from ‘void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ 2021-07-14T12:01:57,267 glucose-syrup-4.1/core/SolverStats.h:73:31: required from here 2021-07-14T12:01:57,267 glucose-syrup-4.1/mtl/Vec.h:121:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Glucose::Map, long long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-14T12:01:57,267 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:01:57,267 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-14T12:01:57,268 In file included from glucose-syrup-4.1/core/SolverTypes.h:61, 2021-07-14T12:01:57,268 from glucose-syrup-4.1/core/Solver.h:56, 2021-07-14T12:01:57,268 from glucose-syrup-4.1/simp/SimpSolver.h:54, 2021-07-14T12:01:57,268 from glucose-syrup-4.1/simp/SimpSolver.cc:51: 2021-07-14T12:01:57,268 glucose-syrup-4.1/mtl/Map.h:62:12: note: ‘struct Glucose::Map, long long unsigned int>::Pair’ declared here 2021-07-14T12:01:57,268 62 | struct Pair { K key; D data; }; 2021-07-14T12:01:57,269 | ^~~~ 2021-07-14T12:01:57,269 In file included from glucose-syrup-4.1/mtl/Sort.h:24, 2021-07-14T12:01:57,269 from glucose-syrup-4.1/simp/SimpSolver.cc:50: 2021-07-14T12:01:57,269 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:01:57,269 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:01:57,269 | ^ 2021-07-14T12:01:57,284 In file included from glucose-syrup-4.1/simp/SimpSolver.cc:52: 2021-07-14T12:01:57,284 glucose-syrup-4.1/utils/System.h: At global scope: 2021-07-14T12:01:57,284 glucose-syrup-4.1/utils/System.h:35:22: warning: ‘double Glucose::realTime()’ declared ‘static’ but never defined [-Wunused-function] 2021-07-14T12:01:57,284 35 | static inline double realTime(void); 2021-07-14T12:01:57,284 | ^~~~~~~~ 2021-07-14T12:02:00,951 arm-linux-gnueabihf-gcc -pthread -Wno-unused-result -Wsign-compare -DNDEBUG -g -fwrapv -O2 -Wall -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -fPIC -DINCREMENTAL=1 -DINCREMNENTAL=1 -Iglucose-syrup-4.1 -I/home/piwheels/.local/lib/python3.9/site-packages/pybind11/include -I/home/piwheels/.local/lib/python3.9/site-packages/pybind11/include -I/usr/include/python3.9 -c pyglucose.cpp -o build/temp.linux-armv7l-3.9/pyglucose.o -DVERSION_INFO="0.0.1" -std=c++14 -fvisibility=hidden 2021-07-14T12:02:04,639 In file included from glucose-syrup-4.1/utils/Options.h:30, 2021-07-14T12:02:04,639 from glucose-syrup-4.1/core/Solver.h:55, 2021-07-14T12:02:04,640 from pyglucose.cpp:5: 2021-07-14T12:02:04,640 glucose-syrup-4.1/utils/ParseUtils.h: In function ‘double Glucose::parseDouble(B&)’: 2021-07-14T12:02:04,640 glucose-syrup-4.1/utils/ParseUtils.h:101:5: warning: this ‘while’ clause does not guard... [-Wmisleading-indentation] 2021-07-14T12:02:04,640 101 | while (*in >= '0' && *in <= '9') 2021-07-14T12:02:04,640 | ^~~~~ 2021-07-14T12:02:04,640 glucose-syrup-4.1/utils/ParseUtils.h:105:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘while’ 2021-07-14T12:02:04,641 105 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); 2021-07-14T12:02:04,641 | ^~ 2021-07-14T12:02:04,643 In file included from glucose-syrup-4.1/core/Solver.h:55, 2021-07-14T12:02:04,644 from pyglucose.cpp:5: 2021-07-14T12:02:04,644 glucose-syrup-4.1/utils/Options.h: In member function ‘bool Glucose::Option::OptionLt::operator()(const Glucose::Option*, const Glucose::Option*)’: 2021-07-14T12:02:04,644 glucose-syrup-4.1/utils/Options.h:63:44: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:02:04,644 63 | return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; 2021-07-14T12:02:04,644 | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-14T12:02:06,076 In file included from glucose-syrup-4.1/mtl/Heap.h:24, 2021-07-14T12:02:06,076 from glucose-syrup-4.1/core/Solver.h:53, 2021-07-14T12:02:06,076 from pyglucose.cpp:5: 2021-07-14T12:02:06,076 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Option*]’: 2021-07-14T12:02:06,076 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = Glucose::Option*]’ 2021-07-14T12:02:06,076 glucose-syrup-4.1/utils/Options.h:76:34: required from here 2021-07-14T12:02:06,077 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:02:06,077 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:02:06,077 | ^ 2021-07-14T12:02:06,083 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Lit]’: 2021-07-14T12:02:06,083 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = Glucose::Lit]’ 2021-07-14T12:02:06,083 glucose-syrup-4.1/core/Solver.h:507:98: required from here 2021-07-14T12:02:06,083 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:02:06,083 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = int]’: 2021-07-14T12:02:06,084 glucose-syrup-4.1/mtl/Vec.h:75:65: required from ‘void Glucose::vec::push(const T&) [with T = int]’ 2021-07-14T12:02:06,084 glucose-syrup-4.1/core/Solver.h:518:94: required from here 2021-07-14T12:02:06,084 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:02:07,504 glucose-syrup-4.1/mtl/Vec.h: In instantiation of ‘void Glucose::vec::capacity(int) [with T = Glucose::Map, long long unsigned int>::Pair]’: 2021-07-14T12:02:07,504 glucose-syrup-4.1/mtl/Vec.h:74:65: required from ‘void Glucose::vec::push() [with T = Glucose::Map, long long unsigned int>::Pair]’ 2021-07-14T12:02:07,504 glucose-syrup-4.1/mtl/Map.h:81:16: required from ‘void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ 2021-07-14T12:02:07,504 glucose-syrup-4.1/mtl/Map.h:140:76: required from ‘void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]’ 2021-07-14T12:02:07,504 glucose-syrup-4.1/core/SolverStats.h:73:31: required from here 2021-07-14T12:02:07,505 glucose-syrup-4.1/mtl/Vec.h:121:54: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘struct Glucose::Map, long long unsigned int>::Pair’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess] 2021-07-14T12:02:07,505 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:02:07,505 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2021-07-14T12:02:07,505 In file included from glucose-syrup-4.1/core/SolverTypes.h:61, 2021-07-14T12:02:07,505 from glucose-syrup-4.1/core/Solver.h:56, 2021-07-14T12:02:07,505 from pyglucose.cpp:5: 2021-07-14T12:02:07,505 glucose-syrup-4.1/mtl/Map.h:62:12: note: ‘struct Glucose::Map, long long unsigned int>::Pair’ declared here 2021-07-14T12:02:07,506 62 | struct Pair { K key; D data; }; 2021-07-14T12:02:07,506 | ^~~~ 2021-07-14T12:02:07,506 In file included from glucose-syrup-4.1/mtl/Heap.h:24, 2021-07-14T12:02:07,506 from glucose-syrup-4.1/core/Solver.h:53, 2021-07-14T12:02:07,506 from pyglucose.cpp:5: 2021-07-14T12:02:07,506 glucose-syrup-4.1/mtl/Vec.h:121:97: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses] 2021-07-14T12:02:07,506 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) 2021-07-14T12:02:07,507 | ^ 2021-07-14T12:02:32,842 creating build/lib.linux-armv7l-3.9 2021-07-14T12:02:32,842 arm-linux-gnueabihf-g++ -pthread -shared -Wl,-O1 -Wl,-Bsymbolic-functions -Wl,-z,relro -g -fwrapv -O2 -Wl,-z,relro -g -fwrapv -O2 -g -ffile-prefix-map=/python3.9-3.9.2=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 build/temp.linux-armv7l-3.9/glucose-syrup-4.1/core/Solver.o build/temp.linux-armv7l-3.9/glucose-syrup-4.1/simp/SimpSolver.o build/temp.linux-armv7l-3.9/pyglucose.o -o build/lib.linux-armv7l-3.9/pyglucose.cpython-39-arm-linux-gnueabihf.so 2021-07-14T12:02:33,470 installing to build/bdist.linux-armv7l/wheel 2021-07-14T12:02:33,470 running install 2021-07-14T12:02:33,472 running install_lib 2021-07-14T12:02:33,477 creating build/bdist.linux-armv7l 2021-07-14T12:02:33,477 creating build/bdist.linux-armv7l/wheel 2021-07-14T12:02:33,478 copying build/lib.linux-armv7l-3.9/pyglucose.cpython-39-arm-linux-gnueabihf.so -> build/bdist.linux-armv7l/wheel 2021-07-14T12:02:33,578 running install_egg_info 2021-07-14T12:02:33,604 running egg_info 2021-07-14T12:02:33,605 writing pyglucose.egg-info/PKG-INFO 2021-07-14T12:02:33,607 writing dependency_links to pyglucose.egg-info/dependency_links.txt 2021-07-14T12:02:33,609 writing requirements to pyglucose.egg-info/requires.txt 2021-07-14T12:02:33,610 writing top-level names to pyglucose.egg-info/top_level.txt 2021-07-14T12:02:33,643 reading manifest file 'pyglucose.egg-info/SOURCES.txt' 2021-07-14T12:02:33,655 reading manifest template 'MANIFEST.in' 2021-07-14T12:02:33,661 adding license file 'LICENSE' 2021-07-14T12:02:33,668 writing manifest file 'pyglucose.egg-info/SOURCES.txt' 2021-07-14T12:02:33,670 Copying pyglucose.egg-info to build/bdist.linux-armv7l/wheel/pyglucose-0.0.1-py3.9.egg-info 2021-07-14T12:02:33,684 running install_scripts 2021-07-14T12:02:33,766 adding license file "LICENSE" (matched pattern "LICEN[CS]E*") 2021-07-14T12:02:33,771 creating build/bdist.linux-armv7l/wheel/pyglucose-0.0.1.dist-info/WHEEL 2021-07-14T12:02:33,774 creating '/tmp/pip-wheel-80w3zw8p/pyglucose-0.0.1-cp39-cp39-linux_armv7l.whl' and adding 'build/bdist.linux-armv7l/wheel' to it 2021-07-14T12:02:34,490 adding 'pyglucose.cpython-39-arm-linux-gnueabihf.so' 2021-07-14T12:02:34,529 adding 'pyglucose-0.0.1.dist-info/LICENSE' 2021-07-14T12:02:34,530 adding 'pyglucose-0.0.1.dist-info/METADATA' 2021-07-14T12:02:34,531 adding 'pyglucose-0.0.1.dist-info/WHEEL' 2021-07-14T12:02:34,532 adding 'pyglucose-0.0.1.dist-info/top_level.txt' 2021-07-14T12:02:34,533 adding 'pyglucose-0.0.1.dist-info/RECORD' 2021-07-14T12:02:34,554 removing build/bdist.linux-armv7l/wheel 2021-07-14T12:02:34,644 Building wheel for pyglucose (setup.py): finished with status 'done' 2021-07-14T12:02:34,668 Created wheel for pyglucose: filename=pyglucose-0.0.1-cp39-cp39-linux_armv7l.whl size=1392209 sha256=6b5d88ae3828d279b9949c9449ce7b3c147bc8bdcfd41b25a6fa1056163d1d61 2021-07-14T12:02:34,668 Stored in directory: /tmp/pip-ephem-wheel-cache-8gjb92p2/wheels/dc/c1/c1/4f3a326203ff73f90f2386ed0572453658be96c856d3ffe905 2021-07-14T12:02:34,679 Successfully built pyglucose 2021-07-14T12:02:34,729 Removed build tracker: '/tmp/pip-req-tracker-ajym3nj0'