vc10_test_total_icl_quantifier.vcxproj 5.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104
  1. <?xml version="1.0" encoding="utf-8"?>
  2. <Project DefaultTargets="Build" ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
  3. <ItemGroup Label="ProjectConfigurations">
  4. <ProjectConfiguration Include="Debug|Win32">
  5. <Configuration>Debug</Configuration>
  6. <Platform>Win32</Platform>
  7. </ProjectConfiguration>
  8. <ProjectConfiguration Include="Release|Win32">
  9. <Configuration>Release</Configuration>
  10. <Platform>Win32</Platform>
  11. </ProjectConfiguration>
  12. </ItemGroup>
  13. <PropertyGroup Label="Globals">
  14. <ProjectGuid>{EE61B7EF-EC45-4165-8B5B-FD5B7D5A9F9F}</ProjectGuid>
  15. <RootNamespace>Test_total_icl_quantifier</RootNamespace>
  16. <Keyword>Win32Proj</Keyword>
  17. </PropertyGroup>
  18. <Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" />
  19. <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
  20. <ConfigurationType>Application</ConfigurationType>
  21. <CharacterSet>Unicode</CharacterSet>
  22. <WholeProgramOptimization>true</WholeProgramOptimization>
  23. </PropertyGroup>
  24. <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
  25. <ConfigurationType>Application</ConfigurationType>
  26. <CharacterSet>Unicode</CharacterSet>
  27. </PropertyGroup>
  28. <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
  29. <ImportGroup Label="ExtensionSettings">
  30. </ImportGroup>
  31. <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="PropertySheets">
  32. <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
  33. </ImportGroup>
  34. <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="PropertySheets">
  35. <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
  36. </ImportGroup>
  37. <PropertyGroup Label="UserMacros" />
  38. <PropertyGroup>
  39. <_ProjectFileVersion>10.0.30319.1</_ProjectFileVersion>
  40. <OutDir Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">../../../../bin/debug/\</OutDir>
  41. <IntDir Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">../../../../bin/obj/$(ProjectName)/debug/\</IntDir>
  42. <LinkIncremental Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">true</LinkIncremental>
  43. <OutDir Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">../../../../bin/release/\</OutDir>
  44. <IntDir Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">../../../../bin/obj/$(ProjectName)/release/\</IntDir>
  45. <LinkIncremental Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">false</LinkIncremental>
  46. </PropertyGroup>
  47. <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
  48. <ClCompile>
  49. <AdditionalOptions>/bigobj %(AdditionalOptions)</AdditionalOptions>
  50. <Optimization>Disabled</Optimization>
  51. <AdditionalIncludeDirectories>../../../../;%(AdditionalIncludeDirectories)</AdditionalIncludeDirectories>
  52. <PreprocessorDefinitions>WIN32;_DEBUG;_CONSOLE;%(PreprocessorDefinitions)</PreprocessorDefinitions>
  53. <MinimalRebuild>true</MinimalRebuild>
  54. <BasicRuntimeChecks>EnableFastChecks</BasicRuntimeChecks>
  55. <RuntimeLibrary>MultiThreadedDebugDLL</RuntimeLibrary>
  56. <PrecompiledHeader>
  57. </PrecompiledHeader>
  58. <WarningLevel>Level3</WarningLevel>
  59. <DebugInformationFormat>EditAndContinue</DebugInformationFormat>
  60. </ClCompile>
  61. <Link>
  62. <OutputFile>../../../../bin/debug/$(ProjectName).exe</OutputFile>
  63. <AdditionalLibraryDirectories>../../../../lib; ../../../../stage/lib;%(AdditionalLibraryDirectories)</AdditionalLibraryDirectories>
  64. <GenerateDebugInformation>true</GenerateDebugInformation>
  65. <SubSystem>Console</SubSystem>
  66. <RandomizedBaseAddress>false</RandomizedBaseAddress>
  67. <DataExecutionPrevention>
  68. </DataExecutionPrevention>
  69. <TargetMachine>MachineX86</TargetMachine>
  70. </Link>
  71. </ItemDefinitionGroup>
  72. <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
  73. <ClCompile>
  74. <AdditionalIncludeDirectories>../../../../;%(AdditionalIncludeDirectories)</AdditionalIncludeDirectories>
  75. <PreprocessorDefinitions>WIN32;NDEBUG;_CONSOLE;%(PreprocessorDefinitions)</PreprocessorDefinitions>
  76. <RuntimeLibrary>MultiThreadedDLL</RuntimeLibrary>
  77. <PrecompiledHeader>
  78. </PrecompiledHeader>
  79. <WarningLevel>Level4</WarningLevel>
  80. <DebugInformationFormat>ProgramDatabase</DebugInformationFormat>
  81. </ClCompile>
  82. <Link>
  83. <OutputFile>../../../../bin/release/$(ProjectName).exe</OutputFile>
  84. <AdditionalLibraryDirectories>../../../../lib; ../../../../stage/lib;%(AdditionalLibraryDirectories)</AdditionalLibraryDirectories>
  85. <GenerateDebugInformation>true</GenerateDebugInformation>
  86. <SubSystem>Console</SubSystem>
  87. <OptimizeReferences>true</OptimizeReferences>
  88. <EnableCOMDATFolding>true</EnableCOMDATFolding>
  89. <RandomizedBaseAddress>false</RandomizedBaseAddress>
  90. <DataExecutionPrevention>
  91. </DataExecutionPrevention>
  92. <TargetMachine>MachineX86</TargetMachine>
  93. </Link>
  94. </ItemDefinitionGroup>
  95. <ItemGroup>
  96. <ClCompile Include="test_total_icl_quantifier.cpp" />
  97. </ItemGroup>
  98. <ItemGroup>
  99. <ClInclude Include="..\test_type_lists.hpp" />
  100. </ItemGroup>
  101. <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
  102. <ImportGroup Label="ExtensionTargets">
  103. </ImportGroup>
  104. </Project>