Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language
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
Meow!
--
⢀⣴⠾⠻⢶⣦⠀ A MAP07 (Dead Simple) raspberry tincture recipe: 0.5l 95% alcohol,
⣾⠁⢠⠒⠀⣿⡁ 1kg raspberries, 0.4kg sugar; put into a big jar for 1 month.
⢿⡄⠘⠷⠚⠋⠀ Filter out and throw away the fruits (can dump them into a cake,
⠈⠳⣄⠀⠀⠀⠀ etc), let the drink age at least 3-6 months.
Reply to: