elastic-arm-6cbc966c: building 087a5qlfmqdlb3z78kpkxad6gzi4a1sv-glucose-syrup-4.1.drv
Running phase: unpackPhase
unpacking sources
unpacking source archive /nix/store/67bvs5pqcsilj6s0qy5bqxfryqmljdim-glucose-syrup-4.1.tgz
source root is glucose-syrup-4.1/parallel
setting SOURCE_DATE_EPOCH to timestamp 1481201306 of file glucose-syrup-4.1/parallel/SolverConfiguration.h
Running phase: patchPhase
patching sources
Running phase: updateAutotoolsGnuConfigScriptsPhase
updateAutotoolsGnuConfigScriptsPhase
Running phase: configurePhase
configuring
no configure script, doing nothing
Running phase: buildPhase
building
build flags: SHELL=/nix/store/m45cjiwspshg01wrk2pln2qndasky23r-bash-5.1-p16/bin/bash r
Making dependencies
Compiling: /build/glucose-syrup-4.1/parallel/ClausesBuffer.or
In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:30,
                 from /build/glucose-syrup-4.1/parallel/../core/Solver.h:55,
                 from /build/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:55,
                 from /build/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71:
/build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
/build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
   99 |     while (*in >= '0' && *in <= '9')
      |     ^~~~~
/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'
  103 |  if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
      |  ^~
In file included from /build/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:53,
                 from /build/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71:
/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]':
/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]'
/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> >]'
/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> >]'
/build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31:   required from here
/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]
  121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,
                 from /build/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:54,
                 from /build/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71:
/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 here
   62 |     struct Pair { K key; D data; };
      |            ^~~~
/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'.
/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'.
/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'.
Compiling: /build/glucose-syrup-4.1/parallel/Main.or
In file included from /build/glucose-syrup-4.1/parallel/Main.cc:57:
/build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
/build/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
   99 |     while (*in >= '0' && *in <= '9')
      |     ^~~~~
/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'
  103 |  if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);
      |  ^~
/build/glucose-syrup-4.1/parallel/Main.cc: In function 'int main(int, char**)':
/build/glucose-syrup-4.1/parallel/Main.cc:102:46: error: '_FPU_EXTENDED' was not declared in this scope
  102 |         _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw);
      |                                              ^~~~~~~~~~~~~
/build/glucose-syrup-4.1/parallel/Main.cc:102:63: error: '_FPU_DOUBLE' was not declared in this scope
  102 |         _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw);
      |                                                               ^~~~~~~~~~~
In file included from /build/glucose-syrup-4.1/parallel/../utils/Options.h:29,
                 from /build/glucose-syrup-4.1/parallel/Main.cc:58:
/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]':
/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]'
/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> >]'
/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> >]'
/build/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31:   required from here
/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]
  121 |     if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
      |                                             ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from /build/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61,
                 from /build/glucose-syrup-4.1/parallel/../core/Dimacs.h:27,
                 from /build/glucose-syrup-4.1/parallel/Main.cc:59:
/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 here
   62 |     struct Pair { K key; D data; };
      |            ^~~~
make: *** [/build/glucose-syrup-4.1/parallel/../mtl/template.mk:71: /build/glucose-syrup-4.1/parallel/Main.or] Error 1