Issue using make command #5
Comments
|
I get the same errors while performing make as described in the description. |
|
Likewise. |
|
Hello all, I'm not getting any error. It looks like the error is popping up from an invalid operation on the pexpr type, which probably means there has been a breaking change in piranha. I'm on this commit of piranha: 7e420423106923f700b72c07e24d1909d33898b4 Michael |
|
Doing a checkout to the commit removes the pexpr type error but others still remain. Is it possible that for this piranha commit we need an older smtplan commit as well? Or did I not re"build" piranha correctly? I erased the build dir and followed the steps as before (1. mkdir, 2. cmake ../ and 3. sudo make install). And then a make clean in smtplan and make again. Here my new errors: [ 6%] Building CXX object CMakeFiles/SMTPlan.dir/src/SMTPlan.cpp.o |
|
I'm up-to-date on the SMTPlan master. I will follow the same re-installation steps for Piranha and see what happens. Edit: Michael |
|
It might be an issue with the versions. Currently I have: |
|
That is quite different. I've just updated to Ubuntu 16.04. I'll try deleting and rebuilding with more up-to-date versions. If that doesn't cause an error, I will try Fedora and see if that's the cause. Michael |
|
I am using ubuntu 18.04, and used mppp version 0.9, and piranha at commit bluescarni/piranha@7e42042. I have: |
|
Hello there, The error looks to be that pexpr (the polynomial class from piranha) is still different from expected. An error is being thrown when trying to access elements using the "[]" operator. Doing a checkout to the commit of piranha you mentioned removes the pexpr type error for the first poster - can you try a clean build using that commit and see what happens? Otherwise I'm not sure what could be causing the problem. Best regards, |
|
Hi, Everything works smoothly until "make" command in SMTPlan. here is the error: [ 6%] Building CXX object CMakeFiles/SMTPlan.dir/src/SMTPlan.cpp.o In file included from /usr/local/include/piranha/symbol_utils.hpp:44, In file included from /usr/local/include/piranha/symbol_utils.hpp:44, In file included from /usr/local/include/piranha/symbol_utils.hpp:44, In file included from /usr/local/include/piranha/symbol_utils.hpp:44, I have tried to install commit at bluescarni/piranha@7e42042. Tried Boost 1.55 version, gcc 7.4.0, cmake 3.10.2. My Guess, these are not works with ubuntu 20.04. Am i Right? please guide me what to do. Should I move to older ubuntu, if yes, then which one. And what is SMTPlan dependency combination for that version. Miah |
|
I wanted to chime in that I was able to resolve this issue with the following environment:
It was downgrading gcc from version 8.4 to version 7.4.0 that finally did it for me, as well as setting the -pthread argument. I can now successfully get SMTPlan to compile and run. |
and others
After resolving all the dependencies I am unable to make the package
This is the error showed.
[ 6%] Building CXX object CMakeFiles/SMTPlan.dir/src/SMTPlan.cpp.o
In file included from /home/manan/SMTPlan/SMTPlan/include/SMTPlan/Encoder.h:14:0,
from /home/manan/SMTPlan/SMTPlan/src/SMTPlan.cpp:7:
/home/manan/SMTPlan/SMTPlan/src/VALfiles/include/ptree.h: In member function ‘void VAL::analysis::setFactory(VAL::VarTabFactory*)’:
/home/manan/SMTPlan/SMTPlan/src/VALfiles/include/ptree.h:1897:31: warning: ‘auto_ptr’ is deprecated (declared at /usr/include/c++/4.8/backward/auto_ptr.h:87) [-Wdeprecated-declarations]
auto_ptr x(vf);
^
/home/manan/SMTPlan/SMTPlan/src/VALfiles/include/ptree.h: In member function ‘void VAL::analysis::setFactory(VAL::StructureFactory*)’:
/home/manan/SMTPlan/SMTPlan/src/VALfiles/include/ptree.h:1903:34: warning: ‘auto_ptr’ is deprecated (declared at /usr/include/c++/4.8/backward/auto_ptr.h:87) [-Wdeprecated-declarations]
auto_ptr x(sf);
^
In file included from /home/manan/SMTPlan/SMTPlan/src/SMTPlan.cpp:8:0:
/home/manan/SMTPlan/SMTPlan/include/SMTPlan/EncoderHappening.h: In member function ‘z3::expr SMTPlan::EncoderHappening::mk_expr(pexpr, int, int)’:
/home/manan/SMTPlan/SMTPlan/include/SMTPlan/EncoderHappening.h:147:14: error: no match for ‘operator[]’ (operand types are ‘boost::container::flat_set<std::basic_string >’ and ‘int’)
if(args[i].get_name() != "hasht") {
^
/home/manan/SMTPlan/SMTPlan/include/SMTPlan/EncoderHappening.h:148:48: error: no match for ‘operator[]’ (operand types are ‘boost::container::flat_set<std::basic_string >’ and ‘int’)
if(algebraist->function_id_map.find(args[i].get_name()) == algebraist->function_id_map.end()) {
^
/home/manan/SMTPlan/SMTPlan/include/SMTPlan/EncoderHappening.h:150:40: error: no match for ‘operator[]’ (operand types are ‘boost::container::flat_set<std::basic_string >’ and ‘int’)
sym = z3_context->real_val(args[i].get_name().c_str());
^
/home/manan/SMTPlan/SMTPlan/include/SMTPlan/EncoderHappening.h:153:51: error: no match for ‘operator[]’ (operand types are ‘boost::container::flat_set<std::basic_string >’ and ‘int’)
int fID = algebraist->function_id_map[args[i].get_name()];
^
In file included from /home/manan/SMTPlan/SMTPlan/src/SMTPlan.cpp:9:0:
/home/manan/SMTPlan/SMTPlan/include/SMTPlan/EncoderFluent.h: In member function ‘z3::expr SMTPlan::EncoderFluent::mk_expr(pexpr, int, int)’:
/home/manan/SMTPlan/SMTPlan/include/SMTPlan/EncoderFluent.h:153:14: error: no match for ‘operator[]’ (operand types are ‘boost::container::flat_set<std::basic_string >’ and ‘int’)
if(args[i].get_name() != "hasht") {
^
/home/manan/SMTPlan/SMTPlan/include/SMTPlan/EncoderFluent.h:154:48: error: no match for ‘operator[]’ (operand types are ‘boost::container::flat_set<std::basic_string >’ and ‘int’)
if(algebraist->function_id_map.find(args[i].get_name()) == algebraist->function_id_map.end()) {
^
/home/manan/SMTPlan/SMTPlan/include/SMTPlan/EncoderFluent.h:156:40: error: no match for ‘operator[]’ (operand types are ‘boost::container::flat_set<std::basic_string >’ and ‘int’)
sym = z3_context->real_val(args[i].get_name().c_str());
^
/home/manan/SMTPlan/SMTPlan/include/SMTPlan/EncoderFluent.h:159:51: error: no match for ‘operator[]’ (operand types are ‘boost::container::flat_set<std::basic_string >’ and ‘int’)
int fID = algebraist->function_id_map[args[i].get_name()];
^
make[2]: *** [CMakeFiles/SMTPlan.dir/src/SMTPlan.cpp.o] Error 1
make[1]: *** [CMakeFiles/SMTPlan.dir/all] Error 2
make: *** [all] Error 2
The text was updated successfully, but these errors were encountered: