diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..0ff5c08 --- /dev/null +++ b/Makefile @@ -0,0 +1,19 @@ +CFLAGS=-std=gnu11 -Wall -Wextra -Wpedantic -Og -g -D_DEFAULT_SOURCE \ + -fsanitize=undefined -fsanitize=address +LDFLAGS=-fsanitize=undefined -fsanitize=address + +ALL=bench + +all: $(ALL) + +bench: bench.o cached.o + +clean: + $(RM) $(ALL) *.o + +.PHONY: all check clean format + +check: + cppcheck --enable=all --std=c11 *.[ch] +format: + clang-format -i *.[ch] |