Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language
> On Jan 13, 2020, at 19:44, Adam Borowski <kilobyte@angband.pl> wrote:
>
> 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
Thanks for another review and sorry for occupying yet more of your time.
Is there a way to run autopkgtest myself? I was expecting pdebuild would do it but I can’t find options for this. Are you running it locally or looking at build server results somewhere? As far as I could tell, the build servers don't run the autopkgtests until a sponsor uploads the package to NEW but maybe I am mistaken.
As for the present error, it looks like I want libfl-dev instead of libfl2. Will fix.
Reply to: