Running phase: unpackPhase
unpacking sources
unpacking source archive /nix/store/67bvs5pqcsilj6s0qy5bqxfryqmljdim-glucose-syrup-4.1.tgz
source root is glucose-syrup-4.1/simp
setting SOURCE_DATE_EPOCH to timestamp 1481201306 of file glucose-syrup-4.1/simp/SimpSolver.h
Running phase: patchPhase
patching sources
Running phase: configurePhase
configuring
no configure script, doing nothing
Running phase: buildPhase
building
build flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash r
Making dependencies
Compiling: /build/glucose-syrup-4.1/simp/Main.or
In file included from /build/glucose-syrup-4.1/simp/Main.cc:57:
/build/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
/build/glucose-syrup-4.1/simp/../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/simp/../utils/ParseUtils.h:103:9: 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/simp/Main.cc: In function 'int main(int, char**)':
/build/glucose-syrup-4.1/simp/Main.cc:166:15: warning: this 'else' clause does not guard... [-Wmisleading-indentation]
  166 |             } else
      |               ^~~~
/build/glucose-syrup-4.1/simp/Main.cc:168:17: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'else'
  168 |                 const char *name = opt_certified_file;
      |                 ^~~~~
In file included from /build/glucose-syrup-4.1/simp/../utils/Options.h:29,
                 from /build/glucose-syrup-4.1/simp/Main.cc:58:
/build/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
/build/glucose-syrup-4.1/simp/../mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
/build/glucose-syrup-4.1/simp/../mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
/build/glucose-syrup-4.1/simp/../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 long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
/build/glucose-syrup-4.1/simp/../core/SolverStats.h:73:23:   required from here
/build/glucose-syrup-4.1/simp/../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 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/simp/../core/SolverTypes.h:61,
                 from /build/glucose-syrup-4.1/simp/../core/Dimacs.h:27,
                 from /build/glucose-syrup-4.1/simp/Main.cc:59:
/build/glucose-syrup-4.1/simp/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
   62 |     struct Pair { K key; D data; };
      |            ^~~~
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/Main.od'.
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/Main.op'.
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/Main.o'.
Compiling: /build/glucose-syrup-4.1/simp/SimpSolver.or
In file included from /build/glucose-syrup-4.1/simp/../utils/Options.h:30,
                 from /build/glucose-syrup-4.1/simp/../core/Solver.h:55,
                 from /build/glucose-syrup-4.1/simp/../simp/SimpSolver.h:54,
                 from /build/glucose-syrup-4.1/simp/SimpSolver.cc:51:
/build/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
/build/glucose-syrup-4.1/simp/../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/simp/../utils/ParseUtils.h:103:9: 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/simp/../mtl/Sort.h:24,
                 from /build/glucose-syrup-4.1/simp/SimpSolver.cc:50:
/build/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::vec<unsigned int>]':
/build/glucose-syrup-4.1/simp/../mtl/Vec.h:137:13:   required from 'void Glucose::vec<T>::growTo(int) [with T = Glucose::vec<unsigned int>]'
/build/glucose-syrup-4.1/simp/../core/SolverTypes.h:376:18:   required from 'void Glucose::OccLists<Idx, Vec, Deleted>::copyTo(Glucose::OccLists<Idx, Vec, Deleted>&) const [with Idx = int; Vec = Glucose::vec<unsigned int>; Deleted = Glucose::SimpSolver::ClauseDeleted]'
/build/glucose-syrup-4.1/simp/SimpSolver.cc:135:20:   required from here
/build/glucose-syrup-4.1/simp/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glucose::vec<unsigned int>'; 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/simp/../mtl/Sort.h:24,
                 from /build/glucose-syrup-4.1/simp/SimpSolver.cc:50:
/build/glucose-syrup-4.1/simp/../mtl/Vec.h:39:7: note: 'class Glucose::vec<unsigned int>' declared here
   39 | class vec {
      |       ^~~
In file included from /build/glucose-syrup-4.1/simp/../mtl/Sort.h:24,
                 from /build/glucose-syrup-4.1/simp/SimpSolver.cc:50:
/build/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
/build/glucose-syrup-4.1/simp/../mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
/build/glucose-syrup-4.1/simp/../mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
/build/glucose-syrup-4.1/simp/../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 long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
/build/glucose-syrup-4.1/simp/../core/SolverStats.h:73:23:   required from here
/build/glucose-syrup-4.1/simp/../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 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/simp/../core/SolverTypes.h:61,
                 from /build/glucose-syrup-4.1/simp/../core/Solver.h:56,
                 from /build/glucose-syrup-4.1/simp/../simp/SimpSolver.h:54,
                 from /build/glucose-syrup-4.1/simp/SimpSolver.cc:51:
/build/glucose-syrup-4.1/simp/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
   62 |     struct Pair { K key; D data; };
      |            ^~~~
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/SimpSolver.od'.
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/SimpSolver.op'.
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/SimpSolver.o'.
Compiling: utils/Options.or
In file included from /build/glucose-syrup-4.1/simp/../utils/Options.h:30,
                 from /build/glucose-syrup-4.1/simp/../utils/Options.cc:21:
/build/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
/build/glucose-syrup-4.1/simp/../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/simp/../utils/ParseUtils.h:103:9: 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/simp/../utils/Options.cc: In function 'void Glucose::printUsageAndExit(int, char**, bool)':
/build/glucose-syrup-4.1/simp/../utils/Options.cc:62:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation]
   62 |     if (usage != NULL)
      |     ^~
/build/glucose-syrup-4.1/simp/../utils/Options.cc:65:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'
   65 |         sort(Option::getOptionList(), Option::OptionLt());
      |         ^~~~
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/../utils/Options.od'.
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/../utils/Options.op'.
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/../utils/Options.o'.
Compiling: utils/System.or
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/../utils/System.od'.
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/../utils/System.op'.
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/../utils/System.o'.
Compiling: core/Solver.or
In file included from /build/glucose-syrup-4.1/simp/../utils/Options.h:30,
                 from /build/glucose-syrup-4.1/simp/../core/Solver.h:55,
                 from /build/glucose-syrup-4.1/simp/../core/Solver.cc:54:
/build/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':
/build/glucose-syrup-4.1/simp/../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/simp/../utils/ParseUtils.h:103:9: 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/simp/../core/Solver.cc: In member function 'void Glucose::Solver::analyze(Glucose::CRef, Glucose::vec<Glucose::Lit>&, Glucose::vec<Glucose::Lit>&, int&, unsigned int&, unsigned int&)':
/build/glucose-syrup-4.1/simp/../core/Solver.cc:774:49: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
  774 |                 if(chanseokStrategy && nblevels <= coLBDBound) {
      |                                        ~~~~~~~~~^~~~~~~~~~~~~
/build/glucose-syrup-4.1/simp/../core/Solver.cc: In member function 'void Glucose::Solver::adaptSolver()':
/build/glucose-syrup-4.1/simp/../core/Solver.cc:1416:24: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
 1416 |             if(c.lbd() <= coLBDBound) {
      |                ~~~~~~~~^~~~~~~~~~~~~
/build/glucose-syrup-4.1/simp/../core/Solver.cc: In member function 'Glucose::lbool Glucose::Solver::search(int)':
/build/glucose-syrup-4.1/simp/../core/Solver.cc:1562:49: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
 1562 |                 if(chanseokStrategy && nblevels <= coLBDBound) {
      |                                        ~~~~~~~~~^~~~~~~~~~~~~
In file included from /build/glucose-syrup-4.1/simp/../mtl/Sort.h:24,
                 from /build/glucose-syrup-4.1/simp/../core/Solver.cc:53:
/build/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::vec<Glucose::Solver::Watcher>]':
/build/glucose-syrup-4.1/simp/../mtl/Vec.h:137:13:   required from 'void Glucose::vec<T>::growTo(int) [with T = Glucose::vec<Glucose::Solver::Watcher>]'
/build/glucose-syrup-4.1/simp/../core/SolverTypes.h:376:18:   required from 'void Glucose::OccLists<Idx, Vec, Deleted>::copyTo(Glucose::OccLists<Idx, Vec, Deleted>&) const [with Idx = Glucose::Lit; Vec = Glucose::vec<Glucose::Solver::Watcher>; Deleted = Glucose::Solver::WatcherDeleted]'
/build/glucose-syrup-4.1/simp/../core/Solver.cc:293:21:   required from here
/build/glucose-syrup-4.1/simp/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glucose::vec<Glucose::Solver::Watcher>'; 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/simp/../mtl/Sort.h:24,
                 from /build/glucose-syrup-4.1/simp/../core/Solver.cc:53:
/build/glucose-syrup-4.1/simp/../mtl/Vec.h:39:7: note: 'class Glucose::vec<Glucose::Solver::Watcher>' declared here
   39 | class vec {
      |       ^~~
In file included from /build/glucose-syrup-4.1/simp/../mtl/Sort.h:24,
                 from /build/glucose-syrup-4.1/simp/../core/Solver.cc:53:
/build/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]':
/build/glucose-syrup-4.1/simp/../mtl/Vec.h:74:65:   required from 'void Glucose::vec<T>::push() [with T = Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair]'
/build/glucose-syrup-4.1/simp/../mtl/Map.h:81:16:   required from 'void Glucose::Map<K, D, H, E>::_insert(const K&, const D&) [with K = std::__cxx11::basic_string<char>; D = long long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
/build/glucose-syrup-4.1/simp/../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 long unsigned int; H = Glucose::Hash<std::__cxx11::basic_string<char> >; E = Glucose::Equal<std::__cxx11::basic_string<char> >]'
/build/glucose-syrup-4.1/simp/../core/SolverStats.h:73:23:   required from here
/build/glucose-syrup-4.1/simp/../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 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/simp/../core/SolverTypes.h:61,
                 from /build/glucose-syrup-4.1/simp/../core/Solver.h:56,
                 from /build/glucose-syrup-4.1/simp/../core/Solver.cc:54:
/build/glucose-syrup-4.1/simp/../mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here
   62 |     struct Pair { K key; D data; };
      |            ^~~~
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/../core/Solver.od'.
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/../core/Solver.op'.
/build/glucose-syrup-4.1/simp/../mtl/template.mk:70: warning: pattern recipe did not update peer target '/build/glucose-syrup-4.1/simp/../core/Solver.o'.
Linking: glucose_release ( /build/glucose-syrup-4.1/simp/Main.or /build/glucose-syrup-4.1/simp/SimpSolver.or utils/Options.or utils/System.or core/Solver.or )
Running phase: installPhase
installing
Running phase: fixupPhase
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/qxild5lzvqp9f33bw1jg6bk41ws9yrl2-glucose-4.1
shrinking /nix/store/qxild5lzvqp9f33bw1jg6bk41ws9yrl2-glucose-4.1/bin/glucose
strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip
stripping (with command strip and flags -S) in  /nix/store/qxild5lzvqp9f33bw1jg6bk41ws9yrl2-glucose-4.1/bin
patching script interpreter paths in /nix/store/qxild5lzvqp9f33bw1jg6bk41ws9yrl2-glucose-4.1
checking for references to /build/ in /nix/store/qxild5lzvqp9f33bw1jg6bk41ws9yrl2-glucose-4.1...