Makefile

@@ -10,9 +10,7 @@ DOXYGEN=doxygen
 CFLAGS=`pkg-config --cflags gtk4 epoxy glib-2.0 libxml-2.0`
 LDFLAGS=`pkg-config --libs gtk4 epoxy glib-2.0 libxml-2.0` -lGL -lGLU -lm -lepoxy -lX11 -lGLEW
 WARNINGS = -Wall
-DEBUG = -ggdb -fno-omit-frame-pointer \
-	-fdiagnostics-color=always \
-	-fsanitize=address,undefined -fstack-protector-strong
+DEBUG = -ggdb -fno-omit-frame-pointer #-fdiagnostics-color=always -fsanitize=bounds -fstack-check
 OPTIMIZE = -O3
 
 BINDIR=bin

manifest.scm

@@ -7,7 +7,6 @@
   (list
       "bash"
       "coreutils"
-      "doxygen"
       "gcc-toolchain"
       "pkg-config"
       "valgrind"