75 строки
3.3 KiB
XML
75 строки
3.3 KiB
XML
<Project Sdk="Microsoft.NET.Sdk">
|
|
<PropertyGroup>
|
|
<Description>The self-contained Coyote command-line tool.</Description>
|
|
<AssemblyName>coyote</AssemblyName>
|
|
<RootNamespace>Microsoft.Coyote</RootNamespace>
|
|
<BuildOutputTargetFolder>tools</BuildOutputTargetFolder>
|
|
<DisableImplicitFrameworkReferences>true</DisableImplicitFrameworkReferences>
|
|
<OutputType>Exe</OutputType>
|
|
<OutputPath>..\..\bin\</OutputPath>
|
|
<NetStandard2Supported>false</NetStandard2Supported>
|
|
<NoWarn>$(NoWarn),1591</NoWarn>
|
|
</PropertyGroup>
|
|
<PropertyGroup>
|
|
<PackageId>Microsoft.Coyote.Tool</PackageId>
|
|
<PackageTags>systematic-testing;specifications;concurrency;dotnet;csharp</PackageTags>
|
|
<IncludeSymbols>true</IncludeSymbols>
|
|
</PropertyGroup>
|
|
<Import Project="..\..\Common\build.props" />
|
|
<Import Project="..\..\Common\key.props" />
|
|
<ItemGroup>
|
|
<PackageReference Include="System.CommandLine" Version="2.0.0-beta4.22272.1" >
|
|
<PrivateAssets>all</PrivateAssets>
|
|
</PackageReference>
|
|
</ItemGroup>
|
|
<ItemGroup Condition="'$(TargetFramework)' == 'net8.0'">
|
|
<FrameworkReference Include="Microsoft.AspNetCore.App" />
|
|
<FrameworkReference Include="Microsoft.NETCore.App" />
|
|
<PackageReference Include="System.Configuration.ConfigurationManager" Version="8.0.0" >
|
|
<PrivateAssets>all</PrivateAssets>
|
|
</PackageReference>
|
|
</ItemGroup>
|
|
<ItemGroup Condition="'$(TargetFramework)' == 'net6.0'">
|
|
<FrameworkReference Include="Microsoft.AspNetCore.App" />
|
|
<FrameworkReference Include="Microsoft.NETCore.App" />
|
|
<PackageReference Include="System.Configuration.ConfigurationManager" Version="8.0.0" >
|
|
<PrivateAssets>all</PrivateAssets>
|
|
</PackageReference>
|
|
</ItemGroup>
|
|
<ItemGroup Condition="'$(TargetFramework)'=='net462'">
|
|
<Reference Include="System.Configuration" />
|
|
<Reference Include="System.Core" />
|
|
</ItemGroup>
|
|
<ItemGroup>
|
|
<ProjectReference Include="..\..\Source\Core\Core.csproj" >
|
|
<PrivateAssets>all</PrivateAssets>
|
|
</ProjectReference>
|
|
<ProjectReference Include="..\..\Source\Test\Test.csproj" >
|
|
<PrivateAssets>all</PrivateAssets>
|
|
</ProjectReference>
|
|
</ItemGroup>
|
|
<PropertyGroup>
|
|
<TargetsForTfmSpecificBuildOutput>$(TargetsForTfmSpecificBuildOutput);ToolDependenciesTarget</TargetsForTfmSpecificBuildOutput>
|
|
<TargetsForTfmSpecificContentInPackage>$(TargetsForTfmSpecificContentInPackage);LibDependenciesTarget</TargetsForTfmSpecificContentInPackage>
|
|
</PropertyGroup>
|
|
<Target Name="ToolDependenciesTarget">
|
|
<ItemGroup>
|
|
<BuildOutputInPackage
|
|
Include="$(OutputPath)*.dll;$(OutputPath)*.json;$(OutputPath)*.xml"
|
|
Exclude="$(OutputPath)$(AssemblyName).*;$(OutputPath)runtimes"
|
|
>
|
|
<TargetPath></TargetPath>
|
|
</BuildOutputInPackage>
|
|
</ItemGroup>
|
|
</Target>
|
|
<Target Name="LibDependenciesTarget">
|
|
<ItemGroup>
|
|
<TfmSpecificPackageFile Include="$(MSBuildProjectDirectory)/../../Scripts/NuGet/_._">
|
|
<PackagePath>lib/$(TargetFramework)</PackagePath>
|
|
</TfmSpecificPackageFile>
|
|
<TfmSpecificPackageFile Include="$(OutputPath)*.exe.config" Condition="'$(TargetFramework)' == 'net462'">
|
|
<PackagePath>$(BuildOutputTargetFolder)/$(TargetFramework)</PackagePath>
|
|
</TfmSpecificPackageFile>
|
|
</ItemGroup>
|
|
</Target>
|
|
</Project> |