Source: dafny Version: 1.9.7-1 Severity: serious Tags: stretch sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20161001 qa-ftbfs Justification: FTBFS on amd64
Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > 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 12.0 > Mono, Version 4.2.1.0 > Copyright (C) 2005-2013 Various Mono authors > > Unhandled Exception: > System.IO.FileNotFoundException: Could not find file "/etc/localtime" > File name: '/etc/localtime' > at System.IO.FileStream..ctor (System.String path, FileMode mode, > FileAccess access, FileShare share, Int32 bufferSize, Boolean anonymous, > FileOptions options) <0x7facb515d2c0 + 0x005ed> in <filename unknown>:0 > at System.IO.FileStream..ctor (System.String path, FileMode mode, > FileAccess access, FileShare share) <0x7facb515cf30 + 0x0004b> in <filename > unknown>:0 > at (wrapper remoting-invoke-with-check) System.IO.FileStream:.ctor > (string,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare) > at System.IO.File.OpenRead (System.String path) <0x7facb515aa50 + 0x00034> > in <filename unknown>:0 > at System.TimeZoneInfo.FindSystemTimeZoneByFileName (System.String id, > System.String filepath) <0x7facb50bbfe0 + 0x00032> in <filename unknown>:0 > at System.TimeZoneInfo.CreateLocal () <0x7facb50ba850 + 0x00176> in > <filename unknown>:0 > at System.TimeZoneInfo.get_Local () <0x7facb50ba7c0 + 0x00025> in <filename > unknown>:0 > at System.TimeZoneInfo.GetDateTimeNowUtcOffsetFromUtc (DateTime time, > System.Boolean& isAmbiguousLocalDst) <0x7facb50bbce0 + 0x00017> in <filename > unknown>:0 > at System.DateTime.get_Now () <0x7facb4f64260 + 0x00046> in <filename > unknown>:0 > at Microsoft.Build.BuildEngine.Project..ctor > (Microsoft.Build.BuildEngine.Engine engine, System.String toolsVersion) > <0x41dfc7e0 + 0x00220> in <filename unknown>:0 > at Microsoft.Build.BuildEngine.Project..ctor > (Microsoft.Build.BuildEngine.Engine engine) <0x41dfc790 + 0x0001b> in > <filename unknown>:0 > at Microsoft.Build.BuildEngine.Engine.CreateNewProject () <0x41dfc740 + > 0x00037> in <filename unknown>:0 > at Mono.XBuild.CommandLine.MainClass.Execute () <0x41df45d0 + 0x00be3> in > <filename unknown>:0 > at Mono.XBuild.CommandLine.MainClass.Main (System.String[] args) > <0x41df1d70 + 0x0008b> in <filename unknown>:0 > debian/rules:9: recipe for target 'override_dh_auto_build' failed > make[1]: *** [override_dh_auto_build] Error 1 If the failure looks somehow time/timezone related: Note that this rebuild was performed without the 'tzdata' package installed in the chroot. tzdata used be (transitively) part of build-essential, but it no longer is. If this package requires it to build, it should be added to build-depends. For the release team's opinion on this, see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=836940#185 If the failure looks LSB-related: similarly to tzdata, lsb-base is not installed in the build chroot. The full build log is available from: http://aws-logs.debian.net/2016/10/01/dafny_1.9.7-1_unstable.log A list of current common problems and possible solutions is available at http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute! About the archive rebuild: The rebuild was done on EC2 VM instances from Amazon Web Services, using a clean, minimal and up-to-date chroot. Every failed build was retried once to eliminate random failures.
