diff --git a/Makefile b/Makefile index c936396..01a270c 100644 --- a/Makefile +++ b/Makefile @@ -3,8 +3,8 @@ CUDD_PATH = cudd CUDD_INCLUDE=cudd/lib/libcudd.a INCLUDES=-Icudd/include CPPFLAGS = -Wall $(INCLUDES) #-Werror -#CPPFLAGS = -Wall -DNDEBUG -CXXFLAGS = -std=c++14 -O3 -DPUBLIC_RELEASE -DNDEBUG #-g +CPPFLAGS = -Wall -DNDEBUG +#CXXFLAGS = -std=c++14 -O3 -DPUBLIC_RELEASE -DNDEBUG #-g LDLIBS = $(CUDD_INCLUDE) OBJ = rs.o symrs.o mc.o rsin_driver.o rsin_parser.o rsin_parser.lex.o formrsctl.o