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

COMPFLAGS=-g -pp camlp4o

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

all::demonstr

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

clean::
	$(RM) demonstr

demonstr: prop.cmo lexuniv.cmo asynt.cmo demo.cmo
	$(CAMLC) -pp camlp4o $(LINKFLAGS)  prop.cmo lexuniv.cmo asynt.cmo demo.cmo -o demonstr

COMPFLAGSOPT=-pp camlp4o

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

opt::demonstr.opt

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

clean::
	$(RM) demonstr demonstr.opt

demonstr.opt: prop.cmx lexuniv.cmx asynt.cmx demo.cmx
	$(CAMLCOPT) -pp camlp4o $(LINKFLAGSOPT)  prop.cmx lexuniv.cmx asynt.cmx demo.cmx -o demonstr.opt
	$(CP) demonstr.opt demonstr

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

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