Makefile: add 'make debug'

[model-checker.git] / Makefile

diff --git a/Makefile b/Makefile
index ef89c5a7e9d924ee97cf5560e32b5e29c5afeadb..de9051cfda92d7d75e1ef4e1b7fbaf6448a3d3e8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -21,6 +21,9 @@ LDFLAGS=-ldl -lrt
 
 all: $(BIN)
 
+debug: CPPFLAGS += -DCONFIG_DEBUG
+debug: all
+
 $(BIN): $(USER_O) $(LIB_SO)
        $(CXX) -o $(BIN) $(USER_O) -L. -l$(LIB_NAME)