1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Library</OutputType>
<AssemblyName>Provers.SMTLib</AssemblyName>
<TargetFramework>netcoreapp2.2</TargetFramework>
<DefineConstants>COREFX_SUBSET</DefineConstants>
<GenerateAssemblyInfo>false</GenerateAssemblyInfo>
</PropertyGroup>
<ItemGroup>
<ProjectReference Include="..\..\Basetypes\Basetypes-NetCore.csproj" />
<ProjectReference Include="..\..\CodeContractsExtender\CodeContractsExtender-NetCore.csproj" />
<ProjectReference Include="..\..\Core\Core-NetCore.csproj" />
<ProjectReference Include="..\..\Graph\Graph-NetCore.csproj" />
<ProjectReference Include="..\..\Model\Model-NetCore.csproj" />
<ProjectReference Include="..\..\ParserHelper\ParserHelper-NetCore.csproj" />
<ProjectReference Include="..\..\VCExpr\VCExpr-NetCore.csproj" />
<ProjectReference Include="..\..\VCGeneration\VCGeneration-NetCore.csproj" />
</ItemGroup>
<PropertyGroup>
<EnableDefaultCompileItems>false</EnableDefaultCompileItems>
</PropertyGroup>
<ItemGroup>
<Compile Include="..\..\version.cs">
<Link>version.cs</Link>
</Compile>
<Compile Include="**\*.cs" />
<Compile Remove="**\cce.cs" />
</ItemGroup>
</Project>
|
