LIBRARY = libmodel.a
INCLUDE = model.h

SOURCES = \
  model.c \
  modelCheck.c \
  modelExplicit.c \
  modelMeasure.c \
  modelModify.c \
  modelReachability.c \
  modelRepresentation.c \
  modelWitness.c

OBJECTS = \
  model.o \
  modelCheck.o \
  modelExplicit.o \
  modelMeasure.o \
  modelModify.o \
  modelReachability.o \
  modelRepresentation.o \
  modelWitness.o

all: $(TMPLIBRARIES)/$(LIBRARY)

$(TMPLIBRARIES)/$(LIBRARY): $(LIBRARY)
	$(MV) $(LIBRARY) $(TMPLIBRARIES)
	$(CP) $(INCLUDE) $(TMPINCLUDES)

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

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

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