# Makefile generated by imake - do not edit!
# $XConsortium: imake.c,v 1.91 95/01/12 16:15:47 kaleb Exp $

LIBDIR=/usr/local/lib/ocaml/
CAMLC=ocamlc
CAMLCOPT=ocamlopt
COMPFLAGS=-g
COMPFLAGSOPT=
CAMLLIBR=ocamllibr
CAMLLEX=ocamllex
CAMLYACC=ocamlyacc
CAMLDEP=ocamldep -pp camlp4o
CPP=/lib/cpp -P
RM=rm -f
CP=cp -p -f
TOP=../.
CONFIG=$(TOP)/config

all::
allopt:opt

# (begin Imakefile)

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

all::kb

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

clean::
	$(RM) kb

kb: prelude.cmo terms.cmo equation.cmo order.cmo kb.cmo go.cmo
	$(CAMLC) $(LINKFLAGS)  prelude.cmo terms.cmo equation.cmo order.cmo kb.cmo go.cmo -o kb

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

opt::kb.opt

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

clean::
	$(RM) kb kb.opt

kb.opt: prelude.cmx terms.cmx equation.cmx order.cmx kb.cmx go.cmx
	$(CAMLCOPT) $(LINKFLAGSOPT)  prelude.cmx terms.cmx equation.cmx order.cmx kb.cmx go.cmx -o kb.opt
	$(CP) kb.opt kb

# (end Imakefile)

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

depend::

beforedepend::

mfile:
	imake -I$(CONFIG) -DTOPDIR=$(TOP)

makefiles:: beforedepend mfile depend

.SUFFIXES: .mli .cmi .ml .cmo .cmx

.mli.cmi:
	$(CAMLC) $(COMPFLAGS) -c $<

.ml.cmo:
	$(CAMLC) $(COMPFLAGS) -c $<

.ml.cmx:
	$(CAMLCOPT) $(COMPFLAGSOPT) -c $<

# Generated dependencies below

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