SRC = smv_language.cpp smv_parser.cpp smv_typecheck.cpp expr2smv.cpp
OBJ = smv_language.o smv_parser.o smv_typecheck.o expr2smv.o \
      y.tab.o lex.yy.o

INCLUDES= -I .. -I ../util

all: smvlang.o dummy.o

include ../config.inc
include ../common

###############################################################################

smvlang.o: $(OBJ)
	$(LD) -r -o smvlang.o $(OBJ)

YACC=bison -y
YFLAGS= -v
LEX=flex

y.tab.cpp: parser.y
	$(YACC) $(YFLAGS) $$flags -pyysmv -d parser.y -o y.tab.cpp

y.tab.h: y.tab.cpp
	mv y.tab.cpp.h y.tab.h

lex.yy.cpp: scanner.l
	$(LEX) -Pyysmv -olex.yy.cpp scanner.l

y.tab.o: y.tab.cpp y.tab.h
	$(CPLUS) -c $(CPLUSFLAGS) y.tab.cpp

lex.yy.o: y.tab.cpp lex.yy.cpp y.tab.h
	$(CPLUS) -c $(CPLUSFLAGS) lex.yy.cpp

clean:
	rm -f $(OBJ) *.o y.tab.h y.tab.cpp lex.yy.cpp y.tab.cpp.output
