[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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




On Jan 14, 2020, at 08:00, Matthew Fernandez <matthew.fernandez@gmail.com> wrote:


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.

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

Reply to: