* src/Makefile: nothing

diff --git a/src/Makefile b/src/Makefile
index 750d6f09717e25503b1f6a40c6630c4d26bb98ef..871d02f41dab4750e80466e66f54574168a17e32 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -37,7 +37,8 @@ LFLAGS= -g -lm
 #CFLAGS= -g -DDEBUG 
 CFLAGS= -g 
 LFLAGSOPT= -O3 -lm
-CFLAGSOPT= -O3 
+#CFLAGSOPT= -O3 
+CFLAGSOPT= -O3 -g -DDEBUGPRAXS
 # LFLAGSOPT= -O2 -lm  # seems to be less effective than O3
 # CFLAGSOPT= -O2 
 CP= cp
@@ -81,7 +82,7 @@ CFLAGS= -g
 LFLAGS= -g -lm
 INLOPT= -I/usr/local/include
 LNLOPT= -lm -L/usr/local/lib -lnlopt
-CFLAGSOPT= -O3 -g
+CFLAGSOPT= -O3 -g -DDEBUGPRAXS
 LFLAGSOPT= -O3 -g -lm
 CROSSCOMPILATION= -DCROSS=0
 UNIX2DOS= unix2dos