From 958c27bcd5bf1db684b07e2688c9b3360fe671eb Mon Sep 17 00:00:00 2001 From: nbrouard Date: Sun, 13 Oct 2024 16:27:59 +0200 Subject: [PATCH] * src/Makefile: nothing --- src/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/Makefile b/src/Makefile index 750d6f0..871d02f 100644 --- 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 -- 2.43.0