Merge pull request #5504 from ntherning/wait-for-native-thread-to-die-in-Thread-Join
[mono.git] / packaging / MacSDK / patches / fsharp-portable-pdb.patch
1 diff --git a/src/fsharp/FSharp.Build/Microsoft.FSharp.Targets b/src/fsharp/FSharp.Build/Microsoft.FSharp.Targets
2 index 34d716485..ec99e87ed 100644
3 --- a/src/fsharp/FSharp.Build/Microsoft.FSharp.Targets
4 +++ b/src/fsharp/FSharp.Build/Microsoft.FSharp.Targets
5 @@ -41,6 +41,21 @@ this file.
6          <RootNamespace Condition="'$(RootNamespace)'==''">RootNamespace</RootNamespace>
7          <Actual32Bit Condition="'$(TargetFrameworkVersion)'=='v2.0' or '$(TargetFrameworkVersion)'=='v3.0' or '$(TargetFrameworkVersion)'=='v3.5' or '$(TargetFrameworkVersion)'=='v4.0'">false</Actual32Bit>
8          <Actual32Bit Condition="!('$(TargetFrameworkVersion)'=='v2.0' or '$(TargetFrameworkVersion)'=='v3.0' or '$(TargetFrameworkVersion)'=='v3.5' or '$(TargetFrameworkVersion)'=='v4.0')">$(Prefer32Bit)</Actual32Bit>
9 +        <!--
10 +             `/debug+` is produced based on `$(DebugSymols)`, which gets a default value of 'true' in
11 +             Microsoft.Common.CurrentVersion.targets, with a condition:
12 +               Condition=" '$(ConfigurationName)' == 'Debug' and '$(DebugSymbols)' == '' and '$(DebugType)'=='' "
13 +             But that file is imported later, so we cannot depend on the default value of `$(DebugSymbols)` or `$(ConfigurationName)`.
14 +        -->
15 +        <_ConfigurationNameTmp>$(ConfigurationName)</_ConfigurationNameTmp>
16 +        <_ConfigurationNameTmp Condition="'$(ConfigurationName)' == ''">$(Configuration)</_ConfigurationNameTmp>
17 +
18 +        <!-- _DebugFileExt is not an upstream msbuild feature yet -->
19 +        <_DebugFileExt>.pdb</_DebugFileExt>
20 +        <_DebugFileExt Condition="'$(FscDebugFileExt)' != ''">$(FscDebugFileExt)</_DebugFileExt>
21 +
22 +        <DebugType Condition="'$(OS)' != 'Windows_NT' And ('$(DebugSymbols)'=='True' or ('$(DebugSymbols)'=='' And '$(_ConfigurationNameTmp)'=='Debug'))">portable</DebugType>
23 +        <DebugType Condition="'$(FscDebugType)' != ''">$(FscDebugType)</DebugType>
24      </PropertyGroup>
25  
26      <!--