libipasirglucose4-2017
checks.i686-linux.acl2
· build #1
· raw
unpackPhase
1unpacking sources2unpacking source archive /nix/store/hbw31kwwmx7d3y9zn54982h5qrmar202-glucose-ipasir.zip3source root is sat/glucose44setting SOURCE_DATE_EPOCH to timestamp 1497074034 of file sat/glucose4/glucose-4/core/Solver.ccpatchPhase
5patching sources6applying patch /nix/store/6yfabdkjah8zfb73z1knal0rqg5vqhrc-0001-Support-shared-library-build.patch7patching file makefileconfigurePhase
8configuring9no configure script, doing nothingbuildPhase
10building11build flags: SHELL=/nix/store/mysyx2ms2gm0n425gsz1hvwfk1jn1f9c-bash-5.1-p16/bin/bash CXX=c++12make -C glucose-4 lr13make[1]: Entering directory '/build/sat/glucose4/glucose-4'14Compiling: build/release/core/Solver.o15In file included from ./utils/Options.h:30,16 from ./core/Solver.h:55,17 from core/Solver.cc:54:18./utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':19./utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]20 99 | while (*in >= '0' && *in <= '9')21 | ^~~~~22./utils/ParseUtils.h:103:9: 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 | ^~25core/Solver.cc: In member function 'void Glucose::Solver::analyze(Glucose::CRef, Glucose::vec<Glucose::Lit>&, Glucose::vec<Glucose::Lit>&, int&, unsigned int&, unsigned int&)':26core/Solver.cc:701:48: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]27 701 | if(chanseokStrategy && nblevels<=coLBDBound) {28 | ~~~~~~~~^~~~~~~~~~~~29core/Solver.cc: In member function 'Glucose::lbool Glucose::Solver::search(int)':30core/Solver.cc:1358:48: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]31 1358 | if(chanseokStrategy && nblevels<=coLBDBound) {32 | ~~~~~~~~^~~~~~~~~~~~33core/Solver.cc:1273:26: warning: unused parameter 'nof_conflicts' [-Wunused-parameter]34 1273 | lbool Solver::search(int nof_conflicts) {35 | ~~~~^~~~~~~~~~~~~36core/Solver.cc: In member function 'virtual Glucose::lbool Glucose::Solver::solve_(bool, bool)':37core/Solver.cc:1481:27: warning: unused parameter 'do_simp' [-Wunused-parameter]38 1481 | lbool Solver::solve_(bool do_simp, bool turn_off_simp) // Parameters are useless in core but useful for SimpSolver....39 | ~~~~~^~~~~~~40core/Solver.cc:1481:41: warning: unused parameter 'turn_off_simp' [-Wunused-parameter]41 1481 | lbool Solver::solve_(bool do_simp, bool turn_off_simp) // Parameters are useless in core but useful for SimpSolver....42 | ~~~~~^~~~~~~~~~~~~43core/Solver.cc: In member function 'void Glucose::Solver::toDimacs(FILE*, const Glucose::vec<Glucose::Lit>&)':44core/Solver.cc:1607:48: warning: unused parameter 'assumps' [-Wunused-parameter]45 1607 | void Solver::toDimacs(FILE* f, const vec<Lit>& assumps) {46 | ~~~~~~~~~~~~~~~~^~~~~~~47core/Solver.cc: In member function 'virtual void Glucose::Solver::parallelExportUnaryClause(Glucose::Lit)':48core/Solver.cc:1733:44: warning: unused parameter 'p' [-Wunused-parameter]49 1733 | void Solver::parallelExportUnaryClause(Lit p) {50 | ~~~~^51core/Solver.cc: In member function 'virtual void Glucose::Solver::parallelExportClauseDuringSearch(Glucose::Clause&)':52core/Solver.cc:1735:55: warning: unused parameter 'c' [-Wunused-parameter]53 1735 | void Solver::parallelExportClauseDuringSearch(Clause &c) {54 | ~~~~~~~~^55core/Solver.cc: In member function 'virtual void Glucose::Solver::parallelImportClauseDuringConflictAnalysis(Glucose::Clause&, Glucose::CRef)':56core/Solver.cc:1743:65: warning: unused parameter 'c' [-Wunused-parameter]57 1743 | void Solver::parallelImportClauseDuringConflictAnalysis(Clause &c,CRef confl) {58 | ~~~~~~~~^59core/Solver.cc:1743:72: warning: unused parameter 'confl' [-Wunused-parameter]60 1743 | void Solver::parallelImportClauseDuringConflictAnalysis(Clause &c,CRef confl) {61 | ~~~~~^~~~~62In file included from ./mtl/Sort.h:24,63 from core/Solver.cc:53:64./mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::vec<Glucose::Solver::Watcher>]':65./mtl/Vec.h:137:13: required from 'void Glucose::vec<T>::growTo(int) [with T = Glucose::vec<Glucose::Solver::Watcher>]'66./core/SolverTypes.h:366: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]'67core/Solver.cc:263:21: required from here68./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]69 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)70 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~71In file included from ./mtl/Sort.h:24,72 from core/Solver.cc:53:73./mtl/Vec.h:39:7: note: 'class Glucose::vec<Glucose::Solver::Watcher>' declared here74 39 | class vec {75 | ^~~76In file included from ./mtl/Sort.h:24,77 from core/Solver.cc:53:78./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]':79./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]'80./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> >]'81./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> >]'82./core/SolverStats.h:73:23: required from here83./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]84 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)85 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~86In file included from ./core/SolverTypes.h:61,87 from ./core/Solver.h:56,88 from core/Solver.cc:54:89./mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here90 62 | struct Pair { K key; D data; };91 | ^~~~92Compiling: build/release/simp/SimpSolver.o93In file included from ./utils/Options.h:30,94 from ./core/Solver.h:55,95 from ./simp/SimpSolver.h:54,96 from simp/SimpSolver.cc:51:97./utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':98./utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]99 99 | while (*in >= '0' && *in <= '9')100 | ^~~~~101./utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'102 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);103 | ^~104In file included from ./mtl/Sort.h:24,105 from simp/SimpSolver.cc:50:106./mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::vec<unsigned int>]':107./mtl/Vec.h:137:13: required from 'void Glucose::vec<T>::growTo(int) [with T = Glucose::vec<unsigned int>]'108./core/SolverTypes.h:366: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]'109simp/SimpSolver.cc:135:20: required from here110./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]111 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)112 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~113In file included from ./mtl/Sort.h:24,114 from simp/SimpSolver.cc:50:115./mtl/Vec.h:39:7: note: 'class Glucose::vec<unsigned int>' declared here116 39 | class vec {117 | ^~~118In file included from ./mtl/Sort.h:24,119 from simp/SimpSolver.cc:50:120./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]':121./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]'122./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> >]'123./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> >]'124./core/SolverStats.h:73:23: required from here125./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]126 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)127 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~128In file included from ./core/SolverTypes.h:61,129 from ./core/Solver.h:56,130 from ./simp/SimpSolver.h:54,131 from simp/SimpSolver.cc:51:132./mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here133 62 | struct Pair { K key; D data; };134 | ^~~~135Compiling: build/release/utils/Options.o136In file included from ./utils/Options.h:30,137 from utils/Options.cc:21:138./utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':139./utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]140 99 | while (*in >= '0' && *in <= '9')141 | ^~~~~142./utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'143 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);144 | ^~145utils/Options.cc: In function 'void Glucose::printUsageAndExit(int, char**, bool)':146utils/Options.cc:62:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation]147 62 | if (usage != NULL)148 | ^~149utils/Options.cc:65:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if'150 65 | sort(Option::getOptionList(), Option::OptionLt());151 | ^~~~152utils/Options.cc:59:38: warning: unused parameter 'argc' [-Wunused-parameter]153 59 | void Glucose::printUsageAndExit (int argc, char** argv, bool verbose)154 | ~~~~^~~~155Compiling: build/release/utils/System.o156Linking Static Library: build/release/lib/libglucose.a157make[1]: Leaving directory '/build/sat/glucose4/glucose-4'158make ipasirglucoseglue.o159make[1]: Entering directory '/build/sat/glucose4'160c++ -g -std=c++11 -g -std=c++11 -Wall -DNDEBUG -O3 -fPIC \161 -DVERSION=\"4\" \162 -Iglucose-4 -Iglucose-4/core -c ipasirglucoseglue.cc163In file included from glucose-4/utils/Options.h:30,164 from glucose-4/core/Solver.h:55,165 from ipasirglucoseglue.cc:9:166glucose-4/utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)':167glucose-4/utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation]168 99 | while (*in >= '0' && *in <= '9')169 | ^~~~~170glucose-4/utils/ParseUtils.h:103:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'171 103 | if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3);172 | ^~173In file included from glucose-4/core/Solver.h:55,174 from ipasirglucoseglue.cc:9:175glucose-4/utils/Options.h: In member function 'bool Glucose::Option::OptionLt::operator()(const Glucose::Option*, const Glucose::Option*)':176glucose-4/utils/Options.h:63:44: warning: suggest parentheses around '&&' within '||' [-Wparentheses]177 63 | return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0;178 | ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~179In file included from glucose-4/mtl/Heap.h:24,180 from glucose-4/core/Solver.h:53,181 from ipasirglucoseglue.cc:9:182glucose-4/mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Option*]':183glucose-4/mtl/Vec.h:75:65: required from 'void Glucose::vec<T>::push(const T&) [with T = Glucose::Option*]'184glucose-4/utils/Options.h:76:29: required from here185glucose-4/mtl/Vec.h:121:97: warning: suggest parentheses around '&&' within '||' [-Wparentheses]186 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)187 | ^188glucose-4/mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = Glucose::Lit]':189glucose-4/mtl/Vec.h:75:65: required from 'void Glucose::vec<T>::push(const T&) [with T = Glucose::Lit]'190glucose-4/core/Solver.h:509:96: required from here191glucose-4/mtl/Vec.h:121:97: warning: suggest parentheses around '&&' within '||' [-Wparentheses]192glucose-4/mtl/Vec.h: In instantiation of 'void Glucose::vec<T>::capacity(int) [with T = int]':193glucose-4/mtl/Vec.h:75:65: required from 'void Glucose::vec<T>::push(const T&) [with T = int]'194glucose-4/core/Solver.h:520:81: required from here195glucose-4/mtl/Vec.h:121:97: warning: suggest parentheses around '&&' within '||' [-Wparentheses]196glucose-4/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]':197glucose-4/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]'198glucose-4/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> >]'199glucose-4/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> >]'200glucose-4/core/SolverStats.h:73:23: required from here201glucose-4/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]202 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)203 | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~204In file included from glucose-4/core/SolverTypes.h:61,205 from glucose-4/core/Solver.h:56,206 from ipasirglucoseglue.cc:9:207glucose-4/mtl/Map.h:62:12: note: 'struct Glucose::Map<std::__cxx11::basic_string<char>, long long unsigned int>::Pair' declared here208 62 | struct Pair { K key; D data; };209 | ^~~~210In file included from glucose-4/mtl/Heap.h:24,211 from glucose-4/core/Solver.h:53,212 from ipasirglucoseglue.cc:9:213glucose-4/mtl/Vec.h:121:97: warning: suggest parentheses around '&&' within '||' [-Wparentheses]214 121 | if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)215 | ^216make[1]: Leaving directory '/build/sat/glucose4'217cp glucose-4/build/release/lib/libglucose.a libipasirglucose4.a218ar r libipasirglucose4.a ipasirglucoseglue.oinstallPhase
219installingfixupPhase
220post-installation fixup221shrinking RPATHs of ELF executables and libraries in /nix/store/20zzdrny63qxz7h59axx01ga8hs93syl-libipasirglucose4-2017222shrinking /nix/store/20zzdrny63qxz7h59axx01ga8hs93syl-libipasirglucose4-2017/lib/libipasirglucose4.so223strip is /nix/store/rkwixq2wda45gxx7zg1qh329zhkbvzzb-gcc-wrapper-11.3.0/bin/strip224stripping (with command strip and flags -S) in /nix/store/20zzdrny63qxz7h59axx01ga8hs93syl-libipasirglucose4-2017/lib225patching script interpreter paths in /nix/store/20zzdrny63qxz7h59axx01ga8hs93syl-libipasirglucose4-2017226checking for references to /build/ in /nix/store/20zzdrny63qxz7h59axx01ga8hs93syl-libipasirglucose4-2017...