setup
checks.aarch64-linux.glucose-syrup
· build #2
· raw
1this derivation will be built:2 /nix/store/087a5qlfmqdlb3z78kpkxad6gzi4a1sv-glucose-syrup-4.1.drv3error: build of '/nix/store/087a5qlfmqdlb3z78kpkxad6gzi4a1sv-glucose-syrup-4.1.drv' on 'grpc://farm.numtide.com:50051?client-cert=/run/secrets/vars/per-machine/bld1/nix-farm-ci/crt&client-key=/run/secrets/vars/per-machine/bld1/nix-farm-ci/key&connect-timeout=20&system=aarch64-linux' failed: Cannot build '/nix/store/087a5qlfmqdlb3z78kpkxad6gzi4a1sv-glucose-syrup-4.1.drv'.4 Reason: builder failed with exit code 2.5 Output paths:6 /nix/store/bnbl8h3hcqyyp3vna6690z6kfw9qxrfs-glucose-syrup-4.17 Last 25 log lines:8 > | ^~9 > /build/glucose-syrup-4.1/parallel/Main.cc: In function 'int main(int, char**)':10 > /build/glucose-syrup-4.1/parallel/Main.cc:102:46: error: '_FPU_EXTENDED' was not declared in this scope11 > 102 | _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw);12 > | ^~~~~~~~~~~~~13 > /build/glucose-syrup-4.1/parallel/Main.cc:102:63: error: '_FPU_DOUBLE' was not declared in this scope14 > 102 | _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw);15 > | ^~~~~~~~~~~16 > In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:29,17 > from /build/glucose-syrup-4.1/parallel/Main.cc:58:18 > /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]':19 > /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]'20 > /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> >]'21 > /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> >]'22 > /build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here23 > /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]24 > 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)25 > | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~26 > In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,27 > from /build/glucose-syrup-4.1/parallel/../core/Dimacs.h:27,28 > from /build/glucose-syrup-4.1/parallel/Main.cc:59:29 > /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 here30 > 62 | struct Pair { K key; D data; };31 > | ^~~~32 > make: *** [/build/glucose-syrup-4.1/parallel/../mtl/template.mk:71: /build/glucose-syrup-4.1/parallel/Main.or] Error 133 For full logs, run:34 nix log /nix/store/087a5qlfmqdlb3z78kpkxad6gzi4a1sv-glucose-syrup-4.1.drv35error: Cannot build '/nix/store/087a5qlfmqdlb3z78kpkxad6gzi4a1sv-glucose-syrup-4.1.drv'.36 Reason: builder failed with exit code 1.37 Output paths:38 /nix/store/bnbl8h3hcqyyp3vna6690z6kfw9qxrfs-glucose-syrup-4.1