Skip to content

Commit 5efe8cc

Browse files
author
kroening
committed
use full template
git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@2610 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
1 parent 9a2e763 commit 5efe8cc

File tree

3 files changed

+79
-16
lines changed

3 files changed

+79
-16
lines changed

‎scripts/generate_vcxproj

+2-16
Original file line numberDiff line numberDiff line change
@@ -7,21 +7,7 @@ echo Generating Visual Studio Project files in $dest
77
function doit {
88
echo Generating $dest/$1.vcxproj
99

10-
echo "<?xml version=\"1.0\" encoding=\"utf-8\"?>" > $dest/$1.vcxproj
11-
12-
echo -n "<Project DefaultTargets=\"Build\" ToolsVersion=\"4.0\"" >> $dest/$1.vcxproj
13-
echo " xmlns=\"http://schemas.microsoft.com/developer/msbuild/2003\">" >> $dest/$1.vcxproj
14-
15-
echo " <ItemGroup Label=\"ProjectConfigurations\">" >> $dest/$1.vcxproj
16-
echo " <ProjectConfiguration Include=\"Debug|Win32\">" >> $dest/$1.vcxproj
17-
echo " <Configuration>Debug</Configuration>" >> $dest/$1.vcxproj
18-
echo " <Platform>Win32</Platform>" >> $dest/$1.vcxproj
19-
echo " </ProjectConfiguration>" >> $dest/$1.vcxproj
20-
echo " <ProjectConfiguration Include=\"Release|Win32\">" >> $dest/$1.vcxproj
21-
echo " <Configuration>Release</Configuration>" >> $dest/$1.vcxproj
22-
echo " <Platform>Win32</Platform>" >> $dest/$1.vcxproj
23-
echo " </ProjectConfiguration>">> $dest/$1.vcxproj
24-
echo " </ItemGroup>" >> $dest/$1.vcxproj
10+
cat vcxproj.1 > $dest/$1.vcxproj
2511

2612
# this collects all the files needed
2713
echo " <ItemGroup>" >> $dest/$1.vcxproj
@@ -33,7 +19,7 @@ function doit {
3319
done
3420
echo " </ItemGroup>" >> $dest/$1.vcxproj
3521

36-
echo "</Project>" >> $dest/$1.vcxproj
22+
cat vcxproj.2 >> $dest/$1.vcxproj
3723
}
3824

3925
dirs="ansi-c cpp java_bytecode solvers goto-symex analyses pointer-analysis goto-programs linking cbmc"

‎scripts/vcxproj.1

+73
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,73 @@
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>{A183117E-485E-4E32-8A61-3CB7A2FC56F6}</ProjectGuid>
15+
<Keyword>Win32Proj</Keyword>
16+
<RootNamespace>cprover</RootNamespace>
17+
</PropertyGroup>
18+
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" />
19+
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
20+
<ConfigurationType>Application</ConfigurationType>
21+
<UseDebugLibraries>true</UseDebugLibraries>
22+
<CharacterSet>Unicode</CharacterSet>
23+
</PropertyGroup>
24+
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
25+
<ConfigurationType>Application</ConfigurationType>
26+
<UseDebugLibraries>false</UseDebugLibraries>
27+
<WholeProgramOptimization>true</WholeProgramOptimization>
28+
<CharacterSet>Unicode</CharacterSet>
29+
</PropertyGroup>
30+
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
31+
<ImportGroup Label="ExtensionSettings">
32+
</ImportGroup>
33+
<ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
34+
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
35+
</ImportGroup>
36+
<ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
37+
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
38+
</ImportGroup>
39+
<PropertyGroup Label="UserMacros" />
40+
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
41+
<LinkIncremental>true</LinkIncremental>
42+
</PropertyGroup>
43+
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
44+
<LinkIncremental>false</LinkIncremental>
45+
</PropertyGroup>
46+
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
47+
<ClCompile>
48+
<PrecompiledHeader>Use</PrecompiledHeader>
49+
<WarningLevel>Level3</WarningLevel>
50+
<Optimization>Disabled</Optimization>
51+
<PreprocessorDefinitions>WIN32;_DEBUG;_WINDOWS;%(PreprocessorDefinitions)</PreprocessorDefinitions>
52+
</ClCompile>
53+
<Link>
54+
<SubSystem>Windows</SubSystem>
55+
<GenerateDebugInformation>true</GenerateDebugInformation>
56+
</Link>
57+
</ItemDefinitionGroup>
58+
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
59+
<ClCompile>
60+
<WarningLevel>Level3</WarningLevel>
61+
<PrecompiledHeader>Use</PrecompiledHeader>
62+
<Optimization>MaxSpeed</Optimization>
63+
<FunctionLevelLinking>true</FunctionLevelLinking>
64+
<IntrinsicFunctions>true</IntrinsicFunctions>
65+
<PreprocessorDefinitions>WIN32;NDEBUG;_WINDOWS;%(PreprocessorDefinitions)</PreprocessorDefinitions>
66+
</ClCompile>
67+
<Link>
68+
<SubSystem>Windows</SubSystem>
69+
<GenerateDebugInformation>true</GenerateDebugInformation>
70+
<EnableCOMDATFolding>true</EnableCOMDATFolding>
71+
<OptimizeReferences>true</OptimizeReferences>
72+
</Link>
73+
</ItemDefinitionGroup>

‎scripts/vcxproj.2

+4
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
2+
<ImportGroup Label="ExtensionTargets">
3+
</ImportGroup>
4+
</Project>

0 commit comments

Comments
 (0)