
BISIMOBJ = bisim.o transsystem.o nclassbisimtest.o classarray.o combqueue.o
BISIMSRCS = $(BISIMOBJ:.o=.c)
BISIMHDRS = array.h  bisimtest.h  queue.h  transsystem.h

CFLAGS = -O

all: bisim

bisim: $(BISIMOBJ)
	$(CC) $(CFLAGS) -o bisim $(BISIMOBJ)

depend: $(BISIMSRCS)
	makedepend -- $(CFLAGS) -- $(BISIMSRCS)

install:: bisim
	@echo "installing bisim in $(INSTALLBIN)"
	cp bisim $(INSTALLBIN)

ARCHIVE = Makefile $(BISIMSRCS) $(BISIMHDRS)
archive:
	(cd ..; tar rf $(ARCHIVENAME) $(ARCHIVE:%=$(CURRENTDIR)/%))

DISTRIBUTE = $(ARCHIVE)
distr:
	(cd ../..; tar rf $(DISTDIR).tar $(DISTRIBUTE:%=$(DISTDIR)/$(CURRENTDIR)/%))

CVS = $(ARCHIVE)

cvsdiff:
	cvs diff -c $(ARCHIVE)

cvscommit:
	cvs commit $(ARCHIVE)
