# Makefile generated by imake - do not edit!
# $XConsortium: imake.c,v 1.65 91/07/25 17:50:17 rws Exp $

CAMLC=camlc
CAMLLIBR=camllibr
CAMLLEX=camllex
CAMLYACC=camlyacc
CPP=/lib/cpp -P
CAMLDEP=camldep
RM=rm -f
TOP=../.
CONFIG=$(TOP)/config

all::

# (begin Imakefile)

all::demonstr

demonstr: prop.zo lexuniv.zo asynt.zo demo.zo
	$(CAMLC) $(LINKFLAGS)  prop.zo lexuniv.zo asynt.zo demo.zo -o demonstr

clean::
	$(RM) demonstr

# (end Imakefile)

clean::
	$(RM) *.zi *.zix *.zo *~ #*#

beforedepend::

makefile: beforedepend
	imake -I$(CONFIG) -DTOPDIR=$(TOP)
	$(CAMLDEP) *.mli *.ml >> Makefile

makefiles:: makefile

.SUFFIXES: .mli .zi .ml .zo

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

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

# Generated dependencies below

asynt.zi: prop.zi 
asynt.zo: asynt.zi prop.zi lexuniv.zi 
demo.zo: asynt.zi prop.zi 
lexuniv.zo: lexuniv.zi 
loadall.zo: demo.zo 
prop.zo: prop.zi 
