search

msoos / cryptominisat

An advanced SAT solver
https://www.msoos.org
Other
817 stars 181 forks source link

gcc error during make version a8cc8a542c #214

Closed baston007 closed 9 years ago

baston007 commented 9 years ago

Hi Mate, I just downloaded version a8cc8a542c of cryptominisat and attempted to build it using make. Even though make generated an error message, a cryptominisat file was generated. The following is a listing of the make output including the error message.

Rob

[baston@localhost build]$ make Copying cryptominisat.h to /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/build/include/cryptominisat4 Copying solverconf.h to /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/build/include/cryptominisat4 Copying solvertypesmini.h to /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/build/include/cryptominisat4 [ 0%] Built target CopyPublicHeaders [ 92%] Built target libcryptominisat4 [ 97%] Built target cryptominisat [100%] Generating build/timestamp running build_ext building 'pycryptosat' extension gcc -pthread -g -W -Wall -Wno-deprecated -fPIC -I/usr/include/python2.7 -c /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp -o build/temp.linux-x86_64-2.7/home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.o -I/home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp: In function ‘CMSat::SATSolver* setupsolver(PyObject, PyObject_)’: /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014a8cc8a542c/python/pycryptosat.cpp:50:73: warning: deprecated conversion from string constant to ‘char’ [-Wwrite-strings] static char_ kwlist[] = {"verbose", "confl_limit", "threads", NULL}; ^ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014a8cc8a542c/python/pycryptosat.cpp:50:73: warning: deprecated conversion from string constant to ‘char’ [-Wwrite-strings] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014a8cc8a542c/python/pycryptosat.cpp:50:73: warning: deprecated conversion from string constant to ‘char’ [-Wwrite-strings] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014a8cc8a542c/python/pycryptosat.cpp:75:43: error: no matching function for call to ‘CMSat::SATSolver::SATSolver(CMSat::SolverConf)’ SATSolver cmsat = new SATSolver(&conf); ^ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:75:43: note: candidates are: In file included from /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:33:0: /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014a8cc8a542c/cryptominisat4/cryptominisat.h:37:9: note: CMSat::SATSolver::SATSolver(const CMSat::SolverConf&, bool) SATSolver(const SolverConf& conf = SolverConf(), bool* interrupt_asap = NULL); ^ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014a8cc8a542c/cryptominisat4/cryptominisat.h:37:9: note: no known conversion for argument 1 from ‘CMSat::SolverConf’ to ‘const CMSat::SolverConf&’ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/cryptominisat4/cryptominisat.h:34:11: note: CMSat::SATSolver::SATSolver(const CMSat::SATSolver&) class SATSolver ^ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014a8cc8a542c/cryptominisat4/cryptominisat.h:34:11: note: no known conversion for argument 1 from ‘CMSat::SolverConf’ to ‘const CMSat::SATSolver&’ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp: In function ‘PyObject* addclause(Solver, PyObject, PyObject)’: /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014a8cc8a542c/python/pycryptosat.cpp:194:46: warning: deprecated conversion from string constant to ‘char’ [-Wwrite-strings] static char* kwlist[] = {"clause", NULL}; ^ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp: In function ‘PyObject* add_xorclause(Solver, PyObject, PyObject)’: /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014a8cc8a542c/python/pycryptosat.cpp:212:57: warning: deprecated conversion from string constant to ‘char’ [-Wwrite-strings] static char* kwlist[] = {"xor_clause", "rhs", NULL}; ^ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014a8cc8a542c/python/pycryptosat.cpp:212:57: warning: deprecated conversion from string constant to ‘char’ [-Wwrite-strings] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014a8cc8a542c/python/pycryptosat.cpp: In function ‘PyObject solve(Solver, PyObject, PyObject_)’: /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014a8cc8a542c/python/pycryptosat.cpp:314:51: warning: deprecated conversion from string constant to ‘char’ [-Wwrite-strings] static char* kwlist[] = {"assumptions", NULL}; ^ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp: At global scope: /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:368:1: warning: missing initializer for member ‘PyMethodDef::ml_flags’ [-Wmissing-field-initializers] }; ^ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:368:1: warning: missing initializer for member ‘PyMethodDef::ml_doc’ [-Wmissing-field-initializers] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:375:1: warning: missing initializer for member ‘PyMethodDef::ml_flags’ [-Wmissing-field-initializers] }; ^ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:375:1: warning: missing initializer for member ‘PyMethodDef::ml_doc’ [-Wmissing-field-initializers] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp: In function ‘int Solverinit(Solver, PyObject, PyObject)’: /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:408:12: warning: converting to non-pointer type ‘int’ from NULL [-Wconversion-null] return NULL; ^ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp: At global scope: /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:419:1: warning: missing initializer for member ‘PyMemberDef::type’ [-Wmissing-field-initializers] }; ^ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:419:1: warning: missing initializer for member ‘PyMemberDef::offset’ [-Wmissing-field-initializers] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:419:1: warning: missing initializer for member ‘PyMemberDef::flags’ [-Wmissing-field-initializers] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:419:1: warning: missing initializer for member ‘PyMemberDef::doc’ [-Wmissing-field-initializers] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:461:1: warning: missing initializer for member ‘_typeobject::tp_free’ [-Wmissing-field-initializers] }; ^ /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:461:1: warning: missing initializer for member ‘_typeobject::tp_is_gc’ [-Wmissing-field-initializers] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:461:1: warning: missing initializer for member ‘_typeobject::tp_bases’ [-Wmissing-field-initializers] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:461:1: warning: missing initializer for member ‘_typeobject::tp_mro’ [-Wmissing-field-initializers] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:461:1: warning: missing initializer for member ‘_typeobject::tp_cache’ [-Wmissing-field-initializers] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:461:1: warning: missing initializer for member ‘_typeobject::tp_subclasses’ [-Wmissing-field-initializers] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:461:1: warning: missing initializer for member ‘_typeobject::tp_weaklist’ [-Wmissing-field-initializers] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:461:1: warning: missing initializer for member ‘_typeobject::tp_del’ [-Wmissing-field-initializers] /home/baston/kryptonite/misc/cryptominisat-master_nov26_2014_a8cc8a542c/python/pycryptosat.cpp:461:1: warning: missing initializer for member ‘_typeobject::tp_version_tag’ [-Wmissing-field-initializers] error: command 'gcc' failed with exit status 1 make[2]: _* [py-lib/build/timestamp] Error 1 make[1]: * [py-lib/CMakeFiles/pytarget.dir/all] Error 2 make: * [all] Error 2 [baston@localhost build]$ [baston@localhost ~]$

msoos commented 9 years ago

Hey, thanks! I am working on that. Also, I get a notification immediately when something doesn't build, here: https://travis-ci.org/msoos/cryptominisat It's currently broken for gcc. I'm fixing it.