1 commit 26e3e557e25b0ba5103dfb683050d2435f7708bb
2 Author: Ankit Jain <ankit.jain@xamarin.com>
3 Date: Wed Feb 8 18:44:41 2017 -0500
5 [msbuild] Add support for .mdb files to be copied, with mono's msbuild
7 msbuild defaults to .pdb files as the default debug file extension.
8 Mono's msbuild has `$(_DebugFileExt)` property to override this. We need
9 to set that to `.mdb`, else the generated `.mdb` files won't get
12 But this feature is not upstream yet, so it is not present in upstream
15 diff --git a/src/fsharp/FSharp.Build/Microsoft.FSharp.targets b/src/fsharp/FSharp.Build/Microsoft.FSharp.targets
16 index 82125d2..e7ddac2 100644
17 --- a/src/fsharp/FSharp.Build/Microsoft.FSharp.targets
18 +++ b/src/fsharp/FSharp.Build/Microsoft.FSharp.targets
19 @@ -40,6 +40,10 @@ Copyright (C) Microsoft Corporation. Apache 2.0 License.
20 <RootNamespace Condition="'$(RootNamespace)'==''">RootNamespace</RootNamespace>
21 <Actual32Bit Condition="'$(TargetFrameworkVersion)'=='v2.0' or '$(TargetFrameworkVersion)'=='v3.0' or '$(TargetFrameworkVersion)'=='v3.5' or '$(TargetFrameworkVersion)'=='v4.0'">false</Actual32Bit>
22 <Actual32Bit Condition="!('$(TargetFrameworkVersion)'=='v2.0' or '$(TargetFrameworkVersion)'=='v3.0' or '$(TargetFrameworkVersion)'=='v3.5' or '$(TargetFrameworkVersion)'=='v4.0')">$(Prefer32Bit)</Actual32Bit>
24 + <!-- _DebugFileExt is not an upstream msbuild feature yet -->
25 + <_DebugFileExt Condition="'$(FscDebugFileExt)' != ''">$(FscDebugFileExt)</_DebugFileExt>
26 + <_DebugFileExt Condition="'$(_DebugFileExt)' == ''">.mdb</_DebugFileExt>