Source: boogie
Version: 2.4.1+dfsg-0.1
Severity: serious
Justification: FTBFS
Tags: trixie sid ftbfs
User: lu...@debian.org
Usertags: ftbfs-20230925 ftbfs-trixie
Hi,
During a rebuild of all packages in sid, your package failed to build
on amd64.
Relevant part (hopefully):
> make[1]: Entering directory '/<<PKGBUILDDIR>>'
> # Apparently, the Mono C# compiler does not support pattern
> # matching yet. The proper thing to do here would be to patch
> # Witnesses.cs, but unfortunately, dpkg-source fails
> # spectacularly when it comes to patching files with DOS
> # (CRLF) line endings. Therefore, we need to do a "manual
> # patch" here:
> sed -i 's/is null/== null/g' Source/Concurrency/Witnesses.cs
> xbuild /p:TargetFrameworkVersion=v4.0 Source/Boogie.sln
>
> >>>> xbuild tool is deprecated and will be removed in future updates, use
> >>>> msbuild instead <<<<
>
> XBuild Engine Version 14.0
> Mono, Version 6.8.0.105
> Copyright (C) 2005-2013 Various Mono authors
>
> Build started 09/26/2023 06:28:53.
> __________________________________________________
> Project "/<<PKGBUILDDIR>>/Source/Boogie.sln" (default target(s)):
> Target ValidateSolutionConfiguration:
> Building solution configuration "Checked|Mixed Platforms".
> Target Build:
> Project
> "/<<PKGBUILDDIR>>/Source/CodeContractsExtender/CodeContractsExtender.csproj"
> (default target(s)):
> Target PrepareForBuild:
> Configuration: Checked Platform: AnyCPU
> Created directory "bin/Checked/"
> Created directory "obj/Checked/"
> Target GenerateSatelliteAssemblies:
> No input files were specified for target
> GenerateSatelliteAssemblies, skipping.
> Target CoreCompile:
> Tool /usr/lib/mono/4.5/mcs.exe execution
> started with arguments: /noconfig /debug:full /debug:portable
> /keyfile:../InterimKey.snk /publicsign /optimize-
> /out:obj/Checked/BoogieCodeContractsExtender.dll ../version.cs cce.cs
> obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library
> /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU
> /reference:/usr/lib/mono/4.0-api/System.dll
> /reference:/usr/lib/mono/4.0-api/System.Xml.Linq.dll
> /reference:/usr/lib/mono/4.0-api/System.Data.DataSetExtensions.dll
> /reference:/usr/lib/mono/4.0-api/System.Data.dll
> /reference:/usr/lib/mono/4.0-api/System.Xml.dll
> /reference:/usr/lib/mono/4.0-api/System.Core.dll
> /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4
> Target DeployOutputFiles:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/obj/Checked/BoogieCodeContractsExtender.dll.mdb'
> to
> '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll.mdb'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/obj/Checked/BoogieCodeContractsExtender.dll'
> to
> '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll'
> Done building project
> "/<<PKGBUILDDIR>>/Source/CodeContractsExtender/CodeContractsExtender.csproj".
> Project "/<<PKGBUILDDIR>>/Source/Model/Model.csproj" (default
> target(s)):
> Target PrepareForBuild:
> Configuration: Checked Platform: AnyCPU
> Created directory "obj/Checked/"
> Target GenerateSatelliteAssemblies:
> No input files were specified for target
> GenerateSatelliteAssemblies, skipping.
> Target CoreCompile:
> Tool /usr/lib/mono/4.5/mcs.exe execution
> started with arguments: /noconfig /debug:full /debug:portable
> /keyfile:../InterimKey.snk /publicsign /optimize-
> /out:obj/Checked/BoogieModel.dll Model.cs ModelParser.cs
> Properties/AssemblyInfo.cs ../version.cs
> obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library
> /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU
> /reference:/usr/lib/mono/4.0-api/System.dll
> /reference:/usr/lib/mono/4.0-api/System.Core.dll
> /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4
> Target DeployOutputFiles:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Model/obj/Checked/BoogieModel.dll.mdb' to
> '/<<PKGBUILDDIR>>/Binaries/BoogieModel.dll.mdb'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Model/obj/Checked/BoogieModel.dll' to
> '/<<PKGBUILDDIR>>/Binaries/BoogieModel.dll'
> Done building project
> "/<<PKGBUILDDIR>>/Source/Model/Model.csproj".
> Project "/<<PKGBUILDDIR>>/Source/Graph/Graph.csproj" (default
> target(s)):
> Target PrepareForBuild:
> Configuration: Checked Platform: AnyCPU
> Created directory "bin/Checked/"
> Created directory "obj/Checked/"
> Target CopyFilesMarkedCopyLocal:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll'
> to
> '/<<PKGBUILDDIR>>/Source/Graph/bin/Checked/BoogieCodeContractsExtender.dll'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll.mdb'
> to
> '/<<PKGBUILDDIR>>/Source/Graph/bin/Checked/BoogieCodeContractsExtender.dll.mdb'
> Target GenerateSatelliteAssemblies:
> No input files were specified for target
> GenerateSatelliteAssemblies, skipping.
> Target CoreCompile:
> Tool /usr/lib/mono/4.5/mcs.exe execution
> started with arguments: /noconfig /debug:full /debug:portable
> /keyfile:../InterimKey.snk /publicsign /optimize-
> /out:obj/Checked/BoogieGraph.dll ../version.cs Graph.cs
> obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library
> /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU
> /reference:/usr/lib/mono/4.0-api/System.dll
> /reference:/usr/lib/mono/4.0-api/System.Data.dll
> /reference:/usr/lib/mono/4.0-api/System.Xml.dll
> /reference:/usr/lib/mono/4.0-api/System.Core.dll
> /reference:/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked//BoogieCodeContractsExtender.dll
> /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4
> Target DeployOutputFiles:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Graph/obj/Checked/BoogieGraph.dll.mdb' to
> '/<<PKGBUILDDIR>>/Source/Graph/bin/Checked/BoogieGraph.dll.mdb'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Graph/obj/Checked/BoogieGraph.dll' to
> '/<<PKGBUILDDIR>>/Source/Graph/bin/Checked/BoogieGraph.dll'
> Done building project
> "/<<PKGBUILDDIR>>/Source/Graph/Graph.csproj".
> Project "/<<PKGBUILDDIR>>/Source/Basetypes/Basetypes.csproj"
> (default target(s)):
> Target PrepareForBuild:
> Configuration: Checked Platform: AnyCPU
> Created directory "bin/Checked/"
> Created directory "obj/Checked/"
> Target CopyFilesMarkedCopyLocal:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll'
> to
> '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll.mdb'
> to
> '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll.mdb'
> Target GenerateSatelliteAssemblies:
> No input files were specified for target
> GenerateSatelliteAssemblies, skipping.
> Target CoreCompile:
> Tool /usr/lib/mono/4.5/mcs.exe execution
> started with arguments: /noconfig /debug:full /debug:portable
> /keyfile:../InterimKey.snk /publicsign /optimize-
> /out:obj/Checked/BoogieBasetypes.dll ../version.cs BigDec.cs RoundingMode.cs
> BigNum.cs BigFloat.cs Rational.cs Set.cs
> obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library
> /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU
> /reference:/usr/lib/mono/4.0-api/System.dll
> /reference:/usr/lib/mono/4.0-api/System.Data.dll
> /reference:/usr/lib/mono/4.0-api/System.Numerics.dll
> /reference:/usr/lib/mono/4.0-api/System.Xml.dll
> /reference:/usr/lib/mono/4.0-api/System.Core.dll
> /reference:/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked//BoogieCodeContractsExtender.dll
> /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4
> Target DeployOutputFiles:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Basetypes/obj/Checked/BoogieBasetypes.dll.mdb' to
> '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieBasetypes.dll.mdb'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Basetypes/obj/Checked/BoogieBasetypes.dll' to
> '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieBasetypes.dll'
> Done building project
> "/<<PKGBUILDDIR>>/Source/Basetypes/Basetypes.csproj".
> Project
> "/<<PKGBUILDDIR>>/Source/ParserHelper/ParserHelper.csproj" (default
> target(s)):
> Target PrepareForBuild:
> Configuration: Checked Platform: AnyCPU
> Created directory "bin/Checked/"
> Created directory "obj/Checked/"
> Target CopyFilesMarkedCopyLocal:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll'
> to
> '/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked/BoogieCodeContractsExtender.dll'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll.mdb'
> to
> '/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked/BoogieCodeContractsExtender.dll.mdb'
> Target GenerateSatelliteAssemblies:
> No input files were specified for target
> GenerateSatelliteAssemblies, skipping.
> Target CoreCompile:
> Tool /usr/lib/mono/4.5/mcs.exe execution
> started with arguments: /noconfig /debug:full /debug:portable
> /keyfile:../InterimKey.snk /publicsign /optimize-
> /out:obj/Checked/BoogieParserHelper.dll ../version.cs ParserHelper.cs
> obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library
> /define:"TRACE;DEBUG" /nostdlib /platform:AnyCPU
> /reference:/usr/lib/mono/4.0-api/System.dll
> /reference:/usr/lib/mono/4.0-api/System.Xml.Linq.dll
> /reference:/usr/lib/mono/4.0-api/System.Data.DataSetExtensions.dll
> /reference:/usr/lib/mono/4.0-api/System.Data.dll
> /reference:/usr/lib/mono/4.0-api/System.Xml.dll
> /reference:/usr/lib/mono/4.0-api/System.Core.dll
> /reference:/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked//BoogieCodeContractsExtender.dll
> /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4
> Target DeployOutputFiles:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/ParserHelper/obj/Checked/BoogieParserHelper.dll.mdb'
> to
> '/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked/BoogieParserHelper.dll.mdb'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/ParserHelper/obj/Checked/BoogieParserHelper.dll' to
> '/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked/BoogieParserHelper.dll'
> Done building project
> "/<<PKGBUILDDIR>>/Source/ParserHelper/ParserHelper.csproj".
> Project
> "/<<PKGBUILDDIR>>/Source/ModelViewer/ModelViewer.csproj" (default target(s)):
> Target PrepareForBuild:
> Configuration: Checked Platform: x86
> Created directory "obj/x86/Checked/"
> Target GenerateResources:
> Tool /usr/lib/mono/4.5/resgen.exe execution
> started with arguments: /useSourcePath /compile
> "Main.resx,obj/x86/Checked/Microsoft.Boogie.ModelViewer.Main.resources"
> Tool /usr/lib/mono/4.5/resgen.exe execution
> started with arguments: /useSourcePath /compile
> "Properties/Resources.resx,obj/x86/Checked/Microsoft.Boogie.ModelViewer.Properties.Resources.resources"
>
> Tool /usr/lib/mono/4.5/resgen.exe execution
> started with arguments: /useSourcePath /compile
> "SourceView.resx,obj/x86/Checked/Microsoft.Boogie.ModelViewer.SourceView.resources"
>
> Target GenerateSatelliteAssemblies:
> No input files were specified for target
> GenerateSatelliteAssemblies, skipping.
> Target CoreCompile:
> Tool /usr/lib/mono/4.5/mcs.exe execution
> started with arguments: /noconfig /debug:full /debug:portable
> /keyfile:../InterimKey.snk /publicsign /optimize-
> /out:obj/x86/Checked/BoogieModelViewer.dll
> /resource:obj/x86/Checked/Microsoft.Boogie.ModelViewer.Main.resources
> /resource:obj/x86/Checked/Microsoft.Boogie.ModelViewer.Properties.Resources.resources
> /resource:obj/x86/Checked/Microsoft.Boogie.ModelViewer.SourceView.resources
> BaseProvider.cs BCTProvider.cs DafnyProvider.cs DataModel.cs Main.cs
> Main.Designer.cs Namer.cs Properties/AssemblyInfo.cs SourceView.cs
> SourceView.Designer.cs TreeSkeleton.cs VccProvider.cs
> Properties/Resources.Designer.cs Properties/Settings.Designer.cs
> ../version.cs obj/x86/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs
> /target:library /win32icon:bvdicon.ico /define:"DEBUG;TRACE" /nostdlib
> /platform:AnyCPU /reference:/usr/lib/mono/4.0-api/System.dll
> /reference:/usr/lib/mono/4.0-api/System.Data.dll
> /reference:/usr/lib/mono/4.0-api/System.Numerics.dll
> /reference:/usr/lib/mono/4.0-api/System.Drawing.dll
> /reference:/usr/lib/mono/4.0-api/System.Windows.Forms.dll
> /reference:/usr/lib/mono/4.0-api/System.Core.dll
> /reference:/<<PKGBUILDDIR>>/Binaries//BoogieModel.dll
> /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4
> VccProvider.cs(811,13): warning CS0219: The variable `model' is assigned but
> its value is never used
> VccProvider.cs(952,15): warning CS0219: The variable `basePtr' is assigned
> but its value is never used
> BaseProvider.cs(46,25): warning CS0414: The private field
> `Microsoft.Boogie.ModelViewer.Base.BaseState.st' is assigned but its value is
> never used
> BCTProvider.cs(29,39): warning CS0414: The private field
> `Microsoft.Boogie.ModelViewer.BCT.BCTModel.typeName' is assigned but its
> value is never used
> DafnyProvider.cs(37,39): warning CS0414: The private field
> `Microsoft.Boogie.ModelViewer.Dafny.DafnyModel.typeName' is assigned but its
> value is never used
> Main.cs(276,25): warning CS0414: The private field
> `Microsoft.Boogie.ModelViewer.Main.center' is assigned but its value is never
> used
> VccProvider.cs(294,14): warning CS0414: The private field
> `Microsoft.Boogie.ModelViewer.Vcc.VccModel.state_props' is assigned but its
> value is never used
> Target DeployOutputFiles:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/ModelViewer/obj/x86/Checked/BoogieModelViewer.dll.mdb'
> to '/<<PKGBUILDDIR>>/Binaries/BoogieModelViewer.dll.mdb'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/ModelViewer/obj/x86/Checked/BoogieModelViewer.dll'
> to '/<<PKGBUILDDIR>>/Binaries/BoogieModelViewer.dll'
> Done building project
> "/<<PKGBUILDDIR>>/Source/ModelViewer/ModelViewer.csproj".
> Project "/<<PKGBUILDDIR>>/Source/Core/Core.csproj" (default
> target(s)):
> Target PrepareForBuild:
> Configuration: Checked Platform: AnyCPU
> Created directory "bin/Checked/"
> Created directory "obj/Checked/"
> Target CopyFilesMarkedCopyLocal:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieBasetypes.dll' to
> '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieBasetypes.dll'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieBasetypes.dll.mdb' to
> '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieBasetypes.dll.mdb'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll'
> to '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieCodeContractsExtender.dll'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked/BoogieCodeContractsExtender.dll.mdb'
> to
> '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieCodeContractsExtender.dll.mdb'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Graph/bin/Checked/BoogieGraph.dll' to
> '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieGraph.dll'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Graph/bin/Checked/BoogieGraph.dll.mdb' to
> '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieGraph.dll.mdb'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked/BoogieParserHelper.dll' to
> '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieParserHelper.dll'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked/BoogieParserHelper.dll.mdb'
> to '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieParserHelper.dll.mdb'
> Target GenerateSatelliteAssemblies:
> No input files were specified for target
> GenerateSatelliteAssemblies, skipping.
> Target CoreCompile:
> Tool /usr/lib/mono/4.5/mcs.exe execution
> started with arguments: /noconfig /debug:full /debug:portable
> /keyfile:../InterimKey.snk /publicsign /optimize-
> /out:obj/Checked/BoogieCore.dll Absy.cs AbsyCmd.cs AbsyExpr.cs AbsyQuant.cs
> AbsyType.cs AlphaEquality.cs CivlAttributes.cs
> InterProceduralReachabilityGraph.cs CommandLineOptions.cs DeadVarElim.cs
> Duplicator.cs Inline.cs LambdaHelper.cs MaxHolesLambdaLifter.cs
> LambdaLiftingMaxHolesFiller.cs LambdaLiftingTemplate.cs LoopUnroll.cs
> OOLongUtil.cs Parser.cs ResolutionContext.cs Scanner.cs StandardVisitor.cs
> TypeAmbiguitySeeker.cs Util.cs VariableDependenceAnalyser.cs VCExp.cs
> ../version.cs Xml.cs
> obj/Checked/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library
> /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU
> /reference:/usr/lib/mono/4.0-api/System.dll
> /reference:/usr/lib/mono/4.0-api/System.Numerics.dll
> /reference:/usr/lib/mono/4.0-api/System.Xml.dll
> /reference:/usr/lib/mono/4.0-api/System.Core.dll
> /reference:/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked//BoogieBasetypes.dll
> /reference:/<<PKGBUILDDIR>>/Source/CodeContractsExtender/bin/Checked//BoogieCodeContractsExtender.dll
> /reference:/<<PKGBUILDDIR>>/Source/Graph/bin/Checked//BoogieGraph.dll
> /reference:/<<PKGBUILDDIR>>/Source/ParserHelper/bin/Checked//BoogieParserHelper.dll
> /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4
> AbsyExpr.cs(2228,16): warning CS0659: `Microsoft.Boogie.TypeCoercion'
> overrides Object.Equals(object) but does not override Object.GetHashCode()
> AbsyQuant.cs(678,25): warning CS0659: `Microsoft.Boogie.QuantifierExpr'
> overrides Object.Equals(object) but does not override Object.GetHashCode()
> AbsyType.cs(870,16): warning CS0659: `Microsoft.Boogie.BasicType' overrides
> Object.Equals(object) but does not override Object.GetHashCode()
> AbsyType.cs(3133,16): warning CS0659: `Microsoft.Boogie.CtorType' overrides
> Object.Equals(object) but does not override Object.GetHashCode()
> Absy.cs(3181,38): warning CS0219: The variable `entry' is assigned but its
> value is never used
> Absy.cs(4076,20): warning CS0219: The variable `StateName' is assigned but
> its value is never used
> Parser.cs(569,25): warning CS0219: The variable `tyds' is assigned but its
> value is never used
> Absy.cs(3273,40): warning CS0414: The private field
> `Microsoft.Boogie.LoopProcedure.blockMap' is assigned but its value is never
> used
> Target DeployOutputFiles:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Core/obj/Checked/BoogieCore.dll.mdb' to
> '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieCore.dll.mdb'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Core/obj/Checked/BoogieCore.dll' to
> '/<<PKGBUILDDIR>>/Source/Core/bin/Checked/BoogieCore.dll'
> Done building project
> "/<<PKGBUILDDIR>>/Source/Core/Core.csproj".
> Project "/<<PKGBUILDDIR>>/Source/BVD/BVD.csproj" (default
> target(s)):
> Target PrepareForBuild:
> Configuration: Debug Platform: AnyCPU
> Created directory "obj/Debug/"
> Target GenerateSatelliteAssemblies:
> No input files were specified for target
> GenerateSatelliteAssemblies, skipping.
> Target CoreCompile:
> Tool /usr/lib/mono/4.5/mcs.exe execution
> started with arguments: /noconfig /debug:full /debug:portable /optimize-
> /out:obj/Debug/BVD.exe Program.cs Properties/AssemblyInfo.cs
> obj/Debug/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:winexe
> /define:"DEBUG;TRACE" /nostdlib /platform:AnyCPU
> /reference:/usr/lib/mono/4.0-api/System.dll
> /reference:/usr/lib/mono/4.0-api/System.Data.dll
> /reference:/usr/lib/mono/4.0-api/System.Drawing.dll
> /reference:/usr/lib/mono/4.0-api/System.Numerics.dll
> /reference:/usr/lib/mono/4.0-api/System.Windows.Forms.dll
> /reference:/usr/lib/mono/4.0-api/System.Core.dll
> /reference:/<<PKGBUILDDIR>>/Binaries//BoogieModelViewer.dll
> /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4
> Target _CopyAppConfigFile:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/BVD/App.config' to
> '/<<PKGBUILDDIR>>/Binaries/BVD.exe.config'
> Target DeployOutputFiles:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/BVD/obj/Debug/BVD.exe.mdb' to
> '/<<PKGBUILDDIR>>/Binaries/BVD.exe.mdb'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/BVD/obj/Debug/BVD.exe' to
> '/<<PKGBUILDDIR>>/Binaries/BVD.exe'
> Done building project "/<<PKGBUILDDIR>>/Source/BVD/BVD.csproj".
> Project
> "/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/BasetypesTests.csproj"
> (default target(s)):
> Target PrepareForBuild:
> Configuration: Debug Platform: AnyCPU
> Created directory "bin/Debug/"
> Created directory "obj/Debug/"
> Target ResolveAssemblyReferences:
> /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets: warning : Reference
> 'nunit.framework' not resolved
> For searchpath {CandidateAssemblyFiles}
> Warning: {CandidateAssemblyFiles} not supported
> currently
> For searchpath {HintPathFromItem}
> Considered
> ../../packages/NUnit.2.6.3/lib/nunit.framework.dll, but it does not exist.
> For searchpath {TargetFrameworkDirectory}
> Considered target framework dir
> /usr/lib/mono/4.0-api/, assembly named 'nunit.framework' not found.
> For searchpath {PkgConfig}
> Considered nunit.framework, but could not find
> in any pkg-config files.
> For searchpath {GAC}
> Considered nunit.framework, but could not find
> in the GAC.
> For searchpath {RawFileName}
> Considered 'nunit.framework' as a file, but the
> file does not exist
> For searchpath bin/Debug/
> Considered
> '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/nunit.framework'
> as a file, but the file does not exist
> Considered
> '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/nunit.framework.exe'
> as a file, but the file does not exist
> Considered
> '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/nunit.framework.dll'
> as a file, but the file does not exist
> Target CopyFilesMarkedCopyLocal:
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieBasetypes.dll' to
> '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/BoogieBasetypes.dll'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieBasetypes.dll.mdb' to
> '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/BoogieBasetypes.dll.mdb'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll'
> to
> '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/BoogieCodeContractsExtender.dll'
> Copying file from
> '/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked/BoogieCodeContractsExtender.dll.mdb'
> to
> '/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/bin/Debug/BoogieCodeContractsExtender.dll.mdb'
> Target GenerateSatelliteAssemblies:
> No input files were specified for target
> GenerateSatelliteAssemblies, skipping.
> Target CoreCompile:
> Tool /usr/lib/mono/4.5/mcs.exe execution
> started with arguments: /noconfig /debug:full /debug:portable /optimize-
> /out:obj/Debug/BasetypesTests.dll BigDecTests.cs Properties/AssemblyInfo.cs
> obj/Debug/.NETFramework,Version=v4.0.AssemblyAttribute.cs /target:library
> /define:"DEBUG;TRACE" /nostdlib /reference:/usr/lib/mono/4.0-api/System.dll
> /reference:/usr/lib/mono/4.0-api/System.Numerics.dll
> /reference:/usr/lib/mono/4.0-api/System.Xml.Linq.dll
> /reference:/usr/lib/mono/4.0-api/System.Data.DataSetExtensions.dll
> /reference:/usr/lib/mono/4.0-api/Microsoft.CSharp.dll
> /reference:/usr/lib/mono/4.0-api/System.Data.dll
> /reference:/usr/lib/mono/4.0-api/System.Xml.dll
> /reference:/usr/lib/mono/4.0-api/System.Core.dll
> /reference:/<<PKGBUILDDIR>>/Source/Basetypes/bin/Checked//BoogieBasetypes.dll
> /reference:/usr/lib/mono/4.0-api//mscorlib.dll /warn:4
> BigDecTests.cs(2,7): error CS0246: The type or namespace name `NUnit' could
> not be found. Are you missing an assembly reference?
> Task "Csc" execution -- FAILED
> Done building target "CoreCompile" in project
> "/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/BasetypesTests.csproj".--
> FAILED
> Done building project
> "/<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/BasetypesTests.csproj".--
> FAILED
> Task "MSBuild" execution -- FAILED
> Done building target "Build" in project
> "/<<PKGBUILDDIR>>/Source/Boogie.sln".-- FAILED
> Done building project "/<<PKGBUILDDIR>>/Source/Boogie.sln".-- FAILED
>
> Build FAILED.
>
> Warnings:
>
> /<<PKGBUILDDIR>>/Source/Boogie.sln (default targets) ->
> (Build target) ->
> /<<PKGBUILDDIR>>/Source/ModelViewer/ModelViewer.csproj (default targets) ->
> /usr/lib/mono/xbuild/14.0/bin/Microsoft.CSharp.targets (CoreCompile target) ->
>
> VccProvider.cs(811,13): warning CS0219: The variable `model' is
> assigned but its value is never used
> VccProvider.cs(952,15): warning CS0219: The variable `basePtr' is
> assigned but its value is never used
> BaseProvider.cs(46,25): warning CS0414: The private field
> `Microsoft.Boogie.ModelViewer.Base.BaseState.st' is assigned but its value is
> never used
> BCTProvider.cs(29,39): warning CS0414: The private field
> `Microsoft.Boogie.ModelViewer.BCT.BCTModel.typeName' is assigned but its
> value is never used
> DafnyProvider.cs(37,39): warning CS0414: The private field
> `Microsoft.Boogie.ModelViewer.Dafny.DafnyModel.typeName' is assigned but its
> value is never used
> Main.cs(276,25): warning CS0414: The private field
> `Microsoft.Boogie.ModelViewer.Main.center' is assigned but its value is never
> used
> VccProvider.cs(294,14): warning CS0414: The private field
> `Microsoft.Boogie.ModelViewer.Vcc.VccModel.state_props' is assigned but its
> value is never used
>
> /<<PKGBUILDDIR>>/Source/Boogie.sln (default targets) ->
> (Build target) ->
> /<<PKGBUILDDIR>>/Source/Core/Core.csproj (default targets) ->
> /usr/lib/mono/xbuild/14.0/bin/Microsoft.CSharp.targets (CoreCompile target) ->
>
> AbsyExpr.cs(2228,16): warning CS0659: `Microsoft.Boogie.TypeCoercion'
> overrides Object.Equals(object) but does not override Object.GetHashCode()
> AbsyQuant.cs(678,25): warning CS0659: `Microsoft.Boogie.QuantifierExpr'
> overrides Object.Equals(object) but does not override Object.GetHashCode()
> AbsyType.cs(870,16): warning CS0659: `Microsoft.Boogie.BasicType'
> overrides Object.Equals(object) but does not override Object.GetHashCode()
> AbsyType.cs(3133,16): warning CS0659: `Microsoft.Boogie.CtorType'
> overrides Object.Equals(object) but does not override Object.GetHashCode()
> Absy.cs(3181,38): warning CS0219: The variable `entry' is assigned but
> its value is never used
> Absy.cs(4076,20): warning CS0219: The variable `StateName' is assigned
> but its value is never used
> Parser.cs(569,25): warning CS0219: The variable `tyds' is assigned but
> its value is never used
> Absy.cs(3273,40): warning CS0414: The private field
> `Microsoft.Boogie.LoopProcedure.blockMap' is assigned but its value is never
> used
>
> /<<PKGBUILDDIR>>/Source/Boogie.sln (default targets) ->
> (Build target) ->
> /<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/BasetypesTests.csproj
> (default targets) ->
> /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets
> (ResolveAssemblyReferences target) ->
>
> /usr/lib/mono/xbuild/14.0/bin/Microsoft.Common.targets: warning :
> Reference 'nunit.framework' not resolved
>
> Errors:
>
> /<<PKGBUILDDIR>>/Source/Boogie.sln (default targets) ->
> (Build target) ->
> /<<PKGBUILDDIR>>/Source/UnitTests/BasetypesTests/BasetypesTests.csproj
> (default targets) ->
> /usr/lib/mono/xbuild/14.0/bin/Microsoft.CSharp.targets (CoreCompile target) ->
>
> BigDecTests.cs(2,7): error CS0246: The type or namespace name `NUnit'
> could not be found. Are you missing an assembly reference?
>
> 16 Warning(s)
> 1 Error(s)
>
> Time Elapsed 00:00:07.0053600
> make[1]: *** [debian/rules:17: override_dh_auto_build] Error 1
The full build log is available from:
http://qa-logs.debian.net/2023/09/25/boogie_2.4.1+dfsg-0.1_unstable.log
All bugs filed during this archive rebuild are listed at:
https://bugs.debian.org/cgi-bin/pkgreport.cgi?tag=ftbfs-20230925;users=lu...@debian.org
or:
https://udd.debian.org/bugs/?release=na&merged=ign&fnewerval=7&flastmodval=7&fusertag=only&fusertagtag=ftbfs-20230925&fusertaguser=lu...@debian.org&allbugs=1&cseverity=1&ctags=1&caffected=1#results
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!
If you reassign this bug to another package, please mark it as 'affects'-ing
this package. See https://www.debian.org/Bugs/server-control#affects
If you fail to reproduce this, please provide a build log and diff it with mine
so that we can identify if something relevant changed in the meantime.
