X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Makefile;h=de9051cfda92d7d75e1ef4e1b7fbaf6448a3d3e8;hb=70c3b7833efcbe08999f135201119f107259026a;hp=ef89c5a7e9d924ee97cf5560e32b5e29c5afeadb;hpb=3e5a49688722ea039dc6869003bc78531f666d4e;p=model-checker.git

diff --git a/Makefile b/Makefile
index ef89c5a..de9051c 100644
--- 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)