LIBRARY = libbdd+.a
INCLUDE = \
  bdd_misc.h \
  bdd_up.h \
  vbdd.h \
  vbdd_arith.h \
  vbdd_code.h \
  vbdd_logic.h \
  vbdd_print.h \
  vbdd_relat.h

SOURCES = \
  bdd_misc.c \
  bdd_up.c \
  vbdd.c \
  vbdd_arith.c \
  vbdd_code.c \
  vbdd_logic.c \
  vbdd_print.c \
  vbdd_relat.c

OBJECTS = \
  bdd_misc.o \
  bdd_up.o \
  vbdd.o \
  vbdd_arith.o \
  vbdd_code.o \
  vbdd_logic.o \
  vbdd_print.o \
  vbdd_relat.o

INCLUDES = \
  bdd_misc.h \
  bdd_up.h \
  vbdd.h \
  vbdd_arith.h \
  vbdd_code.h \
  vbdd_logic.h \
  vbdd_print.h \
  vbdd_relat.h

all: $(TMPLIBRARIES)/$(LIBRARY)

$(TMPLIBRARIES)/$(LIBRARY): $(LIBRARY)
	$(MV) $(LIBRARY) $(TMPLIBRARIES)
	for INCLUDE in $(INCLUDES); do\
          $(CP) $$INCLUDE $(TMPINCLUDES); \
        done

$(LIBRARY): $(OBJECTS)
	$(AR) $@ $(OBJECTS)
	$(RANLIB) $@

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

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