mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
build
This commit is contained in:
parent
c03fac8390
commit
0422b59123
|
@ -49,7 +49,7 @@
|
|||
<!-- Build properties -->
|
||||
<PropertyGroup>
|
||||
<!-- In *nix builds, netfx TFMs are not available. -->
|
||||
<TargetFrameworks>netstandard2.1;net45</TargetFrameworks>
|
||||
<TargetFrameworks>netstandard2.0;net45</TargetFrameworks>
|
||||
<OutputTypeEx>library</OutputTypeEx>
|
||||
<AllowUnsafeBlocks>True</AllowUnsafeBlocks>
|
||||
<NoWarn>1701,1702</NoWarn>
|
||||
|
|
Loading…
Reference in a new issue