Source: z3 Version: 4.4.0-5 Severity: serious Justification: fails to build from source Tags: sid User: reproducible-bui...@lists.alioth.debian.org Usertags: ftbfs X-Debbugs-CC: reproducible-bui...@lists.alioth.debian.org
Dear Maintainer, The package fails to build: error CS0006: Metadata file `mscorlib.dll' could not be found error CS0006: Metadata file `System.Core.dll' could not be found error CS0006: Metadata file `System.dll' could not be found error CS0006: Metadata file `System.Numerics.dll' could not be found error CS0518: The predefined type `System.Object' is not defined or imported error CS0518: The predefined type `System.ValueType' is not defined or imported error CS0518: The predefined type `System.Attribute' is not defined or imported error CS0518: The predefined type `System.Int32' is not defined or imported error CS0518: The predefined type `System.UInt32' is not defined or imported error CS0518: The predefined type `System.Int64' is not defined or imported error CS0518: The predefined type `System.UInt64' is not defined or imported error CS0518: The predefined type `System.Single' is not defined or imported error CS0518: The predefined type `System.Double' is not defined or imported error CS0518: The predefined type `System.Char' is not defined or imported error CS0518: The predefined type `System.Int16' is not defined or imported error CS0518: The predefined type `System.Decimal' is not defined or imported error CS0518: The predefined type `System.Boolean' is not defined or imported error CS0518: The predefined type `System.SByte' is not defined or imported error CS0518: The predefined type `System.Byte' is not defined or imported error CS0518: The predefined type `System.UInt16' is not defined or imported error CS0518: The predefined type `System.String' is not defined or imported error CS0518: The predefined type `System.Enum' is not defined or imported error CS0518: The predefined type `System.Delegate' is not defined or imported error CS0518: The predefined type `System.MulticastDelegate' is not defined or imported error CS0518: The predefined type `System.Void' is not defined or imported error CS0518: The predefined type `System.Array' is not defined or imported error CS0518: The predefined type `System.Type' is not defined or imported error CS0518: The predefined type `System.Collections.IEnumerator' is not defined or imported error CS0518: The predefined type `System.Collections.IEnumerable' is not defined or imported error CS0518: The predefined type `System.IDisposable' is not defined or imported error CS0518: The predefined type `System.IntPtr' is not defined or imported error CS0518: The predefined type `System.UIntPtr' is not defined or imported error CS0518: The predefined type `System.RuntimeFieldHandle' is not defined or imported error CS0518: The predefined type `System.RuntimeTypeHandle' is not defined or imported error CS0518: The predefined type `System.Exception' is not defined or imported Compilation failed: 35 error(s), 0 warnings Makefile:3853: recipe for target 'Microsoft.Z3.dll' failed make[2]: *** [Microsoft.Z3.dll] Error 1 make[2]: Leaving directory '/z3-4.4.0/build' Makefile:5: recipe for target 'all' failed make[1]: *** [all] Error 2 make[1]: Leaving directory '/z3-4.4.0' dh_auto_build: make -j1 returned exit code 2 debian/rules:15: recipe for target 'build' failed make: *** [build] Error 2 dpkg-buildpackage: error: debian/rules build gave error exit status 2 Full build log: https://reproducible.debian.net/rb-pkg/unstable/amd64/z3.html -- System Information: Debian Release: stretch/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64)
