Makefile tweak: Debug symbols off by default.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1750 bbc10eb1-c90d-0410-af57-cb519fbb1720
16 years ago · c51c96bd57
1 changed files with 2 additions and 1 deletions
--- 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.