websites: remove .page nav style

[factor.git] / GNUmakefile

diff --git a/GNUmakefile b/GNUmakefile
index 8f1548cec49a65d677c7fe88d8636d43f306bda3..bad078a8859eb2b0265320d2c2b60acd0a948609 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -19,6 +19,7 @@ ifdef CONFIG
        include $(CONFIG)
 
        CFLAGS += -Wall \
+               -Wextra \
                -pedantic \
                -DFACTOR_VERSION="$(VERSION)" \
                -DFACTOR_GIT_LABEL="$(GIT_LABEL)" \
@@ -26,6 +27,13 @@ ifdef CONFIG
 
        CXXFLAGS += -std=c++11
 
+       # SANITIZER=address ./build.sh compile
+       # address,thread,undefined,leak
+       ifdef SANITIZER
+               CFLAGS += -fsanitize=$(SANITIZER)
+               CXXFLAGS += -fsanitize=$(SANITIZER)
+       endif
+
        ifneq ($(DEBUG), 0)
                CFLAGS += -g -DFACTOR_DEBUG
        else
@@ -223,7 +231,7 @@ macosx.app: factor
        mkdir -p $(BUNDLE)/Contents/MacOS
        mkdir -p $(BUNDLE)/Contents/Frameworks
        mv $(EXECUTABLE) $(BUNDLE)/Contents/MacOS/factor
-       ln -s Factor.app/Contents/MacOS/factor ./factor
+       ln -s $(BUNDLE)/Contents/MacOS/factor ./factor
 
 $(ENGINE): $(DLL_OBJS)
        $(TOOLCHAIN_PREFIX)$(LINKER) $(ENGINE) $(DLL_OBJS)