Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

[Matthew Fernandez <matthew.fernandez@gmail.com>]

On Jan 15, 2020, at 10:33, Adam Borowski <kilobyte@angband.pl> wrote:

On Tue, Jan 14, 2020 at 08:07:05PM -0800, Matthew Fernandez wrote:

OK, uploaded a new version with this fix. Please let me know if you have a chance to take another look.

Alas, still fails:

/usr/bin/ld: /usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu/librumur.a(parser.yy.cc.o): in function `rumur::VarDecl::~VarDecl()':
(.text._ZN5rumur7VarDeclD0Ev[_ZN5rumur7VarDeclD5Ev]+0x14): undefined reference to `__gmpz_clear'
/usr/bin/ld: /usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu/librumur.a(parser.yy.cc.o): in function `void rumur::parser::semantic_type::move<std::vector<rumur::Ptr<rumur::VarDecl>, std::allocator<rumur::Ptr<rumur::VarDecl> > > >(rumur::parser::semantic_type&&)':
(.text._ZN5rumur6parser13semantic_type4moveISt6vectorINS_3PtrINS_7VarDeclEEESaIS6_EEEEvOS1_[_ZN5rumur6parser13semantic_type4moveISt6vectorINS_3PtrINS_7VarDeclEEESaIS6_EEEEvOS1_]+0x89): undefined reference to `__gmpz_clear'
[...]
/usr/bin/ld: (.text+0xf2e): undefined reference to `__gmpz_add'
/usr/bin/ld: (.text+0xf36): undefined reference to `__gmpz_clear'
/usr/bin/ld: (.text+0xf3e): undefined reference to `__gmpz_clear'


Full log at http://ix.io/27tY

The riddle continues. I think this is a link order problem. I managed to reproduce something like this error and then subsequently fixed it by reordering the libraries. I’ve uploaded a new version with this fix. Can I beg you to take yet another look at the latest upload?