glucose-syrup-4.1
checks.aarch64-linux.glucose-syrup
· build #3
· raw
1elastic-arm-6cbc966c: building 087a5qlfmqdlb3z78kpkxad6gzi4a1sv-glucose-syrup-4.1.drv
unpackPhase
2unpacking sources3unpacking source archive /nix/store/67bvs5pqcsilj6s0qy5bqxfryqmljdim-glucose-syrup-4.1.tgz4source root is glucose-syrup-4.1/parallel5setting SOURCE_DATE_EPOCH to timestamp 1481201306 of file glucose-syrup-4.1/parallel/SolverConfiguration.hpatchPhase
6patching sourcesupdateAutotoolsGnuConfigScriptsPhase
7updateAutotoolsGnuConfigScriptsPhaseconfigurePhase
8configuring9no configure script, doing nothingbuildPhase
10building11build flags: SHELL=/nix/store/m45cjiwspshg01wrk2pln2qndasky23r-bash-5.1-p16/bin/bash r12Making dependencies13Compiling: /build/glucose-syrup-4.1/parallel/ClausesBuffer.or14In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:30,15 from /build/glucose-syrup-4.1/parallel/../core/Solver.h:55,16 from /build/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:55,17 from /build/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71:18/build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':19/build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]20 99 | while (*in >= '0' && *in <= '9')21 | ^~~~~22/build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'23 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);24 | ^~25In file included from /build/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:53,26 from /build/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71:27/build/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long unsigned int>::Pair]':28/build/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long unsigned int>::Pair]'29/build/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'30/build/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'31/build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here32/build/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]33 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)34 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~35In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,36 from /build/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:54,37 from /build/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71:38/build/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long unsigned int>::Pair' declared here39 62 | struct Pair { K key; D data; };40 | ^~~~41/build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/ClausesBuffer.od'.42/build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/ClausesBuffer.op'.43/build/glucose-syrup-4.1/parallel/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/parallel/ClausesBuffer.o'.44Compiling: /build/glucose-syrup-4.1/parallel/Main.or45In file included from /build/glucose-syrup-4.1/parallel/Main.cc:57:46/build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':47/build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]48 99 | while (*in >= '0' && *in <= '9')49 | ^~~~~50/build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'51 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);52 | ^~53/build/glucose-syrup-4.1/parallel/Main.cc: In function 'int main(int, char**)':54/build/glucose-syrup-4.1/parallel/Main.cc:102:46: error: '_FPU_EXTENDED' was not declared in this scope55 102 | _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw);56 | ^~~~~~~~~~~~~57/build/glucose-syrup-4.1/parallel/Main.cc:102:63: error: '_FPU_DOUBLE' was not declared in this scope58 102 | _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw);59 | ^~~~~~~~~~~60In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:29,61 from /build/glucose-syrup-4.1/parallel/Main.cc:58:62/build/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long unsigned int>::Pair]':63/build/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long unsigned int>::Pair]'64/build/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'65/build/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map<K, D, H, E>::insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'66/build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here67/build/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map<std::__cxx11::basic_string<char>, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess]68 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)69 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~70In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,71 from /build/glucose-syrup-4.1/parallel/../core/Dimacs.h:27,72 from /build/glucose-syrup-4.1/parallel/Main.cc:59:73/build/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long unsigned int>::Pair' declared here74 62 | struct Pair { K key; D data; };75 | ^~~~76make: *** [/build/glucose-syrup-4.1/parallel/../mtl/template.mk:71: /build/glucose-syrup-4.1/parallel/Main.or] Error 1