glucose-4.1
checks.i686-linux.acl2
· build #1
· raw
unpackPhase
1unpacking sources2unpacking source archive /nix/store/67bvs5pqcsilj6s0qy5bqxfryqmljdim-glucose-syrup-4.1.tgz3source root is glucose-syrup-4.1/simp4setting SOURCE_DATE_EPOCH to timestamp 1481201306 of file glucose-syrup-4.1/simp/SimpSolver.hpatchPhase
5patching sourcesconfigurePhase
6configuring7no configure script, doing nothingbuildPhase
8building9build flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash r10Making dependencies11Compiling: /build/glucose-syrup-4.1/simp/Main.or12In file included from /build/glucose-syrup-4.1/simp/Main.cc:57:13/build/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':14/build/glucose-syrup-4.1/simp/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]15 99 | while (*in >= '0' && *in <= '9')16 | ^~~~~17/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'18 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);19 | ^~20/build/glucose-syrup-4.1/simp/Main.cc: In function 'int main(int, char**)':21/build/glucose-syrup-4.1/simp/Main.cc:166:15: warning: this 'else' clause does not guard... [-Wmisleading-indentation]22 166 | } else23 | ^~~~24/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'25 168 | const char *name = opt_certified_file;26 | ^~~~~27In file included from /build/glucose-syrup-4.1/simp/../utils/Options.h:29,28 from /build/glucose-syrup-4.1/simp/Main.cc:58:29/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]':30/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]'31/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> >]'32/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> >]'33/build/glucose-syrup-4.1/simp/../core/SolverStats.h:73:23: required from here34/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]35 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)36 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~37In file included from /build/glucose-syrup-4.1/simp/../core/SolverTypes.h:61,38 from /build/glucose-syrup-4.1/simp/../core/Dimacs.h:27,39 from /build/glucose-syrup-4.1/simp/Main.cc:59:40/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 here41 62 | struct Pair { K key; D data; };42 | ^~~~43/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'.44/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'.45/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'.46Compiling: /build/glucose-syrup-4.1/simp/SimpSolver.or47In file included from /build/glucose-syrup-4.1/simp/../utils/Options.h:30,48 from /build/glucose-syrup-4.1/simp/../core/Solver.h:55,49 from /build/glucose-syrup-4.1/simp/../simp/SimpSolver.h:54,50 from /build/glucose-syrup-4.1/simp/SimpSolver.cc:51:51/build/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':52/build/glucose-syrup-4.1/simp/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]53 99 | while (*in >= '0' && *in <= '9')54 | ^~~~~55/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'56 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);57 | ^~58In file included from /build/glucose-syrup-4.1/simp/../mtl/Sort.h:24,59 from /build/glucose-syrup-4.1/simp/SimpSolver.cc:50:60/build/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::vec<unsigned int>]':61/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>]'62/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]'63/build/glucose-syrup-4.1/simp/SimpSolver.cc:135:20: required from here64/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]65 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)66 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~67In file included from /build/glucose-syrup-4.1/simp/../mtl/Sort.h:24,68 from /build/glucose-syrup-4.1/simp/SimpSolver.cc:50:69/build/glucose-syrup-4.1/simp/../mtl/Vec.h:39:7: note: 'class Glucose::vec<unsigned int>' declared here70 39 | class vec {71 | ^~~72In file included from /build/glucose-syrup-4.1/simp/../mtl/Sort.h:24,73 from /build/glucose-syrup-4.1/simp/SimpSolver.cc:50:74/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]':75/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]'76/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> >]'77/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> >]'78/build/glucose-syrup-4.1/simp/../core/SolverStats.h:73:23: required from here79/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]80 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)81 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~82In file included from /build/glucose-syrup-4.1/simp/../core/SolverTypes.h:61,83 from /build/glucose-syrup-4.1/simp/../core/Solver.h:56,84 from /build/glucose-syrup-4.1/simp/../simp/SimpSolver.h:54,85 from /build/glucose-syrup-4.1/simp/SimpSolver.cc:51:86/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 here87 62 | struct Pair { K key; D data; };88 | ^~~~89/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'.90/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'.91/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'.92Compiling: utils/Options.or93In file included from /build/glucose-syrup-4.1/simp/../utils/Options.h:30,94 from /build/glucose-syrup-4.1/simp/../utils/Options.cc:21:95/build/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':96/build/glucose-syrup-4.1/simp/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]97 99 | while (*in >= '0' && *in <= '9')98 | ^~~~~99/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'100 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);101 | ^~102/build/glucose-syrup-4.1/simp/../utils/Options.cc: In function 'void Glucose::printUsageAndExit(int, char**, bool)':103/build/glucose-syrup-4.1/simp/../utils/Options.cc:62:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation]104 62 | if (usage != NULL)105 | ^~106/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'107 65 | sort(Option::getOptionList(), Option::OptionLt());108 | ^~~~109/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'.110/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'.111/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'.112Compiling: utils/System.or113/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'.114/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'.115/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'.116Compiling: core/Solver.or117In file included from /build/glucose-syrup-4.1/simp/../utils/Options.h:30,118 from /build/glucose-syrup-4.1/simp/../core/Solver.h:55,119 from /build/glucose-syrup-4.1/simp/../core/Solver.cc:54:120/build/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':121/build/glucose-syrup-4.1/simp/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]122 99 | while (*in >= '0' && *in <= '9')123 | ^~~~~124/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'125 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);126 | ^~127/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&)':128/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]129 774 | if(chanseokStrategy && nblevels <= coLBDBound) {130 | ~~~~~~~~~^~~~~~~~~~~~~131/build/glucose-syrup-4.1/simp/../core/Solver.cc: In member function 'void Glucose::Solver::adaptSolver()':132/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]133 1416 | if(c.lbd() <= coLBDBound) {134 | ~~~~~~~~^~~~~~~~~~~~~135/build/glucose-syrup-4.1/simp/../core/Solver.cc: In member function 'Glucose::lbool Glucose::Solver::search(int)':136/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]137 1562 | if(chanseokStrategy && nblevels <= coLBDBound) {138 | ~~~~~~~~~^~~~~~~~~~~~~139In file included from /build/glucose-syrup-4.1/simp/../mtl/Sort.h:24,140 from /build/glucose-syrup-4.1/simp/../core/Solver.cc:53:141/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>]':142/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>]'143/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]'144/build/glucose-syrup-4.1/simp/../core/Solver.cc:293:21: required from here145/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]146 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)147 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~148In file included from /build/glucose-syrup-4.1/simp/../mtl/Sort.h:24,149 from /build/glucose-syrup-4.1/simp/../core/Solver.cc:53:150/build/glucose-syrup-4.1/simp/../mtl/Vec.h:39:7: note: 'class Glucose::vec<Glucose::Solver::Watcher>' declared here151 39 | class vec {152 | ^~~153In file included from /build/glucose-syrup-4.1/simp/../mtl/Sort.h:24,154 from /build/glucose-syrup-4.1/simp/../core/Solver.cc:53:155/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]':156/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]'157/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> >]'158/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> >]'159/build/glucose-syrup-4.1/simp/../core/SolverStats.h:73:23: required from here160/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]161 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)162 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~163In file included from /build/glucose-syrup-4.1/simp/../core/SolverTypes.h:61,164 from /build/glucose-syrup-4.1/simp/../core/Solver.h:56,165 from /build/glucose-syrup-4.1/simp/../core/Solver.cc:54:166/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 here167 62 | struct Pair { K key; D data; };168 | ^~~~169/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'.170/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'.171/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'.172Linking: 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 )installPhase
173installingfixupPhase
174post-installation fixup175shrinking RPATHs of ELF executables and libraries in /nix/store/qxild5lzvqp9f33bw1jg6bk41ws9yrl2-glucose-4.1176shrinking /nix/store/qxild5lzvqp9f33bw1jg6bk41ws9yrl2-glucose-4.1/bin/glucose177strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip178stripping (with command strip and flags -S) in /nix/store/qxild5lzvqp9f33bw1jg6bk41ws9yrl2-glucose-4.1/bin179patching script interpreter paths in /nix/store/qxild5lzvqp9f33bw1jg6bk41ws9yrl2-glucose-4.1180checking for references to /build/ in /nix/store/qxild5lzvqp9f33bw1jg6bk41ws9yrl2-glucose-4.1...