include	../make_include

CFLAGS= -I../includes $(DFLAGS)
CPlusFlags=$(CFLAGS)

SRC= $(CORALROOT)/src
LIBS= $(CORALROOT)/src/coral.o $(CORALROOT)/bignum/BigNum.a -ll -lm -lc
MAKE=make

COMMON_SRCS= defunct.C \
	funct-args.C \
	print.C

COMMON_FILES = defunct.o \
	funct-args.o \
	print.o

FACTOR_SRCS= $(COMMON_SRCS) \
	adorn.C \
	basepreds.C \
	fullmagic.C \
	linearity.C \
	main.C \
	rule-factor.C \
	sipgen.C \
	siporder.C \
	supmagic.C

FACTOR_FILES= $(COMMON_FILES) \
	adorn.o \
	basepreds.o \
	fullmagic.o \
	linearity.o \
	main.o \
	rule-factor.o \
	sipgen.o \
	siporder.o \
	supmagic.o

FACTOR_OTHERS=factor.h magic.h exist.h funct.h magic-externs.h

EXIST_SRCS= $(COMMON_SRCS) \
	adorn_exist.C \
	cleanup.C \
	connect.C \
	main_exist.C \
	reduce.C \
	unit.C

EXIST_FILES= $(COMMON_FILES) \
	adorn_exist.o \
	cleanup.o \
	connect.o \
	main_exist.o \
	reduce.o \
	unit.o

EXIST_OTHERS=cleanup.h reduce.h

SRCS=$(FACTOR_SRCS) $(EXIST_SRCS)
OTHERS=$(FACTOR_OTHERS) $(EXIST_OTHERS)
OTHERINCLUDES=-I$(CPlusROOT)/include

all: magic exist

magic : $(FACTOR_FILES) libcoral
	$(CPlus) -o magic $(CPlusFlags) $(FACTOR_FILES) $(LIBS)
	chmod a+x magic

exist:  $(EXIST_FILES) libcoral
	$(CPlus) -o exist $(CPlusFlags) $(EXIST_FILES) $(LIBS)
	chmod a+x exist

.C.o:
	$(CPlus) -c $(CPlusFlags) $*.C

libcoral:
	(cd $(SRC) ; $(MAKE))

depend:
	makedepend -- $(CFLAGS) -- $(SRCS) $(OTHERINCLUDES)

clean:
	@rm -f *.o core magic *~

coq:
	co -q $(SRCS) $(OTHERS)

co:
	co $(SRCS) $(OTHERS)

col:
	co -l $(SRCS) $(OTHERS)

ci:
	ci $(SRCS) $(OTHERS)

ciu:
	ci -u $(SRCS) $(OTHERS)

# DO NOT DELETE THIS LINE -- make depend depends on it.

print-factor.o: factor.h ../includes/globals.h ../includes/externs.h
print-factor.o: ../includes/config.h ../includes/collection.h
print-factor.o: ../includes/hash.h ../includes/arg.h /usr/include/stdio.h
print-factor.o: /usr/include/ansi_compat.h ../includes/gennum.h
print-factor.o: /usr/include/stdlib.h /usr/include/malloc.h
print-factor.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
print-factor.o: ../includes/rules.h ../includes/bitvector.h
print-factor.o: ../includes/cor_error.h ../includes/interface.h
print-factor.o: ../includes/term.h ../includes/generic-rel.h
print-factor.o: ../includes/unify.h ../includes/builtin-syms.h
print-factor.o: ../includes/hash-rel.h ../includes/linked-rel.h
print-factor.o: ../includes/hash-index.h ../includes/generic-index.h
print-factor.o: /usr/include/stdarg.h ../includes/builtin-rel.h
print-factor.o: ../includes/annotations.h /usr/include/strings.h
print-factor.o: ../includes/parse-utils.h ../includes/profile.h
main.o: factor.h ../includes/globals.h ../includes/externs.h
main.o: ../includes/config.h ../includes/collection.h ../includes/hash.h
main.o: ../includes/arg.h /usr/include/stdio.h /usr/include/ansi_compat.h
main.o: ../includes/gennum.h /usr/include/stdlib.h /usr/include/malloc.h
main.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
main.o: ../includes/rules.h ../includes/bitvector.h ../includes/cor_error.h
main.o: ../includes/interface.h ../includes/term.h ../includes/generic-rel.h
main.o: ../includes/unify.h ../includes/builtin-syms.h ../includes/hash-rel.h
main.o: ../includes/linked-rel.h ../includes/hash-index.h
main.o: ../includes/generic-index.h /usr/include/stdarg.h
main.o: ../includes/builtin-rel.h ../includes/annotations.h
main.o: /usr/include/strings.h ../includes/parse-utils.h
main.o: ../includes/profile.h funct.h magic-externs.h /usr/include/math.h
linearity.o: factor.h ../includes/globals.h ../includes/externs.h
linearity.o: ../includes/config.h ../includes/collection.h ../includes/hash.h
linearity.o: ../includes/arg.h /usr/include/stdio.h
linearity.o: /usr/include/ansi_compat.h ../includes/gennum.h
linearity.o: /usr/include/stdlib.h /usr/include/malloc.h ../bignum/h/BigNum.h
linearity.o: ../bignum/../includes/config.h ../includes/rules.h
linearity.o: ../includes/bitvector.h ../includes/cor_error.h
linearity.o: ../includes/interface.h ../includes/term.h
linearity.o: ../includes/generic-rel.h ../includes/unify.h
linearity.o: ../includes/builtin-syms.h ../includes/hash-rel.h
linearity.o: ../includes/linked-rel.h ../includes/hash-index.h
linearity.o: ../includes/generic-index.h /usr/include/stdarg.h
linearity.o: ../includes/builtin-rel.h ../includes/annotations.h
linearity.o: /usr/include/strings.h ../includes/parse-utils.h
linearity.o: ../includes/profile.h
rule-factor.o: factor.h ../includes/globals.h ../includes/externs.h
rule-factor.o: ../includes/config.h ../includes/collection.h
rule-factor.o: ../includes/hash.h ../includes/arg.h /usr/include/stdio.h
rule-factor.o: /usr/include/ansi_compat.h ../includes/gennum.h
rule-factor.o: /usr/include/stdlib.h /usr/include/malloc.h
rule-factor.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
rule-factor.o: ../includes/rules.h ../includes/bitvector.h
rule-factor.o: ../includes/cor_error.h ../includes/interface.h
rule-factor.o: ../includes/term.h ../includes/generic-rel.h
rule-factor.o: ../includes/unify.h ../includes/builtin-syms.h
rule-factor.o: ../includes/hash-rel.h ../includes/linked-rel.h
rule-factor.o: ../includes/hash-index.h ../includes/generic-index.h
rule-factor.o: /usr/include/stdarg.h ../includes/builtin-rel.h
rule-factor.o: ../includes/annotations.h /usr/include/strings.h
rule-factor.o: ../includes/parse-utils.h ../includes/profile.h
defunct.o: ../includes/globals.h ../includes/externs.h ../includes/config.h
defunct.o: ../includes/collection.h ../includes/hash.h ../includes/arg.h
defunct.o: /usr/include/stdio.h /usr/include/ansi_compat.h
defunct.o: ../includes/gennum.h /usr/include/stdlib.h /usr/include/malloc.h
defunct.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
defunct.o: ../includes/rules.h ../includes/bitvector.h
defunct.o: ../includes/cor_error.h ../includes/interface.h ../includes/term.h
defunct.o: ../includes/generic-rel.h ../includes/unify.h
defunct.o: ../includes/builtin-syms.h ../includes/hash-rel.h
defunct.o: ../includes/linked-rel.h ../includes/hash-index.h
defunct.o: ../includes/generic-index.h /usr/include/stdarg.h
defunct.o: ../includes/builtin-rel.h ../includes/annotations.h
defunct.o: /usr/include/strings.h ../includes/parse-utils.h
defunct.o: ../includes/profile.h funct.h exist.h /usr/include/string.h
funct-args.o: ../includes/rules.h ../includes/arg.h ../includes/config.h
funct-args.o: /usr/include/stdio.h /usr/include/ansi_compat.h
funct-args.o: ../includes/gennum.h /usr/include/stdlib.h
funct-args.o: /usr/include/malloc.h ../bignum/h/BigNum.h
funct-args.o: ../bignum/../includes/config.h ../includes/bitvector.h
funct-args.o: ../includes/externs.h ../includes/collection.h
funct-args.o: ../includes/hash.h ../includes/cor_error.h
funct-args.o: ../includes/interface.h ../includes/term.h
funct-args.o: ../includes/generic-rel.h ../includes/unify.h
funct-args.o: ../includes/builtin-syms.h ../includes/hash-rel.h
funct-args.o: ../includes/linked-rel.h ../includes/hash-index.h
funct-args.o: ../includes/generic-index.h /usr/include/stdarg.h
funct-args.o: ../includes/builtin-rel.h funct.h
fullmagic.o: ../includes/rules.h ../includes/arg.h ../includes/config.h
fullmagic.o: /usr/include/stdio.h /usr/include/ansi_compat.h
fullmagic.o: ../includes/gennum.h /usr/include/stdlib.h /usr/include/malloc.h
fullmagic.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
fullmagic.o: ../includes/bitvector.h magic-externs.h ../includes/globals.h
fullmagic.o: ../includes/externs.h ../includes/collection.h
fullmagic.o: ../includes/hash.h ../includes/cor_error.h
fullmagic.o: ../includes/interface.h ../includes/term.h
fullmagic.o: ../includes/generic-rel.h ../includes/unify.h
fullmagic.o: ../includes/builtin-syms.h ../includes/hash-rel.h
fullmagic.o: ../includes/linked-rel.h ../includes/hash-index.h
fullmagic.o: ../includes/generic-index.h /usr/include/stdarg.h
fullmagic.o: ../includes/builtin-rel.h ../includes/annotations.h
fullmagic.o: /usr/include/strings.h ../includes/parse-utils.h
fullmagic.o: ../includes/profile.h
adorn.o: ../includes/rules.h ../includes/arg.h ../includes/config.h
adorn.o: /usr/include/stdio.h /usr/include/ansi_compat.h ../includes/gennum.h
adorn.o: /usr/include/stdlib.h /usr/include/malloc.h ../bignum/h/BigNum.h
adorn.o: ../bignum/../includes/config.h ../includes/bitvector.h magic.h
adorn.o: ../includes/globals.h ../includes/externs.h ../includes/collection.h
adorn.o: ../includes/hash.h ../includes/cor_error.h ../includes/interface.h
adorn.o: ../includes/term.h ../includes/generic-rel.h ../includes/unify.h
adorn.o: ../includes/builtin-syms.h ../includes/hash-rel.h
adorn.o: ../includes/linked-rel.h ../includes/hash-index.h
adorn.o: ../includes/generic-index.h /usr/include/stdarg.h
adorn.o: ../includes/builtin-rel.h ../includes/annotations.h
adorn.o: /usr/include/strings.h ../includes/parse-utils.h
adorn.o: ../includes/profile.h magic-externs.h
supmagic.o: ../includes/rules.h ../includes/arg.h ../includes/config.h
supmagic.o: /usr/include/stdio.h /usr/include/ansi_compat.h
supmagic.o: ../includes/gennum.h /usr/include/stdlib.h /usr/include/malloc.h
supmagic.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
supmagic.o: ../includes/bitvector.h magic-externs.h ../includes/globals.h
supmagic.o: ../includes/externs.h ../includes/collection.h ../includes/hash.h
supmagic.o: ../includes/cor_error.h ../includes/interface.h
supmagic.o: ../includes/term.h ../includes/generic-rel.h ../includes/unify.h
supmagic.o: ../includes/builtin-syms.h ../includes/hash-rel.h
supmagic.o: ../includes/linked-rel.h ../includes/hash-index.h
supmagic.o: ../includes/generic-index.h /usr/include/stdarg.h
supmagic.o: ../includes/builtin-rel.h ../includes/annotations.h
supmagic.o: /usr/include/strings.h ../includes/parse-utils.h
supmagic.o: ../includes/profile.h
basepreds.o: ../includes/rules.h ../includes/arg.h ../includes/config.h
basepreds.o: /usr/include/stdio.h /usr/include/ansi_compat.h
basepreds.o: ../includes/gennum.h /usr/include/stdlib.h /usr/include/malloc.h
basepreds.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
basepreds.o: ../includes/bitvector.h magic-externs.h ../includes/globals.h
basepreds.o: ../includes/externs.h ../includes/collection.h
basepreds.o: ../includes/hash.h ../includes/cor_error.h
basepreds.o: ../includes/interface.h ../includes/term.h
basepreds.o: ../includes/generic-rel.h ../includes/unify.h
basepreds.o: ../includes/builtin-syms.h ../includes/hash-rel.h
basepreds.o: ../includes/linked-rel.h ../includes/hash-index.h
basepreds.o: ../includes/generic-index.h /usr/include/stdarg.h
basepreds.o: ../includes/builtin-rel.h ../includes/annotations.h
basepreds.o: /usr/include/strings.h ../includes/parse-utils.h
basepreds.o: ../includes/profile.h
sipgen.o: magic.h ../includes/globals.h ../includes/externs.h
sipgen.o: ../includes/config.h ../includes/collection.h ../includes/hash.h
sipgen.o: ../includes/arg.h /usr/include/stdio.h /usr/include/ansi_compat.h
sipgen.o: ../includes/gennum.h /usr/include/stdlib.h /usr/include/malloc.h
sipgen.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
sipgen.o: ../includes/rules.h ../includes/bitvector.h ../includes/cor_error.h
sipgen.o: ../includes/interface.h ../includes/term.h
sipgen.o: ../includes/generic-rel.h ../includes/unify.h
sipgen.o: ../includes/builtin-syms.h ../includes/hash-rel.h
sipgen.o: ../includes/linked-rel.h ../includes/hash-index.h
sipgen.o: ../includes/generic-index.h /usr/include/stdarg.h
sipgen.o: ../includes/builtin-rel.h ../includes/annotations.h
sipgen.o: /usr/include/strings.h ../includes/parse-utils.h
sipgen.o: ../includes/profile.h
siporder.o: ../includes/rules.h ../includes/arg.h ../includes/config.h
siporder.o: /usr/include/stdio.h /usr/include/ansi_compat.h
siporder.o: ../includes/gennum.h /usr/include/stdlib.h /usr/include/malloc.h
siporder.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
siporder.o: ../includes/bitvector.h magic-externs.h ../includes/globals.h
siporder.o: ../includes/externs.h ../includes/collection.h ../includes/hash.h
siporder.o: ../includes/cor_error.h ../includes/interface.h
siporder.o: ../includes/term.h ../includes/generic-rel.h ../includes/unify.h
siporder.o: ../includes/builtin-syms.h ../includes/hash-rel.h
siporder.o: ../includes/linked-rel.h ../includes/hash-index.h
siporder.o: ../includes/generic-index.h /usr/include/stdarg.h
siporder.o: ../includes/builtin-rel.h ../includes/annotations.h
siporder.o: /usr/include/strings.h ../includes/parse-utils.h
siporder.o: ../includes/profile.h
adorn_exist.o: exist.h /usr/include/stdio.h /usr/include/ansi_compat.h
adorn_exist.o: /usr/include/stdlib.h ../includes/rules.h ../includes/arg.h
adorn_exist.o: ../includes/config.h ../includes/gennum.h
adorn_exist.o: /usr/include/malloc.h ../bignum/h/BigNum.h
adorn_exist.o: ../bignum/../includes/config.h ../includes/bitvector.h
adorn_exist.o: ../includes/globals.h ../includes/externs.h
adorn_exist.o: ../includes/collection.h ../includes/hash.h
adorn_exist.o: ../includes/cor_error.h ../includes/interface.h
adorn_exist.o: ../includes/term.h ../includes/generic-rel.h
adorn_exist.o: ../includes/unify.h ../includes/builtin-syms.h
adorn_exist.o: ../includes/hash-rel.h ../includes/linked-rel.h
adorn_exist.o: ../includes/hash-index.h ../includes/generic-index.h
adorn_exist.o: /usr/include/stdarg.h ../includes/builtin-rel.h
adorn_exist.o: ../includes/annotations.h /usr/include/strings.h
adorn_exist.o: ../includes/parse-utils.h ../includes/profile.h
connect.o: exist.h /usr/include/stdio.h /usr/include/ansi_compat.h
connect.o: /usr/include/stdlib.h ../includes/rules.h ../includes/arg.h
connect.o: ../includes/config.h ../includes/gennum.h /usr/include/malloc.h
connect.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
connect.o: ../includes/bitvector.h ../includes/globals.h
connect.o: ../includes/externs.h ../includes/collection.h ../includes/hash.h
connect.o: ../includes/cor_error.h ../includes/interface.h ../includes/term.h
connect.o: ../includes/generic-rel.h ../includes/unify.h
connect.o: ../includes/builtin-syms.h ../includes/hash-rel.h
connect.o: ../includes/linked-rel.h ../includes/hash-index.h
connect.o: ../includes/generic-index.h /usr/include/stdarg.h
connect.o: ../includes/builtin-rel.h ../includes/annotations.h
connect.o: /usr/include/strings.h ../includes/parse-utils.h
connect.o: ../includes/profile.h
reduce.o: exist.h /usr/include/stdio.h /usr/include/ansi_compat.h
reduce.o: /usr/include/stdlib.h ../includes/rules.h ../includes/arg.h
reduce.o: ../includes/config.h ../includes/gennum.h /usr/include/malloc.h
reduce.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
reduce.o: ../includes/bitvector.h reduce.h ../includes/externs.h
reduce.o: ../includes/collection.h ../includes/hash.h ../includes/cor_error.h
reduce.o: ../includes/interface.h ../includes/term.h
reduce.o: ../includes/generic-rel.h ../includes/unify.h
reduce.o: ../includes/builtin-syms.h ../includes/hash-rel.h
reduce.o: ../includes/linked-rel.h ../includes/hash-index.h
reduce.o: ../includes/generic-index.h /usr/include/stdarg.h
reduce.o: ../includes/builtin-rel.h
unit.o: exist.h /usr/include/stdio.h /usr/include/ansi_compat.h
unit.o: /usr/include/stdlib.h ../includes/externs.h ../includes/config.h
unit.o: ../includes/collection.h ../includes/hash.h ../includes/arg.h
unit.o: ../includes/gennum.h /usr/include/malloc.h ../bignum/h/BigNum.h
unit.o: ../bignum/../includes/config.h ../includes/rules.h
unit.o: ../includes/bitvector.h ../includes/cor_error.h
unit.o: ../includes/interface.h ../includes/term.h ../includes/generic-rel.h
unit.o: ../includes/unify.h ../includes/builtin-syms.h ../includes/hash-rel.h
unit.o: ../includes/linked-rel.h ../includes/hash-index.h
unit.o: ../includes/generic-index.h /usr/include/stdarg.h
unit.o: ../includes/builtin-rel.h
print.o: exist.h /usr/include/stdio.h /usr/include/ansi_compat.h
print.o: /usr/include/stdlib.h ../includes/externs.h ../includes/config.h
print.o: ../includes/collection.h ../includes/hash.h ../includes/arg.h
print.o: ../includes/gennum.h /usr/include/malloc.h ../bignum/h/BigNum.h
print.o: ../bignum/../includes/config.h ../includes/rules.h
print.o: ../includes/bitvector.h ../includes/cor_error.h
print.o: ../includes/interface.h ../includes/term.h ../includes/generic-rel.h
print.o: ../includes/unify.h ../includes/builtin-syms.h
print.o: ../includes/hash-rel.h ../includes/linked-rel.h
print.o: ../includes/hash-index.h ../includes/generic-index.h
print.o: /usr/include/stdarg.h ../includes/builtin-rel.h reduce.h
cleanup.o: exist.h /usr/include/stdio.h /usr/include/ansi_compat.h
cleanup.o: /usr/include/stdlib.h ../includes/externs.h ../includes/config.h
cleanup.o: ../includes/collection.h ../includes/hash.h ../includes/arg.h
cleanup.o: ../includes/gennum.h /usr/include/malloc.h ../bignum/h/BigNum.h
cleanup.o: ../bignum/../includes/config.h ../includes/rules.h
cleanup.o: ../includes/bitvector.h ../includes/cor_error.h
cleanup.o: ../includes/interface.h ../includes/term.h
cleanup.o: ../includes/generic-rel.h ../includes/unify.h
cleanup.o: ../includes/builtin-syms.h ../includes/hash-rel.h
cleanup.o: ../includes/linked-rel.h ../includes/hash-index.h
cleanup.o: ../includes/generic-index.h /usr/include/stdarg.h
cleanup.o: ../includes/builtin-rel.h reduce.h cleanup.h
print-factor.o: factor.h ../includes/globals.h ../includes/externs.h
print-factor.o: ../includes/config.h ../includes/collection.h
print-factor.o: ../includes/hash.h ../includes/arg.h /usr/include/stdio.h
print-factor.o: /usr/include/ansi_compat.h ../includes/gennum.h
print-factor.o: /usr/include/stdlib.h /usr/include/malloc.h
print-factor.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
print-factor.o: ../includes/rules.h ../includes/bitvector.h
print-factor.o: ../includes/cor_error.h ../includes/interface.h
print-factor.o: ../includes/term.h ../includes/generic-rel.h
print-factor.o: ../includes/unify.h ../includes/builtin-syms.h
print-factor.o: ../includes/hash-rel.h ../includes/linked-rel.h
print-factor.o: ../includes/hash-index.h ../includes/generic-index.h
print-factor.o: /usr/include/stdarg.h ../includes/builtin-rel.h
print-factor.o: ../includes/annotations.h /usr/include/strings.h
print-factor.o: ../includes/parse-utils.h ../includes/profile.h
defunct.o: ../includes/globals.h ../includes/externs.h ../includes/config.h
defunct.o: ../includes/collection.h ../includes/hash.h ../includes/arg.h
defunct.o: /usr/include/stdio.h /usr/include/ansi_compat.h
defunct.o: ../includes/gennum.h /usr/include/stdlib.h /usr/include/malloc.h
defunct.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
defunct.o: ../includes/rules.h ../includes/bitvector.h
defunct.o: ../includes/cor_error.h ../includes/interface.h ../includes/term.h
defunct.o: ../includes/generic-rel.h ../includes/unify.h
defunct.o: ../includes/builtin-syms.h ../includes/hash-rel.h
defunct.o: ../includes/linked-rel.h ../includes/hash-index.h
defunct.o: ../includes/generic-index.h /usr/include/stdarg.h
defunct.o: ../includes/builtin-rel.h ../includes/annotations.h
defunct.o: /usr/include/strings.h ../includes/parse-utils.h
defunct.o: ../includes/profile.h funct.h exist.h /usr/include/string.h
funct-args.o: ../includes/rules.h ../includes/arg.h ../includes/config.h
funct-args.o: /usr/include/stdio.h /usr/include/ansi_compat.h
funct-args.o: ../includes/gennum.h /usr/include/stdlib.h
funct-args.o: /usr/include/malloc.h ../bignum/h/BigNum.h
funct-args.o: ../bignum/../includes/config.h ../includes/bitvector.h
funct-args.o: ../includes/externs.h ../includes/collection.h
funct-args.o: ../includes/hash.h ../includes/cor_error.h
funct-args.o: ../includes/interface.h ../includes/term.h
funct-args.o: ../includes/generic-rel.h ../includes/unify.h
funct-args.o: ../includes/builtin-syms.h ../includes/hash-rel.h
funct-args.o: ../includes/linked-rel.h ../includes/hash-index.h
funct-args.o: ../includes/generic-index.h /usr/include/stdarg.h
funct-args.o: ../includes/builtin-rel.h funct.h
main_exist.o: ../includes/globals.h ../includes/externs.h
main_exist.o: ../includes/config.h ../includes/collection.h
main_exist.o: ../includes/hash.h ../includes/arg.h /usr/include/stdio.h
main_exist.o: /usr/include/ansi_compat.h ../includes/gennum.h
main_exist.o: /usr/include/stdlib.h /usr/include/malloc.h
main_exist.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
main_exist.o: ../includes/rules.h ../includes/bitvector.h
main_exist.o: ../includes/cor_error.h ../includes/interface.h
main_exist.o: ../includes/term.h ../includes/generic-rel.h
main_exist.o: ../includes/unify.h ../includes/builtin-syms.h
main_exist.o: ../includes/hash-rel.h ../includes/linked-rel.h
main_exist.o: ../includes/hash-index.h ../includes/generic-index.h
main_exist.o: /usr/include/stdarg.h ../includes/builtin-rel.h
main_exist.o: ../includes/annotations.h /usr/include/strings.h
main_exist.o: ../includes/parse-utils.h ../includes/profile.h exist.h funct.h
print-exist.o: ../includes/globals.h ../includes/externs.h
print-exist.o: ../includes/config.h ../includes/collection.h
print-exist.o: ../includes/hash.h ../includes/arg.h /usr/include/stdio.h
print-exist.o: /usr/include/ansi_compat.h ../includes/gennum.h
print-exist.o: /usr/include/stdlib.h /usr/include/malloc.h
print-exist.o: ../bignum/h/BigNum.h ../bignum/../includes/config.h
print-exist.o: ../includes/rules.h ../includes/bitvector.h
print-exist.o: ../includes/cor_error.h ../includes/interface.h
print-exist.o: ../includes/term.h ../includes/generic-rel.h
print-exist.o: ../includes/unify.h ../includes/builtin-syms.h
print-exist.o: ../includes/hash-rel.h ../includes/linked-rel.h
print-exist.o: ../includes/hash-index.h ../includes/generic-index.h
print-exist.o: /usr/include/stdarg.h ../includes/builtin-rel.h
print-exist.o: ../includes/annotations.h /usr/include/strings.h
print-exist.o: ../includes/parse-utils.h ../includes/profile.h exist.h
