From: Jack Lange <jarusl@cs.northwestern.edu>
Date: Fri, 21 Jan 2011 23:46:51 +0000 (-0600)
Subject: added option to include debugging symbols in palacios library
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=15dbc69e8f6cfe2821125700d5fb95f588a403a5

added option to include debugging symbols in palacios library
---

diff --git a/Kconfig b/Kconfig
index 6485d75..3cb3f70 100644
--- a/Kconfig
+++ b/Kconfig
@@ -57,6 +57,13 @@ config VMX
 	  Compile with support for Intel VMX
 
 
+config DEBUG_INFO
+	bool "Compile with Debug Information"
+	default n
+	help
+	  Compiles the Palacios library with debugging symbols
+
+
 menu "Supported host OS features"
       
 config MULTITHREAD_OS
diff --git a/Makefile b/Makefile
index f0df92c..3450def 100644
--- a/Makefile
+++ b/Makefile
@@ -181,7 +181,7 @@ CONFIG_SHELL := $(shell if [ -x "$$BASH" ]; then echo $$BASH; \
 
 HOSTCC  	= gcc
 HOSTCXX  	= g++
-HOSTCFLAGS	= -Wall -Wstrict-prototypes -O2 -fomit-frame-pointer \
+HOSTCFLAGS	= -Wall -Wstrict-prototypes  -fomit-frame-pointer \
 			-Wno-unused -Wno-format-security -U_FORTIFY_SOURCE
 HOSTCXXFLAGS	= -O2
 
@@ -298,7 +298,7 @@ V3_INCLUDE      := -Ipalacios/include \
 
 CPPFLAGS        := $(V3_INCLUDE) -D__V3VEE__
 
-CFLAGS 		:=  -fno-stack-protector -Wall -O -Werror -fPIC -mno-red-zone -fno-common
+CFLAGS 		:=  -fno-stack-protector -Wall -Werror -fPIC -mno-red-zone -fno-common
 
 LDFLAGS         := --whole-archive 
 
@@ -479,6 +479,8 @@ endif
 
 ifdef CONFIG_DEBUG_INFO
 CFLAGS		+= -g
+else 
+CFLAGS          += -O2
 endif