From c51c96bd5754c3fc44f9cd29662ba7e94332f1cb Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 19 Feb 2010 07:22:06 +0000
Subject: [PATCH] Makefile tweak: Debug symbols off by default.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1750 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 cudd/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cudd/Makefile b/cudd/Makefile
index e6961528..fa705f16 100644
--- a/cudd/Makefile
+++ b/cudd/Makefile
@@ -52,7 +52,8 @@ RANLIB	= ranlib
 #ICFLAGS	= -g -O6 -Wall
 #ICFLAGS	= -g -O6
 #ICFLAGS	= -g -O3 -Wall
-ICFLAGS	= -g -O3
+#ICFLAGS	= -g -O3
+ICFLAGS	= -O3
 
 # Use XCFLAGS to specify machine-dependent compilation flags.
 # For some platforms no special flags are needed.