@@ -30,9 +30,27 @@ WARNING: DO NOT MODIFY this file unless you are knowledgeable about MSBuild and
3030 </Choose >
3131
3232 <PropertyGroup >
33- <WarningLevel Condition =" '$(WarningLevel)' == ''" >3</WarningLevel >
3433 <EnableDefaultCompileItems Condition =" '$(EnableDefaultCompileItems)' == ''" >false</EnableDefaultCompileItems ><!-- - Do not glob F# source files-->
34+ <EnableDefaultNoneItems Condition =" '$(EnableDefaultNoneItems)' == ''" >false</EnableDefaultNoneItems >
35+ </PropertyGroup >
36+
37+ <PropertyGroup >
3538 <DefaultProjectTypeGuid Condition =" '$(DefaultProjectTypeGuid)' == ''" >{F2A71F9B-5D33-465A-A702-920D77279786}</DefaultProjectTypeGuid ><!-- F# project type-->
39+ <Prefer32Bit Condition =" '$(Prefer32Bit)' == ''" >false</Prefer32Bit >
40+ <Tailcalls Condition =" '$(Tailcalls)' == ''" >true</Tailcalls >
41+ <TreatWarningsAsErrors Condition =" '$(TreatWarningsAsErrors)' == ''" >false</TreatWarningsAsErrors >
42+ <WarningLevel Condition =" '$(WarningLevel)' == ''" >3</WarningLevel >
43+ <WarningsAsErrors Condition =" '$(WarningsAsErrors)' == ''" />
44+ </PropertyGroup >
45+
46+ <PropertyGroup Condition =" '$(Configuration)' == 'Debug'" >
47+ <DebugSymbols Condition =" '$(DebugSymbols)' == ''" >true</DebugSymbols >
48+ <Optimize Condition =" '$(Optimize)' == ''" >false</Optimize >
49+ </PropertyGroup >
50+
51+ <PropertyGroup Condition =" '$(Configuration)' == 'Release'" >
52+ <DebugSymbols Condition =" '$(DebugSymbols)' == ''" >false</DebugSymbols >
53+ <Optimize Condition =" '$(Optimize)' == ''" >true</Optimize >
3654 </PropertyGroup >
3755
3856 <PropertyGroup Condition =" '$(OS)' != 'Unix' and Exists('$(MSBuildThisFileDirectory)\RunFsc.cmd')" >