diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-07-22 19:23:30 -0700 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-07-22 19:23:43 -0700 |
| commit | b35d6c05018a3d671e96820a7c51458cc9668ef5 (patch) | |
| tree | 19195e734db4786b9f5afeb52d9af204ea56205b /math/eprover/files/patch-Makefile.vars | |
| parent | sysutils/py-azure-cli: Update to 2.50.0 (diff) | |
math/eprover: Update 2.0 → 2.6
Diffstat (limited to 'math/eprover/files/patch-Makefile.vars')
| -rw-r--r-- | math/eprover/files/patch-Makefile.vars | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/math/eprover/files/patch-Makefile.vars b/math/eprover/files/patch-Makefile.vars index fa864acda681..8fa9df18e9d3 100644 --- a/math/eprover/files/patch-Makefile.vars +++ b/math/eprover/files/patch-Makefile.vars @@ -1,11 +1,13 @@ ---- Makefile.vars.orig 2017-07-07 12:35:57 UTC +--- Makefile.vars.orig 2021-06-22 23:43:03 UTC +++ Makefile.vars -@@ -134,17 +134,17 @@ PROFFLAGS = # -pg +@@ -138,14 +138,14 @@ PROFFLAGS = # -pg DEBUGGER = # -g -ggdb LTOFLAGS = # -flto WFLAGS = -Wall --OPTFLAGS = -O3 -fomit-frame-pointer -fno-common -+OPTFLAGS = +-OPTFLAGS = -O03 -fomit-frame-pointer -fno-common ++OPTFLAGS = #-O03 -fomit-frame-pointer -fno-common + #OPTFLAGS = -O03 -fno-common + EHOH = DEBUGFLAGS = $(PROFFLAGS) $(MEMDEBUG) $(DEBUGGER) $(NODEBUG) @@ -16,9 +18,3 @@ LD = $(CC) $(LDFLAGS) # Generic - AR = ar rcs -- CC = gcc -+ CC ?= gcc - - # Builds with link time optimization - # |