forked from boogie-org/corral
-
Notifications
You must be signed in to change notification settings - Fork 0
/
cba-NetCore.csproj
61 lines (53 loc) · 2.71 KB
/
cba-NetCore.csproj
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<PackageId>Corral</PackageId>
<Authors>Corral</Authors>
<Description>A solver for the reachability modulo theories problem.</Description>
<PackageLicenseFile>LICENSE.txt</PackageLicenseFile>
<RepositoryUrl>https://github.com/boogie-org/corral</RepositoryUrl>
</PropertyGroup>
<PropertyGroup>
<OutputType>Exe</OutputType>
<AssemblyName>corral</AssemblyName>
<TargetFramework>netcoreapp3.1</TargetFramework>
<GenerateAssemblyInfo>false</GenerateAssemblyInfo>
<GeneratePackageOnBuild>true</GeneratePackageOnBuild>
<PackAsTool>true</PackAsTool>
<ToolCommandName>corral</ToolCommandName>
</PropertyGroup>
<ItemGroup>
<ProjectReference Include="boogie\Source\AbsInt\AbsInt-NetCore.csproj" />
<ProjectReference Include="boogie\Source\BaseTypes\BaseTypes-NetCore.csproj" />
<ProjectReference Include="boogie\Source\CodeContractsExtender\CodeContractsExtender-NetCore.csproj" />
<ProjectReference Include="boogie\Source\Concurrency\Concurrency-NetCore.csproj" />
<ProjectReference Include="boogie\Source\Core\Core-NetCore.csproj" />
<ProjectReference Include="boogie\Source\ExecutionEngine\ExecutionEngine-NetCore.csproj" />
<ProjectReference Include="boogie\Source\Graph\Graph-NetCore.csproj" />
<ProjectReference Include="boogie\Source\Houdini\Houdini-NetCore.csproj" />
<ProjectReference Include="boogie\Source\Model\Model-NetCore.csproj" />
<ProjectReference Include="boogie\Source\ParserHelper\ParserHelper-NetCore.csproj" />
<ProjectReference Include="boogie\Source\Provers\SMTLib\SMTLib-NetCore.csproj" />
<ProjectReference Include="boogie\Source\VCExpr\VCExpr-NetCore.csproj" />
<ProjectReference Include="boogie\Source\VCGeneration\VCGeneration-NetCore.csproj" />
<ProjectReference Include="source\CoreLib\CoreLib-NetCore.csproj" />
<ProjectReference Include="source\ExplainError\ExplainError-NetCore.csproj" />
<ProjectReference Include="source\ProgTransformation\ProgTransformation-NetCore.csproj" />
<ProjectReference Include="source\Util\CorralUtil-NetCore.csproj" />
</ItemGroup>
<ItemGroup>
<PackageReference Include="System.Resources.Extensions" Version="4.6.0"/>
<PackageReference Include="GitVersionTask" Version="5.1.2">
<IncludeAssets>runtime; build; native; contentfiles; analyzers</IncludeAssets>
<PrivateAssets>all</PrivateAssets>
</PackageReference>
</ItemGroup>
<PropertyGroup>
<EnableDefaultCompileItems>false</EnableDefaultCompileItems>
</PropertyGroup>
<ItemGroup>
<Compile Include="source\*.cs" />
</ItemGroup>
<ItemGroup>
<None Include="LICENSE.txt" Pack="true" PackagePath="LICENSE.txt"/>
</ItemGroup>
</Project>