diff options
Diffstat (limited to '')
| -rw-r--r-- | config.mk | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/config.mk b/config.mk new file mode 100644 index 0000000..e581aee --- /dev/null +++ b/config.mk @@ -0,0 +1,15 @@ +PREFIX = /usr/local +MANPREFIX = $(PREFIX)/share/man + +WARN = -pedantic -Wdouble-promotion -Wformat=2 -Winit-self -Wmissing-include-dirs \ + -Wtrampolines -Wfloat-equal -Wshadow -Wmissing-prototypes -Wmissing-declarations \ + -Wredundant-decls -Wnested-externs -Winline -Wno-variadic-macros -Wswitch-default \ + -Wpadded -Wsync-nand -Wunsafe-loop-optimizations -Wcast-align -Wstrict-overflow \ + -Wdeclaration-after-statement -Wundef -Wbad-function-cast -Wcast-qual -Wlogical-op \ + -Wstrict-prototypes -Wold-style-definition -Wpacked -Wvector-operation-performance \ + -Wunsuffixed-float-constants -Wsuggest-attribute=const -Wsuggest-attribute=noreturn \ + -Wsuggest-attribute=pure -Wsuggest-attribute=format -Wnormalized=nfkc + +CFLAGS = -std=c99 -Wall -Wextra $(WARN) -O3 +CPPFLAGS = +LDFLAGS = -s -lkeccak -largparser |