EXTRA_DIST = vdm.lex vdm.y
YFLAGS = --defines --name-prefix=vdm --raw --debug --verbose
LFLAGS = -Pvdm
LIBS = -lfl

all: test-vdm

test-vdm: vdm.tab.o lex.vdm.o
	$(CC) -o test.vdm vdm.tab.o lex.vdm.o $(LIBS)

vdm.tab.o: vdm.tab.c
	$(CC) -c vdm.tab.c

lex.vdm.o: lex.vdm.c vdm.tab.h
	$(CC) -c lex.vdm.c


vdm.tab.c: vdm.y
	bison $(YFLAGS) vdm.y

vdm.tab.h: vdm.tab.c

lex.vdm.c: vdm.lex
	flex $(LFLAGS) vdm.lex