summaryrefslogtreecommitdiff
path: root/math/eprover/files/patch-Makefile.vars
blob: 8fa9df18e9d3796765fe4e4044acc19bd39f7f55 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
--- Makefile.vars.orig	2021-06-22 23:43:03 UTC
+++ Makefile.vars
@@ -138,14 +138,14 @@ PROFFLAGS  = # -pg
 DEBUGGER   = # -g -ggdb
 LTOFLAGS   = # -flto
 WFLAGS     = -Wall
-OPTFLAGS   = -O03 -fomit-frame-pointer -fno-common
+OPTFLAGS   = #-O03 -fomit-frame-pointer -fno-common
 #OPTFLAGS   = -O03 -fno-common
 EHOH       =
 
 
 DEBUGFLAGS = $(PROFFLAGS) $(MEMDEBUG) $(DEBUGGER) $(NODEBUG)
-CFLAGS     = $(OPTFLAGS) $(LTOFLAGS) $(WFLAGS) $(DEBUGFLAGS) $(BUILDFLAGS) -std=gnu99 -I../include
-LDFLAGS    = $(OPTFLAGS) $(LTOFLAGS) $(PROFFLAGS) $(DEBUGGER)
+CFLAGS     += $(OPTFLAGS) $(LTOFLAGS) $(WFLAGS) $(DEBUGFLAGS) $(BUILDFLAGS) -std=gnu99 -I../include
+LDFLAGS    += $(OPTFLAGS) $(LTOFLAGS) $(PROFFLAGS) $(DEBUGGER)
 LD         = $(CC) $(LDFLAGS)
 
 # Generic