diff options
Diffstat (limited to 'www/quark/files/patch-config.mk')
| -rw-r--r-- | www/quark/files/patch-config.mk | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/www/quark/files/patch-config.mk b/www/quark/files/patch-config.mk new file mode 100644 index 000000000000..d039948f7da5 --- /dev/null +++ b/www/quark/files/patch-config.mk @@ -0,0 +1,19 @@ +--- config.mk.orig 2018-03-05 09:24:46 UTC ++++ config.mk +@@ -5,12 +5,11 @@ VERSION = 0 + + # paths + PREFIX = /usr/local +-MANPREFIX = $(PREFIX)/share/man ++MANPREFIX = $(PREFIX)/man + + # flags +-CPPFLAGS = -DVERSION=\"$(VERSION)\" -D_DEFAULT_SOURCE -D_XOPEN_SOURCE=700 -D_BSD_SOURCE +-CFLAGS = -std=c99 -pedantic -Wall -Wextra -Os +-LDFLAGS = -s ++CPPFLAGS += -DVERSION=\"$(VERSION)\" -D_DEFAULT_SOURCE -D_XOPEN_SOURCE=700 -D_BSD_SOURCE ++CFLAGS += -std=c99 -pedantic -Wall -Wextra + + # compiler and linker +-CC = cc ++CC ?= cc |