#include <psf_pre.imake>
#include <psf_prototype.imake>
#include <psf_malloc.imake>
#include <psf_fopen.imake>

LEX_YACC_SRC = mcrl
#include <errordet.imake>

DEFINES = -DYYMAXDEPTH=400 $(PSF_INC_DEFINES)

HEADER = ystructs.h realkey.h version.h

OBJ   = main.o dll.o symtab.o tabout.o typecheck.o error.o
OBJS  = $(OBJ) $(PSF_INC_OBJ)

SRC = $(OBJ:.o=.c)
HDR = $(OBJ:.o=.h)
SRCS = $(OBJS:.o=.c)
SOURCE = $(SRC) $(HDR) mcrl.l mcrl.y

ComplexProgramTarget(mcrl_til)

ARCHIVE = Imakefile $(HEADER) $(SOURCE) mcrl_til.man

#include <psf_post.imake>
