Development build flags

2018-02-10 12:49:56 +00:00
parent 1213321c3b
commit 387aad0bd2
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@@ -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