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

2020-01-16 Thread Matthew Fernandez 

> On Jan 15, 2020, at 10:33, Adam Borowski  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::allocator > > 
> >(rumur::parser::semantic_type&&)':
> (.text._ZN5rumur6parser13semantic_type4moveISt6vectorINS_3PtrINS_7VarDeclEEESaIS6_vOS1_[_ZN5rumur6parser13semantic_type4moveISt6vectorINS_3PtrINS_7VarDeclEEESaIS6_vOS1_]+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?

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

2020-01-15 Thread Adam Borowski 
On Tue, Jan 14, 2020 at 08:00:23AM -0800, Matthew Fernandez wrote:
> > autopkgtest [04:41:21]: test librumur-api: [---

> 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?

There's some not entirely clear info in "man autopkgtest".  I'm using an
old-style not best way to run it, thus it's probably not the best idea to
copy my schroot setup.  You can use schroot (using a sane way...), lxc or
qemu.

There's more information in "man autopkgtest-virt-*"; especially
autopkgtest-build-qemu seem trivial to use.

> 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.

Yeah, the official infrastructure uses only packages from the archive.


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.

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

2020-01-15 Thread Adam Borowski 
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::allocator > > 
>(rumur::parser::semantic_type&&)':
(.text._ZN5rumur6parser13semantic_type4moveISt6vectorINS_3PtrINS_7VarDeclEEESaIS6_vOS1_[_ZN5rumur6parser13semantic_type4moveISt6vectorINS_3PtrINS_7VarDeclEEESaIS6_vOS1_]+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.

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

2020-01-14 Thread Matthew Fernandez 

> On Jan 14, 2020, at 08:00, Matthew Fernandez  
> wrote:
> 
>> 
>> On Jan 13, 2020, at 19:44, Adam Borowski  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 
>> |^
>> 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.

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

2020-01-14 Thread Matthew Fernandez 


> On Jan 13, 2020, at 19:44, Adam Borowski  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 
>  |^
> 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.

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

2020-01-13 Thread Adam Borowski 
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 
  |^
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.

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

2020-01-13 Thread Matthew Fernandez 

> On Jan 12, 2020, at 17:14, Matthew Fernandez  
> wrote:
> 
> 
> 
> On Sun, 12 Jan 2020 at 16:56, Adam Borowski  > wrote:
> On Sun, Jan 12, 2020 at 02:13:18PM -0800, Matthew Fernandez wrote:
> > * Package name: rumur
> >Version : 2020.01.11-1
> 
> > Changes since the last upload:
> > 
> >* New upstream release.
> 
> Hi!
> I'm afraid your package fails autopkgtests, due to a bogus dependency on
> non-existing "libgmp".
> 
> In the test control file, you declare:
> Depends: build-essential, libfl2, libgmp, python3 (>= 3.6), rumur
> 
> on the other hand, the built package already has:
> Depends: libc6 (>= 2.15), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, 
> libstdc++6 (>= 9)
> with correct dependencies.
> 
> Ie, you don't need to specify that explicitly, as it's error-prone, and will
> get out of sync the moment libgmp bumps its soname.  Thus, you can just drop
> that dependency -- requiring rumur itself will pull in its deps.
> 
> Thanks for the quick reply. The autopkgtests actually need the GMP headers as 
> well as .so. So I guess I need libgmp-dev? Or does this need an explicit 
> major version in the package name as well?

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

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

2020-01-12 Thread Matthew Fernandez 
On Sun, 12 Jan 2020 at 16:56, Adam Borowski  wrote:

> On Sun, Jan 12, 2020 at 02:13:18PM -0800, Matthew Fernandez wrote:
> > * Package name: rumur
> >Version : 2020.01.11-1
>
> > Changes since the last upload:
> >
> >* New upstream release.
>
> Hi!
> I'm afraid your package fails autopkgtests, due to a bogus dependency on
> non-existing "libgmp".
>
> In the test control file, you declare:
> Depends: build-essential, libfl2, libgmp, python3 (>= 3.6), rumur
>
> on the other hand, the built package already has:
> Depends: libc6 (>= 2.15), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl,
> libstdc++6 (>= 9)
> with correct dependencies.
>
> Ie, you don't need to specify that explicitly, as it's error-prone, and
> will
> get out of sync the moment libgmp bumps its soname.  Thus, you can just
> drop
> that dependency -- requiring rumur itself will pull in its deps.


Thanks for the quick reply. The autopkgtests actually need the GMP headers
as well as .so. So I guess I need libgmp-dev? Or does this need an explicit
major version in the package name as well?

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

2020-01-12 Thread Adam Borowski 
On Sun, Jan 12, 2020 at 02:13:18PM -0800, Matthew Fernandez wrote:
> * Package name: rumur
>Version : 2020.01.11-1

> Changes since the last upload:
> 
>* New upstream release.

Hi!
I'm afraid your package fails autopkgtests, due to a bogus dependency on
non-existing "libgmp".

In the test control file, you declare:
Depends: build-essential, libfl2, libgmp, python3 (>= 3.6), rumur

on the other hand, the built package already has:
Depends: libc6 (>= 2.15), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, 
libstdc++6 (>= 9)
with correct dependencies.

Ie, you don't need to specify that explicitly, as it's error-prone, and will
get out of sync the moment libgmp bumps its soname.  Thus, you can just drop
that dependency -- requiring rumur itself will pull in its deps.


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.

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

2020-01-12 Thread Matthew Fernandez 
Package: sponsorship-requests
Severity: normal

Dear mentors,

I am looking for a sponsor for my package "rumur"

* Package name: rumur
   Version : 2020.01.11-1
   Upstream Author : Matthew Fernandez 
* URL : https://github.com/Smattr/rumur
* License : Unlicense
* Vcs : https://github.com/Smattr/rumur.git
   Section : devel

It builds those binary packages:

  rumur - model checker for the Murphi language

To access further information about this package, please visit the following 
URL:

  https://mentors.debian.net/package/rumur

Alternatively, one can download the package with dget using this command:

  dget -x 
https://mentors.debian.net/debian/pool/main/r/rumur/rumur_2020.01.11-1.dsc

Changes since the last upload:

   * New upstream release.
.
   * Update autopkgtest tests to test the installed binaries and library.
 Previously this incorrectly ran the upstream test suite.
.
   * Update RUMUR_VERSION variable in rules from 2019.12.22-1 to 2020.01.11-1.

Regards,
Matthew