SOURCES = \
  Parser.c \
  Scanner.c \
  concurrent-statement.c \
  cvc.c \
  design-entity.c \
  encode.c \
  expression.c \
  process-statement.c \
  scansupp.c \
  utilities.c
OBJECTS = \
  Parser.o \
  Scanner.o \
  concurrent-statement.o \
  cvc.o \
  design-entity.o \
  encode.o \
  expression.o \
  process-statement.o \
  scansupp.o \
  utilities.o
BINARIES = \
  cvc
MANUALS = \
  cvc.1

install: cvc
	for BINARY in $(BINARIES); do \
	  $(MV) $$BINARY $(INSTALLBIN); \
	done;
	for MANUAL in $(MANUALS); do \
	  $(CP) $$MANUAL $(INSTALLMAN)/man1; \
	done;

cvc: $(OBJECTS)
	$(CC) -o cvc $(OBJECTS) -lmodel -lspec -lctl -limg -lant -lbdd+ -lbdd -ltimer -lcache -lgraph -llabel -lcv -lreuse -lfn -lmem

clobber:
	$(RM) $(OBJECTS) $(BINARIES) $(JUNK)

.c.o:
	$(CC) -c *.c -I. -I$(TMPINCLUDES) -I$(INSTALLINC)
