# Set P=& for Sequent parallel-make.
P=

CFLAGS=	-O

OBJS=	main.o dispatch.o init.o float.o io.o sub_inst.o loader.o \
	parse_oprnd.o dis.o print_inst.o unify.o load_work.o aux.o

sbprolog:$P Builtin ${OBJS}
	${CC} ${CFLAGS} -o sbprolog ${OBJS} builtin/builtin -lm

Builtin:
	cd builtin; make "CFLAGS=${CFLAGS}" "P=${P}"

clean:
	rm -f sbprolog ${OBJS} *.out
	cd builtin; make clean

# Not all OBJS's depend on all headers, but this is easier to specify.

${OBJS}: aux.h index.h inst.h sim.h simdef.h