# Makefile generated by imake - do not edit!

CPP=/lib/cpp -P
RM=rm -f
CP=cp -p -f
TOPDIR=.
CONFIGDIR=$(TOPDIR)/config

LIBDIR=/usr/local/lib/ocaml/

CAMLCOMPILERBIN=ocamlopt
CAMLCOMPILERBYT=ocamlc
CAMLFLAGSBIN=-w A -warn-error Ae
CAMLFLAGSBYT=-g $(CAMLFLAGSBIN)

CAMLBIN=$(CAMLCOMPILERBIN) $(CAMLFLAGSBIN)
CAMLBYT=$(CAMLCOMPILERBYT) $(CAMLFLAGSBYT)

CAMLLIBRBYT=ocamlmklib
CAMLLIBRBIN=ocamlmklib

CAMLLEX=ocamllex
CAMLYACC=ocamlyacc
CAMLDEP=ocamldep -pp camlp4o

all:: byt bin

# (begin Imakefile)

kb.BYTOBJS=prelude.cmo terms.cmo equation.cmo order.cmo kb.cmo go.cmo
kb.FILES=$(kb.BYTOBJS:.cmo=.ml)

byt:: kb.byt

depend::
	$(CAMLDEP) $(kb.FILES) >> Makefile

clean::
	$(RM) kb.byt

kb.byt: prelude.cmo terms.cmo equation.cmo order.cmo kb.cmo go.cmo
	$(CAMLBYT) $(LINKFLAGSBYT)  prelude.cmo terms.cmo equation.cmo order.cmo kb.cmo go.cmo -o kb.byt
	$(CP) kb.byt kb

clean::
	$(RM) kb

kb.BINOBJS=prelude.cmx terms.cmx equation.cmx order.cmx kb.cmx go.cmx
kb.FILES=$(kb.BINOBJS:.cmx=.ml)

bin:: kb.bin

depend::
	$(CAMLDEP) $(kb.FILES) >> Makefile

clean::
	$(RM) kb.bin

kb.bin: prelude.cmx terms.cmx equation.cmx order.cmx kb.cmx go.cmx
	$(CAMLBIN) $(LINKFLAGSBIN)  prelude.cmx terms.cmx equation.cmx order.cmx kb.cmx go.cmx -o kb.bin
	$(CP) kb.bin kb

clean::
	$(RM) kb

# (end Imakefile)

clean::
	$(RM) *.cmi *.cmix *.cmo *.cmx *.o a.out* *~ *.byt *.bin #*#

depend::

beforedepend::

mfile:
	imake -I$(CONFIGDIR)

makefiles:: beforedepend mfile depend

.SUFFIXES: .mli .cmi .ml .mly .mll .cmo .cmx .cma .cmxa

.mli.cmi:
	$(CAMLBYT) -c $<

.ml.cmo:
	$(CAMLBYT) -c $<

.ml.cmx:
	$(CAMLBIN) -c $<

# Generated dependencies below

prelude.cmo:
prelude.cmx:
terms.cmo: prelude.cmo
terms.cmx: prelude.cmx
equation.cmo: terms.cmo prelude.cmo
equation.cmx: terms.cmx prelude.cmx
order.cmo: terms.cmo
order.cmx: terms.cmx
kb.cmo: terms.cmo prelude.cmo equation.cmo
kb.cmx: terms.cmx prelude.cmx equation.cmx
go.cmo: terms.cmo order.cmo kb.cmo
go.cmx: terms.cmx order.cmx kb.cmx
prelude.cmo:
prelude.cmx:
terms.cmo: prelude.cmo
terms.cmx: prelude.cmx
equation.cmo: terms.cmo prelude.cmo
equation.cmx: terms.cmx prelude.cmx
order.cmo: terms.cmo
order.cmx: terms.cmx
kb.cmo: terms.cmo prelude.cmo equation.cmo
kb.cmx: terms.cmx prelude.cmx equation.cmx
go.cmo: terms.cmo order.cmo kb.cmo
go.cmx: terms.cmx order.cmx kb.cmx
prelude.cmo:
prelude.cmx:
terms.cmo: prelude.cmo
terms.cmx: prelude.cmx
equation.cmo: terms.cmo prelude.cmo
equation.cmx: terms.cmx prelude.cmx
order.cmo: terms.cmo
order.cmx: terms.cmx
kb.cmo: terms.cmo prelude.cmo equation.cmo
kb.cmx: terms.cmx prelude.cmx equation.cmx
go.cmo: terms.cmo order.cmo kb.cmo
go.cmx: terms.cmx order.cmx kb.cmx
prelude.cmo:
prelude.cmx:
terms.cmo: prelude.cmo
terms.cmx: prelude.cmx
equation.cmo: terms.cmo prelude.cmo
equation.cmx: terms.cmx prelude.cmx
order.cmo: terms.cmo
order.cmx: terms.cmx
kb.cmo: terms.cmo prelude.cmo equation.cmo
kb.cmx: terms.cmx prelude.cmx equation.cmx
go.cmo: terms.cmo order.cmo kb.cmo
go.cmx: terms.cmx order.cmx kb.cmx
