/
Dafny.csproj
36 lines (30 loc) · 1.45 KB
/
Dafny.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
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<OutputType>Exe</OutputType>
<AssemblyName>Dafny</AssemblyName>
<GenerateAssemblyInfo>true</GenerateAssemblyInfo>
<DefineConstants>TRACE</DefineConstants>
<TargetFramework>net6.0</TargetFramework>
<OutputPath>..\..\Binaries\</OutputPath>
<ValidateExecutableReferencesMatchSelfContained>false</ValidateExecutableReferencesMatchSelfContained>
<PackAsTool>true</PackAsTool>
<ToolCommandName>dafny</ToolCommandName>
<PackageLicenseExpression>MIT</PackageLicenseExpression>
<PackageReadmeFile>README.md</PackageReadmeFile>
</PropertyGroup>
<PropertyGroup Condition="'$(Configuration)|$(TargetFramework)|$(Platform)'=='Debug|net6.0|AnyCPU'">
<AppendTargetFrameworkToOutputPath>false</AppendTargetFrameworkToOutputPath>
<AppendRuntimeIdentifierToOutputPath>false</AppendRuntimeIdentifierToOutputPath>
</PropertyGroup>
<!-- Working around some stange behavior in dotnet publish: https://github.com/dotnet/sdk/issues/10566 -->
<PropertyGroup Condition="$(RUNTIME_IDENTIFIER) != ''">
<RuntimeIdentifier>$(RUNTIME_IDENTIFIER)</RuntimeIdentifier>
</PropertyGroup>
<ItemGroup>
<ProjectReference Include="..\DafnyDriver\DafnyDriver.csproj" />
<ProjectReference Include="..\DafnyPipeline\DafnyPipeline.csproj" />
</ItemGroup>
<ItemGroup>
<None Include="..\..\README.md" Pack="true" PackagePath="\"/>
</ItemGroup>
</Project>