#include <psf_pre.imake>
#include <readtil.imake>
#include <psf_prototype.imake>
#include <psf_malloc.imake>
#include <env_variables.imake>
#include <psf_fopen.imake>
#include <psf_standards.imake>

HEADER = version.h

OBJ = main.o bbdf.o bisimilar.o datatypes.o dlist.o formula.o global.o \
	interface.o print.o readgraph.o reduce.o search.o tree.o treeprint.o

OBJS = $(OBJ) $(PSF_INC_OBJ)

SRCS = $(OBJS:.o=.c)

SRC = $(OBJ:.o=.c) 
HDR = $(OBJ:.o=.h)

DEFINES = $(PSF_INC_DEFINES)

ComplexProgramTarget(equiv)

ARCHIVE = Imakefile $(HEADER) $(HDR) $(SRC) equiv.man

rcsdiff:
	rcsdiff -c $(ARCHIVE) > src.diffs

rcsci:
	ci -f -m"." -t/dev/null $(ARCHIVE)

rcsco:
	co -l $(ARCHIVE)

#include <psf_post.imake>
