@@ -23,13 +23,14 @@ Copyright (C) Microsoft Corporation. All rights reserved.
2323
2424 <PropertyGroup >
2525<!-- FSharpTargetsDir is the directory where the targets file lives-->
26- <FSharpTargetsDir Condition =" '$(FSharpTargetsDir)'==''" >$(MSBuildExtensionsPath32)\FSharp\1.0\ </FSharpTargetsDir >
26+ <FSharpTargetsDir Condition =" '$(FSharpTargetsDir)'==''" >unused </FSharpTargetsDir >
2727<!-- FSharpTargetsFullPath is the full path (dir + filename) of the targets file-->
2828 <FSharpTargetsFullPath Condition =" '$(FSharpTargetsDir)'!=''" >$(FSharpTargetsDir)\Microsoft.FSharp.targets</FSharpTargetsFullPath >
2929 <MSBuildAllProjects >$(MSBuildAllProjects);$(FSharpTargetsFullPath)</MSBuildAllProjects >
3030 <DefaultLanguageSourceExtension >.fs</DefaultLanguageSourceExtension >
3131 <Language >F#</Language >
3232 <Tailcalls Condition =" '$(Tailcalls)'==''" >$(Optimize)</Tailcalls >
33+ <FrameworkRegistryBase Condition =" '$(TargetFrameworkIdentifier)'=='Silverlight'" >Software\Microsoft\Microsoft SDKs\$(TargetFrameworkIdentifier)</FrameworkRegistryBase >
3334<!-- Visual studio requires a non-empty RootNamespace value for "Add New Item" to work.-->
3435 <RootNamespace Condition =" '$(RootNamespace)'==''" >RootNamespace</RootNamespace >
3536 </PropertyGroup >
@@ -174,6 +175,7 @@ Copyright (C) Microsoft Corporation. All rights reserved.
174175ToolPath =" $(FscToolPath)"
175176TreatWarningsAsErrors =" $(TreatWarningsAsErrors)"
176177Utf8Output =" $(Utf8Output)"
178+ ValidateTypeProviders =" $(ValidateTypeProviders)"
177179VersionFile =" $(VersionFile)"
178180VisualStudioStyleErrors =" $(VisualStudioStyleErrors)"
179181WarningLevel =" $(WarningLevel)"