diff options
Diffstat (limited to '')
| -rw-r--r-- | optimised.mk | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/optimised.mk b/optimised.mk new file mode 100644 index 0000000..3891e85 --- /dev/null +++ b/optimised.mk @@ -0,0 +1,13 @@ +PREFIX = /usr/local +MANPREFIX = $(PREFIX)/share/man + +# These have not been extensively tested but appear to: +# * Produce false warnings +# * Slowdown the library's performance +# -flto -flto-compression-level -flto-partition={1to1,balanced,mix,none} -flto-report -flto-report-wpa -fwpa +CCOPTIMISE = -falign-functions=0 -fkeep-inline-functions -fmerge-all-constants -Ofast +LDOPTIMISE = -s + +CFLAGS = -std=c99 -Wall -Wextra $(CCOPTIMISE) +CPPFLAGS = -D_DEFAULT_SOURCE -D_BSD_SOURCE -D_XOPEN_SOURCE=700 +LDFLAGS = $(LDOPTIMISE) |