mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-25 01:55:32 +00:00
Code Activity

dotnet: move example project build to cmake

Browse source
This commit is contained in:
Yatao Li 2019-01-13 00:03:37 +08:00
parent 55f92f3658
commit 5e79dba3d6
3 changed files with 7 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
examples/dotnet/dotnet.csproj
View file

@ -6,7 +6,7 @@
</PropertyGroup>
<ItemGroup>
<PackageReference Include="Microsoft.Z3" Version="4.8.0" />
<PackageReference Include="Microsoft.Z3" Version="$(Z3_VERSION)" />
</ItemGroup>
</Project>