replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

more project XML 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@2609 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2013-06-16 12:09:31 +00:00
parent 331f86bfc2
commit 9a2e763ab6
1 changed files with 14 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
scripts/generate_vcxproj
View File

@ -8,15 +8,27 @@ function doit {
echo Generating $dest/$1.vcxproj
echo "<?xml version=\"1.0\" encoding=\"utf-8\"?>" > $dest/$1.vcxproj
echo -n "<Project DefaultTargets=\"Build\" ToolsVersion=\"4.0\"" >> $dest/$1.vcxproj
echo "xmlns=\"http://schemas.microsoft.com/developer/msbuild/2003\">" >> $dest/$1.vcxproj
echo " xmlns=\"http://schemas.microsoft.com/developer/msbuild/2003\">" >> $dest/$1.vcxproj
echo " <ItemGroup Label=\"ProjectConfigurations\">" >> $dest/$1.vcxproj
echo " <ProjectConfiguration Include=\"Debug|Win32\">" >> $dest/$1.vcxproj
echo " <Configuration>Debug</Configuration>" >> $dest/$1.vcxproj
echo " <Platform>Win32</Platform>" >> $dest/$1.vcxproj
echo " </ProjectConfiguration>" >> $dest/$1.vcxproj
echo " <ProjectConfiguration Include=\"Release|Win32\">" >> $dest/$1.vcxproj
echo " <Configuration>Release</Configuration>" >> $dest/$1.vcxproj
echo " <Platform>Win32</Platform>" >> $dest/$1.vcxproj
echo " </ProjectConfiguration>">> $dest/$1.vcxproj
echo " </ItemGroup>" >> $dest/$1.vcxproj
# this collects all the files needed
echo " <ItemGroup>" >> $dest/$1.vcxproj
for dir in $dirs ; do
sources="`(cd $dest/$dir; make sources)`"
for s in $sources ; do
echo " <ClCompile Include=\"${s}\"/>" >> $dest/$1.vcxproj
echo " <ClCompile Include=\"${dir}\\${s}\"/>" >> $dest/$1.vcxproj
done
done
echo " </ItemGroup>" >> $dest/$1.vcxproj