# LTL Translator

OUTPUTFILE = ltl2smv
OFILES = parser.o l2s.o lexer.o
HFILES = l2s.h

CC = gcc
LINK = gcc
LINK_FLAGS = #-g
CCFLAGS = -c #-g
YACC = bison
YACC_FLAGS = -y -d
LEX = flex
LEX_FLAG = -l
RM = rm -f

all:	$(OUTPUTFILE)

$(OUTPUTFILE): $(OFILES) $(HFILES)
	echo Creating $(OUTPUTFILE)
	$(LINK) $(LINK_FLAGS) $(OFILES) -o $(OUTPUTFILE)

parser.o: yacc.y l2s.h
	echo Compiling parser.c into parser.o
	$(YACC) $(YACC_FLAGS) -o parser.c yacc.y
	$(CC) $(CCFLAGS)$  parser.c -o parser.o

lexer.o: lex.l l2s.h
	echo Compiling lexer.c into lexer.o
	$(LEX) $(LEX_FLAG) -olexer.c lex.l
	$(CC) $(CCFLAGS)$  lexer.c -o lexer.o
clean: 
	$(RM) *.o parser.c lexer.c parser.h $(OUTPUTFILE)
