BDDINCLUDE = $(HOME)/include
BDDLIB = $(HOME)/lib
GCC = gcc
LEX= flex -l

INCLUDEDIRS = -I. -I$(BDDINCLUDE)

gccwarnings = -Wall -Wpointer-arith -Wconversion -Wstrict-prototypes

#GCCFLAGS = -ggdb $(gccwarnings) $(INCLUDEDIRS) -DBLACKWHITE
GCCFLAGS = -ggdb $(gccwarnings) $(INCLUDEDIRS)

CFLAGS = -g $(INCLUDEDIRS)

LEXLIB= -lfl

LIBS = $(LEXLIB) -lmem -lbdd

LIBDIRS = -L$(BDDLIB)

sources = \
  prog.c \
  whilelan.c

objects = \
  prog.o \
  whilelan.o

all: prog.o whilelan.o
	$(GCC) -o iflowprog prog.o whilelan.o $(LIBDIRS) $(LIBS)

whilelan.o: whilelan.c
	$(GCC) -c $(GCCFLAGS) whilelan.c

prog.o: prog.c
	$(GCC) -c $(GCCFLAGS) prog.c

whilelan.c: whilelan.l
	$(LEX) -owhilelan.c whilelan.l

clean:
	rm prog.o whilelan.o whilelan.c iflowprog *~
