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

[Adam Borowski <kilobyte@angband.pl>]

On Mon, Jan 13, 2020 at 06:24:32PM -0800, Matthew Fernandez wrote:
> > > * Package name    : rumur
> > >    Version         : 2020.01.11-1

> OK I think I’ve corrected this now.  Adam (or any other brave soul), do
> you have a chance to have another look?

Alas, there's still one test failing:

autopkgtest [04:41:21]: test librumur-api: [-----------------------
+ mkdir -p /tmp/autopkgtest.7g3QC1/autopkgtest_tmp/librumur-api
+ cd /tmp/autopkgtest.7g3QC1/autopkgtest_tmp/librumur-api
+ cat -
+ cat -
+ c++ -std=c++11 main.cc -lgmp -lgmpxx -lrumur
In file included from /usr/include/rumur/rumur.h:22,
                 from main.cc:4:
/usr/include/rumur/scanner.h:7:12: fatal error: FlexLexer.h: No such file or directory
    7 |   #include <FlexLexer.h>
      |            ^~~~~~~~~~~~~
compilation terminated.
autopkgtest [04:41:22]: test librumur-api: -----------------------]
autopkgtest [04:41:22]: test librumur-api:  - - - - - - - - - - results - - - - - - - - - -
librumur-api         FAIL non-zero exit status 1


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.