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
|
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Library</OutputType>
<AssemblyName>BoogieAbsInt</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="..\ParserHelper\ParserHelper-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>
|
