# 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)

CAMLFLAGSBYT=-w A -warn-error Ae -g -pp camlp4o

demonstr.BYTOBJS=prop.cmo lexuniv.cmo asynt.cmo demo.cmo
demonstr.FILES=$(demonstr.BYTOBJS:.cmo=.ml)

byt:: demonstr.byt

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

clean::
	$(RM) demonstr.byt

demonstr.byt: prop.cmo lexuniv.cmo asynt.cmo demo.cmo
	$(CAMLBYT) $(LINKFLAGSBYT)  prop.cmo lexuniv.cmo asynt.cmo demo.cmo -o demonstr

CAMLFLAGSBIN=-w A -warn-error Ae -pp camlp4o

demonstr.BINOBJS=prop.cmx lexuniv.cmx asynt.cmx demo.cmx
demonstr.FILES=$(demonstr.BINOBJS:.cmx=.ml)

bin:: demonstr.bin

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

clean::
	$(RM) demonstr.bin

demonstr.bin: prop.cmx lexuniv.cmx asynt.cmx demo.cmx
	$(CAMLBIN) $(LINKFLAGSBIN)  prop.cmx lexuniv.cmx asynt.cmx demo.cmx -o demonstr.bin
	$(CP) demonstr.bin demonstr

# (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

prop.cmo: prop.cmi
prop.cmx: prop.cmi
lexuniv.cmo: lexuniv.cmi
lexuniv.cmx: lexuniv.cmi
asynt.cmo: prop.cmi lexuniv.cmi asynt.cmi
asynt.cmx: prop.cmx lexuniv.cmx asynt.cmi
demo.cmo: prop.cmi asynt.cmi
demo.cmx: prop.cmx asynt.cmx
prop.cmo: prop.cmi
prop.cmx: prop.cmi
lexuniv.cmo: lexuniv.cmi
lexuniv.cmx: lexuniv.cmi
asynt.cmo: prop.cmi lexuniv.cmi asynt.cmi
asynt.cmx: prop.cmx lexuniv.cmx asynt.cmi
demo.cmo: prop.cmi asynt.cmi
demo.cmx: prop.cmx asynt.cmx
prop.cmo: prop.cmi
prop.cmx: prop.cmi
lexuniv.cmo: lexuniv.cmi
lexuniv.cmx: lexuniv.cmi
asynt.cmo: prop.cmi lexuniv.cmi asynt.cmi
asynt.cmx: prop.cmx lexuniv.cmx asynt.cmi
demo.cmo: prop.cmi asynt.cmi
demo.cmx: prop.cmx asynt.cmx
prop.cmo: prop.cmi
prop.cmx: prop.cmi
lexuniv.cmo: lexuniv.cmi
lexuniv.cmx: lexuniv.cmi
asynt.cmo: prop.cmi lexuniv.cmi asynt.cmi
asynt.cmx: prop.cmx lexuniv.cmx asynt.cmi
demo.cmo: prop.cmi asynt.cmi
demo.cmx: prop.cmx asynt.cmx
