From ae01b785633a3ee2e17c182cc0b385d1c426a2fc Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sat, 17 Feb 2018 16:54:57 +0000
Subject: [PATCH] Silencing flex-related warnings

---
 Makefile | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 01a270c..5a7fa4f 100644
--- a/Makefile
+++ b/Makefile
@@ -2,8 +2,11 @@ CC = g++
 CUDD_PATH = cudd
 CUDD_INCLUDE=cudd/lib/libcudd.a
 INCLUDES=-Icudd/include
-CPPFLAGS = -Wall $(INCLUDES) #-Werror
-CPPFLAGS = -Wall -DNDEBUG
+CPPFLAGS_SILENT = $(INCLUDES)
+CPPFLAGS = -Wall $(CPPFLAGS_SILENT) #-Werror
+#CPPFLAGS = -Wall $(INCLUDES) -DNDEBUG 
+CXXFLAGS_SILENT = -O3 -g
+CXXFLAGS = -std=c++14 $(CXXFLAGS_SILENT)
 #CXXFLAGS = -std=c++14 -O3 -DPUBLIC_RELEASE -DNDEBUG #-g
 LDLIBS = $(CUDD_INCLUDE) 
 
@@ -33,6 +36,9 @@ rsin_parser.cc: rsin_parser.yy
 
 rsin_parser.o: rsin_parser.cc
 
+rsin_parser.lex.o: rsin_parser.lex.cc
+	$(CC) $(CXXFLAGS_SILENT) $(CPPFLAGS_SILENT) -c -o $@ rsin_parser.lex.cc
+
 rsin_parser.lex.cc: rsin_parser.ll
 	flex rsin_parser.ll
 	mv lex.yy.c rsin_parser.lex.cc