Discussion:
Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language
(too old to reply)
Matthew Fernandez
2020-01-12 22:20:01 UTC
Permalink
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 <***@gmail.com>
* 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
Adam Borowski
2020-01-13 01:10:01 UTC
Permalink
Post by Matthew Fernandez
* Package name : rumur
Version : 2020.01.11-1
* 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.
Matthew Fernandez
2020-01-13 01:20:02 UTC
Permalink
Post by Adam Borowski
Post by Matthew Fernandez
* Package name : rumur
Version : 2020.01.11-1
* New upstream release.
Hi!
I'm afraid your package fails autopkgtests, due to a bogus dependency on
non-existing "libgmp".
Depends: build-essential, libfl2, libgmp, python3 (>= 3.6), rumur
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?
Matthew Fernandez
2020-01-14 02:30:01 UTC
Permalink
Post by Adam Borowski
Post by Matthew Fernandez
* Package name : rumur
Version : 2020.01.11-1
* New upstream release.
Hi!
I'm afraid your package fails autopkgtests, due to a bogus dependency on
non-existing "libgmp".
Depends: build-essential, libfl2, libgmp, python3 (>= 3.6), rumur
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?
Adam Borowski
2020-01-14 03:50:01 UTC
Permalink
Post by Matthew Fernandez
* 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.
Matthew Fernandez
2020-01-14 16:20:02 UTC
Permalink
Post by Adam Borowski
Post by Matthew Fernandez
* 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?
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,
/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.
Matthew Fernandez
2020-01-15 04:10:02 UTC
Permalink
Post by Matthew Fernandez
Post by Adam Borowski
Post by Matthew Fernandez
* 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?
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,
/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.
Adam Borowski
2020-01-15 18:40:01 UTC
Permalink
Post by Matthew Fernandez
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.
Matthew Fernandez
2020-01-17 02:10:01 UTC
Permalink
Post by Adam Borowski
Post by Matthew Fernandez
OK, uploaded a new version with this fix. Please let me know if you have a chance to take another look.
(.text._ZN5rumur7VarDeclD0Ev[_ZN5rumur7VarDeclD5Ev]+0x14): undefined reference to `__gmpz_clear'
(.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 <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?
Adam Borowski
2020-01-15 18:50:02 UTC
Permalink
Post by Adam Borowski
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.
Loading...