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.