Package: src:dafny
Version: 1.9.7-1
Severity: serious
Dear maintainer:
I tried to build this package in stretch with "dpkg-buildpackage -A"
but it failed:
--------------------------------------------------------------------------------
[...]
debian/rules build-indep
dh build-indep --with cli
dh_testdir -i
dh_update_autotools_config -i
dh_auto_configure -i
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
cp -a /usr/lib/boogie/* Binaries
mkdir -p Source/Dafny/bin/Checked
cp -a /usr/lib/boogie/* Source/Dafny/bin/Checked
xbuild Source/Dafny.sln
XBuild Engine Version 14.0
Mono, Version 4.6.2.0
Copyright (C) 2005-2013 Various Mono authors
[... snipped ...]
Resolver.cs(2197,57): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(2871,44): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(3394,41): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(4399,82): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(4932,29): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(4940,29): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(4968,49): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(5114,37): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(5598,28): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(6255,45): error CS0246: The type or namespace name `Boogie'
could not be found. Are you missing an assembly reference?
Resolver.cs(7070,38): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(7197,23): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(7300,30): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(7394,56): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(7525,47): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(7536,51): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(8316,38): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(8316,95): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(8552,40): error CS0246: The type or namespace name `Boogie'
could not be found. Are you missing an assembly reference?
Resolver.cs(9085,59): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(9379,35): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(845,29): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(853,35): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(2250,16): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(2253,53): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(2543,34): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(3311,43): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(3435,28): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(9448,23): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Resolver.cs(9460,36): error CS0246: The type or namespace name `IToken'
could not be found. Are you missing an assembly reference?
Rewriter.cs(34,31): error CS0246: The type or namespace name `Boogie'
could not be found. Are you missing an assembly reference?
Rewriter.cs(608,28): error CS0246: The type or namespace name `Boogie'
could not be found. Are you missing an assembly reference?
Rewriter.cs(687,42): error CS0246: The type or namespace name `Boogie'
could not be found. Are you missing an assembly reference?
Rewriter.cs(1158,27): error CS0426: The nested type `IToken' does not
exist in the type `<error>'
3 Warning(s)
373 Error(s)
Time Elapsed 00:00:02.8181290
debian/rules:9: recipe for target 'override_dh_auto_build' failed
make[1]: *** [override_dh_auto_build] Error 1
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
debian/rules:5: recipe for target 'build-indep' failed
make: *** [build-indep] Error 2
dpkg-buildpackage: error: debian/rules build-indep gave error exit status 2
--------------------------------------------------------------------------------
This is just how the build ends, not necessarily the relevant part.
It also fails here, where you can get a full build log in case it helps:
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/dafny.html
If this is really a bug in one of the build-depends, please use reassign and
affects,
so that this is still visible in the page for this package.
Thanks.
