#********************************************************************#
#* Copyright Burkhard Graves, PEP project, University of Hildesheim *#
#* See: http://www.informatik.uni-hildesheim.de/~pep/HomePage.html  *#
#********************************************************************#

#****************************************************************#
#*  Makefile fuer den Model-Checker (2)                         *#
#****************************************************************#

LIBS =
LFLAGS =
LDFLAGS =
YFLAGS = -vdl

#CC = cc
#CFLAGS = -g -Xc
#CFLAGS = -Xc -O

CC = gcc
CFLAGS = -g -Wall
#CFLAGS = -O2 -Wall

DEST = mm

OBJECTS = basic_lf.o\
	l1_mc.o\
	l2_mc.o\
	list.o\
	main.o\
	mca.o\
	normal.o\
	occ_net.o\
	relation.o\
	scanner.o\
	set.o\
	tree.o\
	y_tab.o

main all: $(OBJECTS)
	$(CC) -o $(DEST) $(LDFLAGS) $(OBJECTS) $(LIBS)

.o: .c

y_tab.c y_tab.h : mc.y main.h scanner.h tree.h
		  $(YACC) $(YFLAGS) mc.y
		  mv y.tab.h y_tab.h
		  mv y.tab.c y_tab.c

basic_lf.c	: basic_lf.h mca.h  y_tab.h
l1_mc.c		: l1_mc.h basic_lf.h mca.h y_tab.h
l2_mc.c		: l2_mc.h basic_lf.h mca.h y_tab.h relation.h
list.c		: list.h
main.c		: mca.h normal.h y_tab.h
mca.c		: mca.h l1_mc.h l2_mc.h relation.h y_tab.h
normal.c	: normal.h y_tab.h
occ_net.c	: occ_net.h mca.h
relation.c	: relation.h mca.h
scanner.c	: scanner.h occ_net.h tree.h y_tab.h
set.c		: set.h
tree.c		: occ_net.h tree.h y_tab.h

basic_lf.h	: main.h list.h occ_net.h set.h tree.h
l1_mc.h		: main.h list.h set.h tree.h
l2_mc.h		: main.h list.h set.h tree.h
list.h		: main.h set.h
mca.h		: main.h list.h set.h tree.h occ_net.h
normal.h	: main.h tree.h
occ_net.h	: main.h list.h set.h
relation.h	: main.h set.h
scanner.h	: main.h
set.h		: main.h
tree.h		: main.h

clean:
	-rm -f *.o $(DEST) core a.out y_tab.[ch] y.output tags

tags:
	ctags *.[hc]

install:
	cp $(DEST) /home/inft/graves/pep/ptool/xmm

#****************************************************************#
#* END OF FILE Makefile                                          #
#****************************************************************#
