#CC      =/local/usr/local/bin/g++
CC	=/usr/bin/g++
FLAGS = -g -O3 -Wall -D_DEBUG -DAUTOMATON_STATS -DTIMING \
        -D_DEBUG_IR2MONITOR \
	-D_DEBUG_FRONT_DET_ASSIGN_ALPHABETIZED_SWITCH \
	-D_DEBUG_TRANS_RELABELER


CUSTOM_LOCAL = /projects/vardi/usr/local
TLM_HOME = /projects/vardi/src/TLM-2005-04-08/tlm

## Include directories
INCLUDE_DIRS = 	$(CUSTOM_LOCAL)/include \
		$(CUSTOM_LOCAL)/include/spot \
		./ \
		../
INCDIR = $(INCLUDE_DIRS:%=-I %)

## Library directories
LIBRARY_DIRS =	$(CUSTOM_LOCAL)/lib 

LIBDIR = $(LIBRARY_DIRS:%=-L %)

## Other static libraries
LIB_OTHERS = 

LIBS = $(LIBDIR) $(LIB_OTHERS)

CFLAGS = $(FLAGS) $(INCDIR)

## Example .cc files
SRCS = $(wildcard ./*.cc )
HDRS = $(wildcard ./*.h  )
OBJS = 

VISITOR_OBJ = lbt_format.o \
	ir2monitor.o \
	ir2det_monitor.o\
	trans_relabeler.o \
	ir_state_trans_counter.o \
	front_nondeterministic.o \
	front_det_assign_alphabetized_switch.o \
	front_det_assign_alphabetized_ifelse.o \
	back_nondeterministic.o \
	back_assign_alphabetized.o \
	front_det_assign_alphabetized_table.o \
	front_det_assign_alphabetized_explicit_table.o

all:	$(VISITOR_OBJ) 


.o: Makefile $(HDRS)
main.o: main.cc $(HDRS) Makefile

etags:
	find . -name "*.cc" -exec etags \{\} \;
	find . -name "*.h" -exec etags -a \{\} \;
	find . -name "*.c" -exec etags -a \{\} \;

check:
	@echo $(HDRS)



#&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
#Standard Makefile stuff

.cpp.o:
	$(CC) $(CFLAGS) -c $< 

.c.o: 
	$(CC) $(CFLAGS) $(CPPFLAGS) -c $<

.cc.o:	
	$(CC) $(CFLAGS) -c $< -o $@




clean:	
	$(REMOVE)

distclean: clean
	/bin/rm -f \#* *.ii *.s

lint:
	lint *.c

REMOVE = /bin/rm -f *~ .*~ *.BAK .*.BAK *.o logfile mm

#Standard Makefile stuff
#&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
