From 9a2e763ab61609dd4bd45cd2c4a5d99eeec58749 Mon Sep 17 00:00:00 2001
From: kroening <kroening@6afb6bc1-c8e4-404c-8f48-9ae832c5b171>
Date: Sun, 16 Jun 2013 12:09:31 +0000
Subject: [PATCH] more project XML

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@2609 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
---
 scripts/generate_vcxproj | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/scripts/generate_vcxproj b/scripts/generate_vcxproj
index e4d7c3b782..03e46bde38 100755
--- a/scripts/generate_vcxproj
+++ b/scripts/generate_vcxproj
@@ -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